Macaulay2 » Documentation
Packages » PencilsOfQuadrics :: matFact1
next | previous | forward | backward | up | index | toc

matFact1 -- part of a RandomNicePencil

Synopsis

Description

M1, M2 are consecutive high syzygy matrices in the minimal periodic resolution of the base ring R=S/(ideal matrix x_0..y_{(g-1)},z_1,z_2) as a module over S/(ideal qq). These are used to construct the Clifford algebra of qq.

i1 : setRandomSeed 0

o1 = 0
i2 : kk=ZZ/101;
i3 : g=1;
i4 : rNP=randNicePencil(kk,g);
i5 : S=rNP.qqRing;
i6 : qq=rNP.quadraticForm;
i7 : M1=rNP.matFact1;

             8      8
o7 : Matrix S  <-- S
i8 : M2=rNP.matFact2;

             8      8
o8 : Matrix S  <-- S
i9 : M1*M2 - qq*id_(S^(2^(2*g+1)))

o9 = 0

             8      8
o9 : Matrix S  <-- S
i10 : M1*M2 - M2*M1

o10 = 0

              8      8
o10 : Matrix S  <-- S

See also

For the programmer

The object matFact1 is a symbol.