hey, that is because there is no such method called "is_totally_unimodular". The correct command is just "totally_unimodular". If you are not sure weather or not you have the right command name, polymake does support tab completion. Typing "is_" and hitting tab you will...

Hi there, it is a feature. The inequality 0>=-1 describes the "far-facet", which is the facet at infinity. So this inequality only belongs to a facet, if your polyhedron is unbounded. In a bounded polyhedron this should indeed never appear as a facet. Your polyhedron -- the way you entered...

Hey there,

since last Friday we offer public access to the svn repository. You find information on how to use it in the download section (under perpetual beta). Or just click this link: click