-- -*- M2-comint -*- hash: 16123217969616064196

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

i8 : 
