Macaulay2 » Documentation
Packages » Polyhedra :: isWellDefined(Cone)

next | previous | forward | backward | up | index | toc

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,

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

Ways to use this method:

isWellDefined(Cone) -- Checks whether a polyhedral object is well-defined.
"isWellDefined(Fan)"
"isWellDefined(PolyhedralComplex)"
"isWellDefined(PolyhedralObject)"
"isWellDefined(Polyhedron)"