(sum,ChainComplexMap)

sum C -- yields the sum of the modules in a chain complex map.

The degrees of the components are preserved.

i1 : R = ZZ/101[a..c];
i2 : C = res coker vars R

      1      3      3      1
o2 = R  <-- R  <-- R  <-- R
                          
     0      1      2      3

o2 : ChainComplex
i3 : sum C.dd

o3 = {0} | 0 a b c 0  0  0  0  |
     {1} | 0 0 0 0 -b -c 0  0  |
     {1} | 0 0 0 0 a  0  -c 0  |
     {1} | 0 0 0 0 0  a  b  0  |
     {2} | 0 0 0 0 0  0  0  c  |
     {2} | 0 0 0 0 0  0  0  -b |
     {2} | 0 0 0 0 0  0  0  a  |
     {3} | 0 0 0 0 0  0  0  0  |

             8       8
o3 : Matrix R  <--- R
i4 : betti oo

o4 = total: 8 8
        -1: . 1
         0: 1 3
         1: 3 3
         2: 3 1
         3: 1 .

o4 : Net

See also sum and sum ChainComplex.

topindexpreviousupnext