SimplicialComplexFactory(VS)

alg_top.spad line 3439 [edit on github]

Provides functions to construct various simplicial complexes.

band : () -> FiniteSimplicialComplex(VS)

Generate a minimal triangulation of the surface of a cylinder without ends

dunceHat : () -> FiniteSimplicialComplex(VS)

Generate a minimal triangulation of dunce hat.

kleinBottle : () -> FiniteSimplicialComplex(VS)

generate a minimal triangulation of the surface of a Klein bottle.

line : () -> FiniteSimplicialComplex(VS)

create a simplicial complex containing a line.

moebiusBand : () -> FiniteSimplicialComplex(VS)

Generate a minimal triangulation of the surface of a Moebius band. A one sided surface with a single external boundary line.

projectiveSpace : Integer -> FiniteSimplicialComplex(VS)

Generate a minimal triangulation of the surface of a projective plane. A one sided surface which cannot be embedded in 3D space without intersecting itself. There are no external boundaries, every edge connects two faces. (A punctured projective plane is equivalent to a Moebius band)

sphereSolid : NonNegativeInteger -> FiniteSimplicialComplex(VS)

Generate a simplicial complex equivalent to a solid hyper-sphere. That is, a solid volume with no holes in it, so we use a single n-dimensional simplex.

sphereSurface : NonNegativeInteger -> FiniteSimplicialComplex(VS)

Generate a simplicial complex equivalent to the surface of a hyper-sphere. That is, the surface of a volume with no holes in it, so we use a minimal triangulation of the faces of a single simplex.

torusSurface : () -> FiniteSimplicialComplex(VS)

generate a minimal triangulation of the surface of a 3-dimensional torus.