isWellDefined(Cone) -- Checks whether a polyhedral object is well-defined.

Synopsis

Function: isWellDefined
Usage:

b = isWellDefined PO
Inputs:
- PO, a convex rational cone, or an instance of the type Fan or a convex polyhedron or an instance of the type PolyhedralComplex
Outputs:
- b, a Boolean value,

This method checks whether all description given and computed for a polyhedral object yield the same.

Furthermore, for a fan or polyhedral complex, it will check whether the intersection of two subobjects always yields a face.

This method can be very expensive computationally.

i1 : isWellDefined normalFan hypercube 3

o1 = true