Starting with a base field kk and a string s, the procedure computes the normal forms for the matrices d1’ and d2, all relations which have to be solved and a sequence of skew-symmetric matrices representing the quadratic relations which are usually Pfaffians of rank 5 or 6.
i1 : kk = ZZ/197; |
i2 : s = "1111"; |
i3 : (relLin,relPfaf,d1',d2,Ms) = setupGodeaux(kk,s); |