Sorry, the second code should be the following: $another_poly=new Polytope<Rational>(VERTICES=>[[-1,0,0], [1,-1,0], [-4,1,0], [1,0,-1], [-2,0,1], [-7,1,3]]); print $another_poly->N_FACETS; print $another_poly->FACETS; print $another_poly->SIMPLE; print $another_poly->F_VECTOR; print $another_poly->H...