Given a chain complex
... <- C_{k-1} <- C_k <- C_{k+1} <- ...
return the trivial truncation
0 <- C_d <- C_{d+1} <- ... < C_e <- 0
i1 : E=ZZ/101[e_0,e_1,SkewCommutative=>true];F=res ideal vars E; |
i3 : C=dual res (coker transpose F.dd_3,LengthLimit=>8)[-3] 5 4 3 2 1 1 2 3 4 o3 = E <-- E <-- E <-- E <-- E <-- E <-- E <-- E <-- E -5 -4 -3 -2 -1 0 1 2 3 o3 : ChainComplex |
i4 : C1=trivialHomologicalTruncation(C,-2,2) 2 1 1 2 3 o4 = 0 <-- E <-- E <-- E <-- E <-- E <-- 0 -3 -2 -1 0 1 2 3 o4 : ChainComplex |
i5 : C2=trivialHomologicalTruncation(C1,-3,3) 2 1 1 2 3 o5 = 0 <-- 0 <-- E <-- E <-- E <-- E <-- E <-- 0 <-- 0 -4 -3 -2 -1 0 1 2 3 4 o5 : ChainComplex |
i6 : C3=removeZeroTrailingTerms C2 2 1 1 2 3 o6 = E <-- E <-- E <-- E <-- E -2 -1 0 1 2 o6 : ChainComplex |
i7 : C4=trivialHomologicalTruncation(C3,2,2) 3 o7 = 0 <-- E <-- 0 1 2 3 o7 : ChainComplex |
The object trivialHomologicalTruncation is a method function.