I am using function gc_closure on rational polytope and on following polytope (2D with 4 vertices)
Code: Select all
$q=new Polytope<Rational>(VERTICES=>[[1,1,0],[1,2,15/10],[1,24/10,15/10],[1,3,0]],LINEALITY_SPACE=>[[]]);
$qq=gc_closure($q);
print $qq->VERTICES;
Code: Select all
1 1 0
1 3 0
1 2 1
Code: Select all
$q=new Polytope<Rational>(VERTICES=>[[1,1,0],[1,2,15/10],[1,25/10,15/10],[1,3,0]],LINEALITY_SPACE=>[[]]);
$qq=gc_closure($q);
print $qq->VERTICES;
Code: Select all
1 1 0
1 2 1
1 5/2 1
1 3 0
Thanks for info.
Peter
Edit: using polymake version 2.13