check2Torsion -- Check that D_0-D_1 represents is a two torsion divisor on the curve defined by J

i1 : kk=ZZ/10007;R=kk[x_0..x_7];

i3 : time (J,D,Pts)=getCanonicalCurveOfGenus8With2Torsion(R,4);
     -- used 0.829622 seconds

i4 : f=check2Torsion(J,D)

                            2                   2                        
o4 = {x x  - 4904x x  + 748x  - 1033x x  + 2871x  - 3799x x  + 3489x x  -
       2 4        3 4       4        0 5        5        1 6        3 6  
     ------------------------------------------------------------------------
                   2                                                       
     723x x  + 182x  - 3668x x  - 4527x x  + 3935x x  + 174x x  - 661x x  +
         5 6       6        0 7        1 7        2 7       3 7       4 7  
     ------------------------------------------------------------------------
                               2              2                        
     796x x  + 1476x x  + 3698x , x x  + 4245x  + 1637x x  + 1706x x  +
         5 7        6 7        7   1 3        3        0 4        1 4  
     ------------------------------------------------------------------------
                                2                   2                        
     4125x x  - 3518x x  - 1938x  + 1928x x  - 4748x  - 2551x x  - 3542x x  -
          2 4        3 4        4        0 5        5        1 6        3 6  
     ------------------------------------------------------------------------
                     2                                                       
     4112x x  - 3406x  + 1816x x  + 4154x x  - 3379x x  - 3572x x  - 1396x x 
          5 6        6        0 7        1 7        2 7        3 7        4 7
     ------------------------------------------------------------------------
                                  2
     + 3965x x  - 2887x x  + 2869x }
            5 7        6 7        7

o4 : List