-- -*- M2-comint -*- hash: 8257813065175886491

i1 : setRandomSeed 0
 -- setting random seed to 0

o1 = 0

i2 : kk=ZZ/101

o2 = kk

o2 : QuotientRing

i3 : g=1

o3 = 1

i4 : (S, qq, R,  u, M1, M2, Mu1, Mu2)=randomNicePencil(kk,g);

i5 : gens S

o5 = {x , y , z , z , s, t}
       0   0   1   2

o5 : List

i6 : q1 = diff(S_(2*g+2),qq)

             2
o6 = x y  - z
      0 0    1

o6 : S

i7 : ideal u -- an isotropic space for q1 and q2

o7 = ideal (x , z , z )
             0   1   2

o7 : Ideal of S

i8 : betti Mu1, betti Mu2

             0 1         0 1
o8 = (total: 4 4, total: 4 4)
          1: 3 1      2: 1 .
          2: 1 3      3: 3 3
                      4: . 1

o8 : Sequence

i9 : Mu1*Mu2- qq*id_(target Mu1) == 0

o9 = true

i10 : 
