isPolytope -- Check whether a complex is a polytope.

Synopsis

• Usage:

  isPolytope(C)

• Inputs:
  • C, an embedded complex
• Outputs:
  • a Boolean value

Description

i1 : R=QQ[x_0..x_5];

i2 : C=fullCyclicPolytope(3,R)

o2 = 3: x x x x x x  
         0 1 2 3 4 5

o2 : complex of dim 3 embedded in dim 3 (printing facets)
     equidimensional, non-simplicial, F-vector {1, 6, 12, 8, 1}, Euler = 0

i3 : isPolytope C

o3 = true