Search found 287 matches

Go to advanced search

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

Re: building SubdivisionOfPoints from C++

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

Re: building SubdivisionOfPoints from C++

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

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...
by gawrilow
11 Mar 2020, 21:18
Forum: Helpdesk
Topic: Perles Irrational Polytope (in polymake)
Replies: 4
Views: 1418

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.
by gawrilow
24 Feb 2020, 09:49
Forum: Helpdesk
Topic: Porting old code
Replies: 3
Views: 1273

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...
by gawrilow
11 Dec 2019, 10:48
Forum: Helpdesk
Topic: From V-representation to H-representation
Replies: 1
Views: 1292

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 ...
by gawrilow
10 Dec 2019, 21:23
Forum: Helpdesk
Topic: Error while using nmz
Replies: 3
Views: 1230

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...
by gawrilow
10 Dec 2019, 17:10
Forum: Helpdesk
Topic: Error while using nmz
Replies: 3
Views: 1230

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...
by gawrilow
28 Nov 2019, 16:25
Forum: Helpdesk
Topic: Error in using lp2poly
Replies: 21
Views: 3630

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 8-)
by gawrilow
27 Nov 2019, 13:52
Forum: Helpdesk
Topic: Error in using lp2poly
Replies: 21
Views: 3630

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...

Go to advanced search

cron