Cubical Complexes Factory

As an alternative to simplicial complexes we can base our topology on squares rather than triangles.

Examples of Complexes

Solid Sphere - In this case 2 dimentional square:

(1) -> sp := sphereSolid(2)$CubicalComplexFactory

   (1)
        (1..2,1..2)
            Type: FiniteCubicalComplex(Integer)
 

Sphere Surface - In this case 2 dimentional square sides:

(2) -> sps := sphereSurface(2)$CubicalComplexFactory

   (2)
        -(1..1,1..2)
        (2..2,1..2)
        (1..2,1..1)
        -(1..2,2..2)
            Type: FiniteCubicalComplex(Integer)
 

Band - Cylinder without ends:

(3) -> bnd := band()$CubicalComplexFactory

   (3)
        (1..1,1..2,1..2)
        (2..2,1..2,1..2)
        (1..2,1..1,1..2)
        (1..2,2..2,1..2)
                      Type: FiniteCubicalComplex(Integer)
 

Torus -

(4) ->tor := torusSurface()$CubicalComplexFactory

   (4)
        (1..1,1..2,1..1,1..2)
        (1..1,1..2,2..2,1..2)
        (1..1,1..2,1..2,1..1)
        (1..1,1..2,1..2,2..2)
        (2..2,1..2,1..1,1..2)
        (2..2,1..2,2..2,1..2)
        (2..2,1..2,1..2,1..1)
        (2..2,1..2,1..2,2..2)
        (1..2,1..1,1..1,1..2)
        (1..2,1..1,2..2,1..2)
        (1..2,1..1,1..2,1..1)
        (1..2,1..1,1..2,2..2)
        (1..2,2..2,1..1,1..2)
        (1..2,2..2,2..2,1..2)
        (1..2,2..2,1..2,1..1)
        (1..2,2..2,1..2,2..2)
            Type: FiniteCubicalComplex(Integer)

cubical torus

Möbius band: One boundary:

not yet implemented

schlegel

Projective Plane - No boundaries, every edge is connected to two faces:

(6) -> pp := projectiveSpace(2)$CubicalComplexFactory

   (5)
        (1..2,1..1,1..1,1..2,1..1)
        (1..2,1..1,1..1,1..1,1..2)
        (1..1,1..2,1..2,1..1,1..1)
        (1..1,1..2,1..1,1..2,1..1)
        (1..1,1..1,1..2,1..1,1..2)
        (1..2,1..2,2..2,1..1,1..1)
        (1..2,2..2,1..2,1..1,1..1)
        (2..2,1..2,1..2,1..1,1..1)
        (1..2,1..2,1..1,1..1,2..2)
        (1..2,2..2,1..1,1..1,1..2)
        (2..2,1..2,1..1,1..1,1..2)
        (1..2,1..1,1..2,2..2,1..1)
        (1..2,1..1,2..2,1..2,1..1)
        (2..2,1..1,1..2,1..2,1..1)
        (1..1,1..2,1..1,1..2,2..2)
        (1..1,1..2,1..1,2..2,1..2)
        (1..1,2..2,1..1,1..2,1..2)
        (1..1,1..1,1..2,1..2,2..2)
        (1..1,1..1,1..2,2..2,1..2)
        (1..1,1..1,2..2,1..2,1..2)
                                          Type: FiniteCubicalComplex(Integer)

 

Further Information

For corresponding factory for simpectial complexes see page here.

For more general information about cubical complexes see page here .

My code for this page is on github here.


metadata block
see also:
  • I have put the code here.
Correspondence about this page

Book Shop - Further reading.

Where I can, I have put links to Amazon for books that are relevant to the subject, click on the appropriate country flag to get more details of the book or to buy it from them.

flag flag flag flag flag flagComputational Homology - Tomasz Kaczynski, Konstantin Mischaikow, Marian Mrozek - Cubical homology and its potential applications .

 

This site may have errors. Don't use for critical systems.

Copyright (c) 1998-2017 Martin John Baker - All rights reserved - privacy policy.