CubicalComplexFactoryΒΆ

alg_top.spad line 3700

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.