## Search found 287 matches

31 Mar 2020, 14:18
Forum: General Discussion
Topic: building SubdivisionOfPoints from C++
Replies: 5
Views: 1633

### Re: building SubdivisionOfPoints from C++

Then please try with explicit application switch.
31 Mar 2020, 13:43
Forum: General Discussion
Topic: building SubdivisionOfPoints from C++
Replies: 5
Views: 1633

### Re: building SubdivisionOfPoints from C++

You should either switch to the application "fan" beforehand, or use a qualified object type name "fan::SubdivisionOfPoints".
11 Mar 2020, 22:20
Forum: Helpdesk
Topic: Perles Irrational Polytope (in polymake)
Replies: 4
Views: 1718

### Re: Perles Irrational Polytope (in polymake)

Yes, it's possible: $P=new Polytope<QuadraticExtension>(POINTS=>$matrix); print \$P->FACETS; Just keep in mind that the support for quadratic extensions is currently rather rudimentary: only one distinct square root is allowed in all coordinates, and it has to be a root of a rational number, no itera...
11 Mar 2020, 21:18
Forum: Helpdesk
Topic: Perles Irrational Polytope (in polymake)
Replies: 4
Views: 1718

### Re: Perles Irrational Polytope (in polymake)

I am not fully certain whether this expression is -1/2 + (1/2)r5 or -1/2 + 1/(2r5) , although I suspect the latter.
No, the former. The quadratic extension numbers are always normalized, having square roots in the numerator.
24 Feb 2020, 09:49
Forum: Helpdesk
Topic: Porting old code
Replies: 3
Views: 1521

### Re: Porting old code

Exactly, you have to execute this piece of code. Actually, as we decided to remove the ancient command line mode, we couldn't imagine that it was still used somewhere in production. In particular, for GAP there should be a newer package using the callable C++ library of polymake. Are you maintaining...
11 Dec 2019, 10:48
Forum: Helpdesk
Topic: From V-representation to H-representation
Replies: 1
Views: 1455

### Re: From V-representation to H-representation

INEQUALITIES is a pure input property, it's what you can pass to the Polytope or Cone object constructor. It can have duplicate and redundant inequalities, and hidden equations. FACETS is what you get out of the convex hull solver - this is the "canonical" H-representation, free of redundancies and ...
10 Dec 2019, 21:23
Forum: Helpdesk
Topic: Error while using nmz
Replies: 3
Views: 1459

### Re: Error while using nmz

'nmz' was just an abbreviation used in the paper, probably because 'normaliz' would have been too broad on some pictures. The label to be used in the 'prefer' and 'prefer_now' commands is spelled 'libnormaliz'. You can figure this out e.g. by tab completion. Probably we should also offer a command l...
10 Dec 2019, 17:10
Forum: Helpdesk
Topic: Error while using nmz
Replies: 3
Views: 1459

### Re: Error while using nmz

It's not an error, just a warning. Somewhere in your file ~/.polymake/prefer.pl must be a statement looking like 'prefer nmz;' This probably comes from some extension you have been using before. Currently, there is no such label in polymake core rulebase. Therefore the warning. If you don't know (an...
28 Nov 2019, 16:25
Forum: Helpdesk
Topic: Error in using lp2poly
Replies: 21
Views: 4595

### Re: Error in using lp2poly

TOSimplex can return all feasible solutions for the integer variables of a MILP, but this feature is missing in the interface to polymake
You are cordially invited to extend the interface
27 Nov 2019, 13:52
Forum: Helpdesk
Topic: Error in using lp2poly
Replies: 21
Views: 4595

### Re: Error in using lp2poly

For every eliminated coordinate a Fourier-Motzkin elimination step is executed, which can potentially double the number of inequalities. You are trying to eliminate 90-2=88 coordinates... Conversion to Float is not an option, since it only can make your polyhedron infeasible, as you have experienced...