Hello,
In the following example, I construct $p from a list of inequalities, then I define $q as the polytope with the same vertices as $p, and $r as the polytope with the same facets as $q. But $p->VERTICES and $r->VERTICES are different.
$p=new Polytope<Rational>;
$p->INEQUALITIES = <<".";
0 1 0 0 0
0 0 1 0 0
0 0 0 1 0
0 0 0 0 1
0 0 0 0 0
-1 1 0 0 1
1 -1 0 0 -1
-1 0 1 1 0
1 0 -1 -1 0
0 -1 0 -1 1
0 -1 -1 1 0
.
$q=new Polytope<Rational>(VERTICES=>$p->VERTICES);
$r=new Polytope<Rational>(FACETS=>$q->FACETS);
print $p->VERTICES;
print $r->VERTICES;
I'm new to polymake so I guess I missed something simple, but I can't see what it is.
Thanks for your help!
Nicolas