Creates the ideal of the hyperelliptic locus from a precomputation.
i1 : kk = QQ; |
i2 : s = "1111"; |
i3 : (relLin,relPfaf,d1',d2,Ms) = setupGodeaux(kk,s); |
i4 : Sa = getP11(relPfaf); |
i5 : J = precomputedHyperellipticLocus(Sa) o5 = ideal (a a - a a + a a , - a a - 2,1,2 2,0,2 1,1,2 1,0,1 0,0,2 0,0,1 3,1,3 3,0,3 ------------------------------------------------------------------------ a a + a a , - a a + a a + 1,1,3 1,0,1 0,0,3 0,0,1 3,2,3 3,0,3 2,2,3 2,0,2 ------------------------------------------------------------------------ a a , - a a + a a - a a , 0,0,3 0,0,2 3,2,3 3,1,3 2,2,3 2,1,2 1,1,3 1,1,2 ------------------------------------------------------------------------ a a a + a a a , a a a + 2,1,2 1,0,1 0,0,2 2,0,2 1,1,2 0,0,1 3,1,3 1,0,1 0,0,3 ------------------------------------------------------------------------ a a a , a a a + a a a , 3,0,3 1,1,3 0,0,1 3,2,3 2,0,2 0,0,3 3,0,3 2,2,3 0,0,2 ------------------------------------------------------------------------ a a a + a a a , a a a a - 3,2,3 2,1,2 1,1,3 3,1,3 2,2,3 1,1,2 3,1,3 2,0,2 1,1,2 0,0,3 ------------------------------------------------------------------------ a a a a , a a a a + 3,0,3 2,1,2 1,1,3 0,0,2 3,2,3 2,1,2 1,0,1 0,0,3 ------------------------------------------------------------------------ a a a a + a a a a , 3,0,3 2,1,2 1,1,3 0,0,2 3,2,3 2,0,2 1,1,3 0,0,1 ------------------------------------------------------------------------ a a a a + a a a a + 3,0,3 2,1,2 1,1,3 0,0,2 3,2,3 2,0,2 1,1,3 0,0,1 ------------------------------------------------------------------------ a a a a , a a a a - 3,0,3 2,2,3 1,1,2 0,0,1 3,1,3 2,2,3 1,0,1 0,0,2 ------------------------------------------------------------------------ a a a a ) 3,2,3 2,0,2 1,1,3 0,0,1 o5 : Ideal of Sa |