next | previous | forward | backward | up | top | index | toc | Macaulay2 web site

polytope -- returns a polytope of which the fan is the normal fan if it is polytopal

Synopsis

Description

If the fan F is polytopal then polytope returns a polytope P. F is the normal fan of this polytope. Note that such a polytope is not unique.

i1 : F = fan {posHull matrix {{1,0},{0,1}},posHull matrix {{0,-1},{1,1}},posHull matrix {{-1,-1},{0,1}},posHull matrix {{-1,1},{0,-1}},posHull matrix {{1,1},{0,-1}}}

o1 = {ambient dimension => 2         }
      number of generating cones => 5
      number of rays => 5
      top dimension of the cones => 2

o1 : Fan
i2 : P = polytope F

o2 = {ambient dimension => 2           }
      dimension of lineality space => 0
      dimension of polyhedron => 2
      number of facets => 5
      number of rays => 0
      number of vertices => 5

o2 : Polyhedron

Ways to use polytope :