Macaulay2 » Documentation
Packages » AbstractSimplicialComplexes :: How to make reduced and non-reduced simplicial chain complexes
next | previous | forward | backward | up | index | toc

How to make reduced and non-reduced simplicial chain complexes -- Simplicial homological constructors

Non-reduced and reduced simplicial chain complexes can be constructed in the following way.

i1 : K = abstractSimplicialComplex({{1,2,3,4}, {2,3,5},{1,5}})

o1 = AbstractSimplicialComplex{-1 => {{}}                                                                   }
                               0 => {{1}, {2}, {3}, {4}, {5}}
                               1 => {{1, 2}, {1, 3}, {1, 4}, {1, 5}, {2, 3}, {2, 4}, {2, 5}, {3, 4}, {3, 5}}
                               2 => {{1, 2, 3}, {1, 2, 4}, {1, 3, 4}, {2, 3, 4}, {2, 3, 5}}
                               3 => {{1, 2, 3, 4}}

o1 : AbstractSimplicialComplex
i2 : k = simplicialChainComplex K

       5       9       5       1
o2 = ZZ  <-- ZZ  <-- ZZ  <-- ZZ
                              
     0       1       2       3

o2 : Complex
i3 : k.dd

           5                                       9
o3 = 0 : ZZ  <---------------------------------- ZZ  : 1
                | -1 -1 -1 -1 0  0  0  0  0  |
                | 1  0  0  0  -1 -1 -1 0  0  |
                | 0  1  0  0  1  0  0  -1 -1 |
                | 0  0  1  0  0  1  0  1  0  |
                | 0  0  0  1  0  0  1  0  1  |

           9                           5
     1 : ZZ  <---------------------- ZZ  : 2
                | 1  1  0  0  0  |
                | -1 0  1  0  0  |
                | 0  -1 -1 0  0  |
                | 0  0  0  0  0  |
                | 1  0  0  1  1  |
                | 0  1  0  -1 0  |
                | 0  0  0  0  -1 |
                | 0  0  1  1  0  |
                | 0  0  0  0  1  |

           5               1
     2 : ZZ  <---------- ZZ  : 3
                | -1 |
                | 1  |
                | -1 |
                | 1  |
                | 0  |

o3 : ComplexMap
i4 : kRed = reducedSimplicialChainComplex K

       1       5       9       5       1
o4 = ZZ  <-- ZZ  <-- ZZ  <-- ZZ  <-- ZZ
                                      
     -1      0       1       2       3

o4 : Complex
i5 : kRed.dd

            1                      5
o5 = -1 : ZZ  <----------------- ZZ  : 0
                 | 1 1 1 1 1 |

           5                                       9
     0 : ZZ  <---------------------------------- ZZ  : 1
                | -1 -1 -1 -1 0  0  0  0  0  |
                | 1  0  0  0  -1 -1 -1 0  0  |
                | 0  1  0  0  1  0  0  -1 -1 |
                | 0  0  1  0  0  1  0  1  0  |
                | 0  0  0  1  0  0  1  0  1  |

           9                           5
     1 : ZZ  <---------------------- ZZ  : 2
                | 1  1  0  0  0  |
                | -1 0  1  0  0  |
                | 0  -1 -1 0  0  |
                | 0  0  0  0  0  |
                | 1  0  0  1  1  |
                | 0  1  0  -1 0  |
                | 0  0  0  0  -1 |
                | 0  0  1  1  0  |
                | 0  0  0  0  1  |

           5               1
     2 : ZZ  <---------- ZZ  : 3
                | -1 |
                | 1  |
                | -1 |
                | 1  |
                | 0  |

o5 : ComplexMap