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