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

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,

Description

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

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/Polyhedra/documentation/documentation.m2:218:0.