-- -*- M2-comint -*- hash: 6256889222714044620

i1 : S = ZZ/101[a,b]/ideal(a^3+b^3)

o1 = S

o1 : QuotientRing

i2 : R = S/ideal(a*b)

o2 = R

o2 : QuotientRing

i3 : M = R^1/(ideal vars R)^2

o3 = cokernel | a2 0 b2 |

                            1
o3 : R-module, quotient of R

i4 : approximationSequence M

o4 = M <-- cokernel | b2 a2 | <-- subquotient (| b2 a2 |, | b2 a2 |)
                                   
     1     2                      3

o4 : Complex

i5 : 
