next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
NumericalGodeaux :: singleSolutionMatricesLine

singleSolutionMatricesLine -- evaluate the single solution matrices at a line

Synopsis

Description

The procedure computes first the solution matrix and its linear submatrices and substitutes then the a-variables with the assignments from the chosen line. The resulting matrices are then defined over a 1.

i1 : kk = ZZ/197;
i2 : s = "1111";
i3 : (relLin,relPfaf,d1',d2,Ms) = setupGodeaux(kk,s);
i4 : (randLine,subsLine) = randomLineTorsZ5(d1',relPfaf);
i5 : (maLine,l1Line,l2Line) = singleSolutionMatricesLine(relLin,subsLine);
i6 : (betti maLine,betti l1Line,betti l2Line)

              0  1          0  1          0  1
o6 = (total: 42 32, total: 12 12, total: 30 20)
         -3: 30 20     -2: 12 12     -3: 30 20
         -2: 12 12

o6 : Sequence

See also

Ways to use singleSolutionMatricesLine :