-- -*- M2-comint -*- hash: 13143841150885907889

i1 : kk=ZZ/101;

i2 : setRandomSeed 0
 -- setting random seed to 0

o2 = 0

i3 : g=1;

i4 : rNP=randNicePencil(kk,g);

i5 : S=rNP.qqRing;

i6 : qq=rNP.quadraticForm;

i7 : Mu1=rNP.matFactu1;

             4      4
o7 : Matrix S  <-- S

i8 : Mu2=rNP.matFactu2;

             4      4
o8 : Matrix S  <-- S

i9 : Mu1*Mu2 - qq*id_(S^(2^(g+1)))

o9 = 0

             4      4
o9 : Matrix S  <-- S

i10 : Mu1*Mu2 - Mu2*Mu1

o10 = 0

              4      4
o10 : Matrix S  <-- S

i11 : 
