singleSolutionMatricesOverP11 -- display the single solution matrices over the P^n of a-variables

Synopsis

• Usage:

  (ma,l1,l2) = singleSolutionMatricesOverP11(relLin)

• Inputs:
  • relLin, a matrix, a row matrix containing all relations which are linear in the c- and o-variables
• Outputs:
  • ma, a matrix, the solution matrix from the procedure solutionMatrix considered over the P^n of a-variables
  • l1, a matrix, the first submatrix of ma whose entries are linear in the a-variables
  • l2, a matrix, the second submatrix of ma whose entries are linear in the a-variables

Description

i1 : kk = ZZ/197;

i2 : s = "1111";

i3 : (relLin,relPfaf,d1',d2,Ms) = setupGodeaux(kk,s);

i4 : (ma,l1,l2) = singleSolutionMatricesOverP11(relLin);

i5 : (betti ma,betti l1, betti l2)

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

o5 : Sequence

See also

• solutionMatrix -- display the relations linear in the c- and o-variables as a matrix