PS In case it matters, all the polytopes I need to work with are specified as follows: - lots of 0/1 linear combination of the variables >= 1 - all variables >= 0 One way to define the inequality system for "all variables >= 0" would be: $ineqs=zero_vector(3)|unit_matrix(3); polytope > pr...

The documentation tells me what command to use: $inequalities=new Matrix<Rational>([[1,1,0],[1,0,1],[1,-1,0],[1,0,-1],[17,1,1]]); $p=new Polytope<Rational>(INEQUALITIES=>$inequalities); but I can't seem to find anywhere the semantics of this command - in other words, exactly how are inequalities co...

For me it works fine under Ubuntu with Mozilla Firefox and Chromium, every input/output starts in a new line. Which browser and which operating system do you use? Does the same problem occur when you try it in a different browser?

You are on the right track, but EQUATIONS is an input property (like INEQUALITIES, INPUT_RAYS, or INPUT_LINEALITY). The defining equations are stored in LINEAR_SPAN (and the defining inequalities are stored in FACETS).

How do I add edge properties (ints in my case) to it?

It should be possible to add properties to edges by using an EdgeMap, e.g. see polymake/apps/graph/src/edge_lengths.cc.

The path to rgb.txt is usually detected automatically, but it can also be specified in the file customize.pl in your .polymake folder. The variable is called $Visual::Color::RGBtxt_path. For me the following worked:

You need an extra login and password for the jReality repository:
Login as user guest with empty password.

The help text for "save" has a little typo: "...has the true vakue."

Thanks for the hint. Now it's fixed.

You are right: "make docs" does not work for Release 2.10 due to some changes in the internal hierarchy. We already repaired it for the svn version. Hence, the feature will be available in the next release, which is scheduled for the end of this year. The links to the reference documentati...

As written in the documentation, I used the following code to produce my polytope: $inequalities=new Matrix<Rational>([...]); $p=new Polytope<Rational>(INEQUALITIES=>$inequalities); Right, this is exactly the way it should work. The problem is, that polymake tells me, that the polytope has no Verte...