documentation:latest:polytope:quotientspace

Available versions of this document: latest release, release 4.11, release 4.10, release 4.9, release 4.8, release 4.7, release 4.6, release 4.5, release 4.4, release 4.3, release 4.2, release 4.1, release 4.0, release 3.6, release 3.5, nightly master

Reference documentation for older polymake versions: release 3.4, release 3.3, release 3.2

BigObject QuotientSpace

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_ACTION

The group encoding the quotient space. The faces of the space are the orbits of the faces of the polytope under the group.

Type:

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_EQUATIONS

a SparseMatrix whose rows are the sum of all cocircuit equations corresponding to a fixed symmetry class of interior ridge

Type:

DIM

The dimension of the quotient space, defined to be the dimension of the polytope.

Type:
Int

FACES

The faces of the quotient space, ordered by dimension. One representative of each orbit class is kept.

Type:

FACE_CLASSES

Some listing of equivalence classes of faces of the quotient space, ordered by dimension. Analogous to FACE_ORBITS, but not necessarily coming from a group

Type:

FACE_ORBITS

The orbits of faces of the quotient space, ordered by dimension.

Type:

F_VECTOR

An array that tells how many faces of each dimension there are

Type:

N_SIMPLICES

The simplices made from points of the quotient space (also internal simplices, not just faces)

Type:

REPRESENTATIVE_INTERIOR_RIDGE_SIMPLICES

The (d-1)-dimensional simplices in the interior.

Type:

REPRESENTATIVE_MAX_BOUNDARY_SIMPLICES

The boundary (d-1)-dimensional simplices of a cone of combinatorial dimension d

Type:

REPRESENTATIVE_MAX_INTERIOR_SIMPLICES

The interior d-dimensional simplices of a cone of combinatorial dimension d

Type:

SIMPLEXITY_LOWER_BOUND

A lower bound for the number of simplices needed to triangulate the quotient space

Type:
Int

SIMPLICES

All simplices in the quotient space

Type:

SIMPLICIAL_COMPLEX

A simplicial complex obtained by two stellar subdivisions of the defining polytope.

Type:

SYMMETRY_GROUP

The symmetry group induced by the symmetry group of the polytope on the FACES of the quotient space

Type:

  • documentation/latest/polytope/quotientspace.txt
  • Last modified: 2023/11/06 10:57
  • by 127.0.0.1