Then please try with explicit application switch.

You should either switch to the application "fan" beforehand, or use a qualified object type name "fan::SubdivisionOfPoints".

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

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.

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

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

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

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

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

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