BigObject SchlegelDiagram<Scalar>

from application polytope

A Schlegel diagram of a polytope.

Type Parameters:

Scalar: default Rational

FACET

The facet number in the original polytope, giving the projection plane.

Type:

Int

FACET_POINT

The intersection point of the projection facet and the view ray.

Type:

Vector<Scalar>

INNER_POINT

A point on the view ray lying inside the polytope.

Type:

Vector<Scalar>

ROTATION

Rotation matrix making the projection facet coinciding with (0 0 0 -1) We want a negatively oriented coordinate system since the view point lies on the negative side of the facet.

Type:

Matrix<Float,NonSymmetric>

TRANSFORM

Matrix of a projective transformation mapping the whole polytope into the FACET The points belonging to this facet stay fixed.

Type:

Matrix<Scalar,NonSymmetric>

VERTICES

Coordinates in affine 3-space of the vertices which correspond to a 3-dimensional (Schlegel-) projection of a 4-polytope.

Type:

Matrix<Float,NonSymmetric>

VIEWPOINT

The center point of the projection, lying outside the polytope.

Type:

Vector<Scalar>

ZOOM

Zoom factor.

Type:

Scalar

VISUAL()

Draw the Schlegel diagram.

Options:

Visual::Graph::decorations proj_facet: decorations for the edges of the projection face

option list Visual::Graph::decorations

Returns:

Visual::SchlegelDiagram