CubicalComplexFactory

alg_top.spad line 3640 [edit on github]

Provides functions to construct various Cubical complexes. For more information see: http://www.euclideanspace.com/prog/scratchpad/mycode/topology/cubical/factory/

band: () -> FiniteCubicalComplex Integer

Generate a cubical complex of the surface of a cylinder without ends

kleinBottle: () -> FiniteCubicalComplex Integer

generate a cubical complex of the surface of a Klein bottle.

moebiusBand: () -> FiniteCubicalComplex Integer

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

projectiveSpace: NonNegativeInteger -> FiniteCubicalComplex Integer

Generate a cubical complex 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 -> FiniteCubicalComplex Integer

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

sphereSurface: NonNegativeInteger -> FiniteCubicalComplex Integer

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

torusSurface: () -> FiniteCubicalComplex Integer

generate a cubical complex of the surface of an 3-dimensional torus.