-- -*- M2-comint -*- hash: 17379847021721376214

i1 : S = ZZ/101[a..c];

i2 : f = a^3 + b^3 + c^3

      3    3    3
o2 = a  + b  + c

o2 : S

i3 : C = randomTailMF(f)

      6      6      6
o3 = S  <-- S  <-- S
                    
     0      1      0

o3 : ZZdFactorization

i4 : K = koszulComplex vars S

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

o4 : Complex

i5 : D = Hom(K,C)

      48      48      48
o5 = S   <-- S   <-- S
                      
     0       1       0

o5 : ZZdFactorization

i6 : isWellDefined D

o6 = true

i7 : potential C

      3    3    3
o7 = a  + b  + c

o7 : S

i8 : potential D

        3    3    3
o8 = - a  - b  - c

o8 : S

i9 : 
