-- -*- M2-comint -*- hash: 12881575679212626137

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

i2 : M = kernel vars S

o2 = image {1} | -b |
           {1} | a  |

                             2
o2 : S-module, submodule of S

i3 : assert not isFreeModule M

i4 : assert isFreeModule prune M

i5 : C = freeResolution M

      1
o5 = S
      
     0

o5 : Complex

i6 : assert isFree C

i7 : C' = cone map(complex M, C, i -> map(M, C_0, 1))[1]

             1
o7 = M  <-- S
             
     -1     0

o7 : Complex

i8 : isWellDefined C'

o8 = true

i9 : assert not isFree C'

i10 : prune C'

       1      1
o10 = S  <-- S
              
      -1     0

o10 : Complex

i11 : assert isFree prune C'

i12 : 
