precomputedHyperellipticLocus -- get the ideal of the hyperelliptic locus

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