from application polytope
A topological quotient space obtained from a Polytope by identifying faces. This object will sit inside the polytope.
Properties defining a quotient space.
IDENTIFICATION_ACTIONThe group encoding the quotient space. The faces of the space are the orbits of the faces of the polytope under the group.
These properties capture combinatorial information of the object. Combinatorial properties only depend on combinatorial data of the object like, e.g., the face lattice.
COCIRCUIT_EQUATIONSa SparseMatrix whose rows are the sum of all cocircuit equations corresponding to a fixed symmetry class of interior ridge
DIMThe dimension of the quotient space, defined to be the dimension of the polytope.
FACESThe faces of the quotient space, ordered by dimension. One representative of each orbit class is kept.
FACE_ORBITSThe orbits of faces of the quotient space, ordered by dimension.
F_VECTORAn array that tells how many faces of each dimension there are
N_SIMPLICESThe simplices made from points of the quotient space (also internal simplices, not just faces)
REPRESENTATIVE_INTERIOR_RIDGE_SIMPLICESThe (d-1)-dimensional simplices in the interior.
REPRESENTATIVE_MAX_BOUNDARY_SIMPLICESThe boundary (d-1)-dimensional simplices of a cone of combinatorial dimension d
REPRESENTATIVE_MAX_INTERIOR_SIMPLICESThe interior d-dimensional simplices of a cone of combinatorial dimension d
SIMPLEXITY_LOWER_BOUNDA lower bound for the number of simplices needed to triangulate the quotient space
SIMPLICESAll simplices in the quotient space
SIMPLICIAL_COMPLEXA simplicial complex obtained by two stellar subdivisions of the defining polytope.
SYMMETRY_GROUP
The symmetry group induced by the symmetry group of the polytope on the FACES of the quotient space