The procedure lifts the solution matrix from the function solutionMatrix and its two linear submatrices l1 and l2 to homogeneous matrices over the ℙn of a-variables. In the cases "1111", "22" and "211" we get a ℙ11, hence the name.
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 |