singleSolutionMatricesLine -- evaluate the single solution matrices at a line

Synopsis

• Usage:

  (solMatLine,l1Line,l2Line) = singleSolutionMatricesLine(relLin,subsLine)

• Inputs:
  • relLine, a matrix, row matrix containing all relations which are linear in the c- and o-variables
  • subsLine, a matrix, row matrix containing the variables of the normalized set-up with the a-variables being replaced by the assignments from the chosen line
• Outputs:
  • solMatLine, a matrix,
  • l1Line, a matrix,
  • l2Line, a matrix,

Description

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

• solutionMatrix -- display the relations linear in the c- and o-variables as a matrix
• singleSolutionMatricesOverP11 -- display the single solution matrices over the P^n of a-variables