HH CellComplex -- compute the homology modules of a cell complex

Synopsis

Function: homology
Usage:

homology(C)
Inputs:
- C, a cell complex, with labels in ring(C)
Outputs:
- a graded module, the graded module, the homology of C with coefficients in ring(C)

Description

This computes the reduced homology of the cellular complex arising from the labeled cell complex C.

If the labels are all 1, then this will be the standard homology of the cell complex over the label ring, as in the following example.

i1 : R = QQ[x]

o1 = R

o1 : PolynomialRing

i2 : a = newSimplexCell({},1);

i3 : b1 = newCell {a,a};

i4 : b2 = newCell {a,a};

i5 : C = cellComplex(R,{b1,b2});

i6 : HH C

o6 = -1 : cokernel | -1 |

      0 : image 0        

           2
      1 : R              

o6 : GradedModule

i7 : prune oo

o7 = -1 : 0 

      0 : 0 

           2
      1 : R

o7 : GradedModule

However if the cells instead labeled with monomials (or monomial ideals) from the ring the homology of the corresponding complex of R modules is given.

i8 : R = QQ[x]

o8 = R

o8 : PolynomialRing

i9 : a = newSimplexCell({},x);

i10 : b1 = newCell {a,a};

i11 : b2 = newCell {a,a};

i12 : C = cellComplex(R,{b1,b2});

i13 : HH C

o13 = -1 : cokernel | -x |

       0 : image 0        

            2
       1 : R              

o13 : GradedModule

i14 : prune oo

o14 = -1 : cokernel | x |

       0 : 0             

            2
       1 : R             

o14 : GradedModule

Ways to use this method: