I've noticed that equal_bases($M1,$M2) does not work when the first matrix $M1 has the null space of zero dimension. For example, polytope > $a = new Matrix([[1,0],[0,1]]); polytope > print equal_bases($a,$a); polymake: ERROR: operator*(GenericMatrix,GenericMatrix) - dimension mismatch at /usr/local...

You are right, this is an error in the documentation of 2.13 and before. There it always computes inner normal cones. Yet this has been fixed in the 20140326 beta release . Moreover, this version lets you choose between inner and outer (but "inner" is the default). Thanks a lot. The beta ...

Although the description of the command "normal_cone(p, v)" says that "Computes the outer normal cone of...", I noticed that the result from the command was "inner normal cone". Moreover, the 31th line in the source code "apps/polytope/src/normal_cone.cc" cont...