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

Synopsis

• Usage:

  P = polytope F

• Inputs:
  • F, an instance of the type Fan
• Outputs:
  • P, a convex polyhedron

Description

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

o1 = F

o1 : Fan

i2 : P = polytope F

o2 = P

o2 : Polyhedron