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 |