-- -*- M2-comint -*- hash: 7630704732591109202

i1 : kk=ZZ/101;

i2 : setRandomSeed 0
 -- setting random seed to 0

o2 = 0

i3 : g=1;

i4 : rNP=randNicePencil(kk,g);

i5 : qq=rNP.quadraticForm;

i6 : S=rNP.qqRing;

i7 : cM=cliffordModule(rNP.matFact1,rNP.matFact2,rNP.baseRing)

o7 = CliffordModule{...6...}

o7 : CliffordModule

i8 : (M1,M2)=cliffordModuleToMatrixFactorization(cM,S);

i9 : r=rank source M1

o9 = 8

i10 : M1*M2 - qq*id_(S^r) == 0

o10 = true

i11 : M1 == rNP.matFact1

o11 = true

i12 : M2 == rNP.matFact2

o12 = true

i13 : cMu=cliffordModule(rNP.matFactu1,rNP.matFactu2,rNP.baseRing)

o13 = CliffordModule{...6...}

o13 : CliffordModule

i14 : (Mu1,Mu2)=cliffordModuleToMatrixFactorization(cMu,S);

i15 : ru=rank source Mu1

o15 = 4

i16 : Mu1*Mu2 - qq*id_(S^ru) == 0

o16 = true

i17 : Mu1 == rNP.matFactu1

o17 = true

i18 : Mu2 == rNP.matFactu2

o18 = true

i19 : 
