Differentiating the linear relations with respect to the c- and o-variables, we obtain a matrix whose coefficients depend only on the a-variables and are either linear or quadratic. All in all, the matrix is of the form
|
where the entries of l1, l2 are linear in the a-variables and the entries of q are quadratic.
i1 : kk = ZZ/197; |
i2 : s = "1111"; |
i3 : (relLin,relPfaf,d1',d2,Ms) = setupGodeaux(kk,s); |
i4 : (solutionMat,restVars) = solutionMatrix(relLin); |
i5 : (betti solutionMat,betti restVars)
0 1 0 1
o5 = (total: 42 32, total: 1 32)
-6: 30 . 0: 1 .
-5: . 20 1: . 12
-4: 12 . 2: . .
-3: . 12 3: . 20
o5 : Sequence
|