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 |