-- -*- M2-comint -*- hash: 5223758621595862155

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

i2 : R = S/(a^3+b^3);

i3 : m = ideal vars R

o3 = ideal (a, b)

o3 : Ideal of R

i4 : C = tailMF m

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

o4 : ZZdFactorization

i5 : D = tailMF (m^2)

      3      3      3
o5 = S  <-- S  <-- S
                    
     0      1      0

o5 : ZZdFactorization

i6 : K = koszulComplex vars S

      1      2      1
o6 = S  <-- S  <-- S
                    
     0      1      2

o6 : Complex

i7 : H = Hom(K, C)

      8      8      8
o7 = S  <-- S  <-- S
                    
     0      1      0

o7 : ZZdFactorization

i8 : potential H

        3    3
o8 = - a  - b

o8 : S

i9 : H' = Hom(D, K)

      12      12      12
o9 = S   <-- S   <-- S
                      
     0       1       0

o9 : ZZdFactorization

i10 : potential H'

       3    3
o10 = a  + b

o10 : S

i11 : isZZdComplex (H**H')

o11 = true

i12 : 
