-- -*- M2-comint -*- hash: 11545229371678421476

i1 : S = ZZ/101[a,b];

i2 : M = koszulMF(ideal vars S, a^3+b^3)

      2      2      2
o2 = S  <-- S  <-- S
                    
     0      1      0

o2 : ZZdFactorization

i3 : M' = coker (M++M)_[0]

o3 = cokernel | 1 0 | <-- cokernel | 1 0 | <-- cokernel | 1 0 |
              | 0 1 |              | 0 1 |              | 0 1 |
              | 0 0 |              | 0 0 |              | 0 0 |
              | 0 0 |              | 0 0 |              | 0 0 |
                                                
     0                    1                    0

o3 : ZZdFactorization

i4 : prune M'

      2      2      2
o4 = S  <-- S  <-- S
                    
     0      1      0

o4 : ZZdFactorization

i5 : assert not isFree M'

i6 : assert isFree prune M

i7 : 
