-- -*- M2-comint -*- hash: 16159460055962543772

i1 : setRandomSeed 0
 -- setting random seed to 0

o1 = 0

i2 : kk=ZZ/101;

i3 : g=1;

i4 : L=randNicePencil(kk,g)

o4 = RandomNicePencil{...8...}

o4 : RandomNicePencil

i5 : keys L

o5 = {matFact1, matFact2, matFactu1, isotropicSpace, matFactu2,
     ------------------------------------------------------------------------
     quadraticForm, qqRing, baseRing}

o5 : List

i6 : L.qqRing

o6 = kk[x , y , z ..z , s, t]
         0   0   1   2

o6 : PolynomialRing

i7 : L.quadraticForm

              2      2                           2                       
o7 = x y s - z s - 5x t + 12x z t - 18y z t - 30z t - 12x z t + 10y z t +
      0 0     1      0       0 1       0 1       1       0 2       0 2   
     ------------------------------------------------------------------------
                 2
     6z z t - 48z t
       1 2       2

o7 : kk[x , y , z ..z , s, t]
         0   0   1   2

i8 : L.baseRing

o8 = kk[s, t]

o8 : PolynomialRing

i9 : (L.matFact1 * L.matFact2) - (L.quadraticForm)**id_(source L.matFact1)

o9 = 0

                                      8                               8
o9 : Matrix (kk[x , y , z ..z , s, t])  <-- (kk[x , y , z ..z , s, t])
                 0   0   1   2                   0   0   1   2

i10 : (L.matFact2 * L.matFact1) - (L.quadraticForm)**id_(source L.matFact1)

o10 = 0

                                       8                               8
o10 : Matrix (kk[x , y , z ..z , s, t])  <-- (kk[x , y , z ..z , s, t])
                  0   0   1   2                   0   0   1   2

i11 : L.isotropicSpace

o11 = | x_0 z_1 z_2 |

                                       1                               3
o11 : Matrix (kk[x , y , z ..z , s, t])  <-- (kk[x , y , z ..z , s, t])
                  0   0   1   2                   0   0   1   2

i12 : (L.matFactu1 * L.matFactu2) - (L.quadraticForm)**id_(source L.matFactu1)

o12 = 0

                                       4                               4
o12 : Matrix (kk[x , y , z ..z , s, t])  <-- (kk[x , y , z ..z , s, t])
                  0   0   1   2                   0   0   1   2

i13 : (L.matFactu2 * L.matFactu1) - (L.quadraticForm)**id_(source L.matFactu1)

o13 = 0

                                       4                               4
o13 : Matrix (kk[x , y , z ..z , s, t])  <-- (kk[x , y , z ..z , s, t])
                  0   0   1   2                   0   0   1   2

i14 : 
