i1 : C = resolution cokernel matrix {{4,5}}
1 1
o1 = ZZ <-- ZZ
0 1
o1 : ChainComplex
|
i2 : C ++ C[-2]
1 1 1 1
o2 = ZZ <-- ZZ <-- ZZ <-- ZZ
0 1 2 3
o2 : ChainComplex
|