Macaulay2 » Documentation
Packages » Polyhedra :: isWellDefined(Cone)
next | previous | forward | backward | up | index | toc

# 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

## Ways to use this method:

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

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