Hi!
I am new to polymake. I define a polyhedron, and the inequality
0 >= -1
is among the facets. Thus the number of facets returned is false. Is this a bug or a feature?
Attila
Details:
$points=new Matrix<Rational>([
[1,1,1,1,1,0,0,0,0],
[1,1,0,0,0,0,0,0,1],
[1,0,1,0,0,1,0,0,0],
[1,0,0,1,0,0,1,0,0],
[1,0,0,0,1,0,0,1,0],
[1,0,0,0,0,1,1,0,0],
[1,0,0,0,0,1,0,1,0],
[1,0,0,0,0,1,0,0,1],
[1,0,0,0,0,0,1,1,0],
[1,0,0,0,0,0,1,0,1],
[1,0,0,0,0,0,0,1,1],
[0,1,0,0,0,0,0,0,0],
[0,0,1,0,0,0,0,0,0],
[0,0,0,1,0,0,0,0,0],
[0,0,0,0,1,0,0,0,0],
[0,0,0,0,0,1,0,0,0],
[0,0,0,0,0,0,1,0,0],
[0,0,0,0,0,0,0,1,0],
[0,0,0,0,0,0,0,0,1]]);
$p=new Polytope<Rational>(POINTS=>$points);
print_constraints($p);