m := 2; n := 15; g := 15; F := Rationals(); R:=PolynomialRing(F,2); X := (u^8 + 3*u^7 + 3*u^6 + u^5)*v^15 + (7*u^9 + 34*u^8 + 50*u^7 + 26*u^6 - 2*u^5 - 4*u^4)*v^14 + (21*u^10 + 144*u^9 + 309*u^8 + 253*u^7 + 35*u^6 - 56*u^5 - 11*u^4 + 7*u^3)*v^13 + (35*u^11 + 318*u^10 + 935*u^9 + 1128*u^8 + 439*u^7 - 204*u^6 - 188*u^5 + 22*u^4 + 21*u^3 - 7*u^2)*v^12 + (35*u^12 + 410*u^11 + 1583*u^10 + 2626*u^9 + 1725*u^8 - 160*u^7 - 771*u^6 - 249*u^5 + 108*u^4 + 10*u^3 - 19*u^2 + 4*u)*v^11 + (21*u^13 + 318*u^12 + 1583*u^11 + 3452*u^10 + 3243*u^9 + 432*u^8 - 1425*u^7 - 1016*u^6 - 75*u^5 + 189*u^4 - 9*u^3 - 10*u^2 + 11*u - 1)*v^10 + (7*u^14 + 144*u^13 + 935*u^12 + 2626*u^11 + 3243*u^10 + 880*u^9 - 1637*u^8 - 1518*u^7 - 425*u^6 + 200*u^5 + 210*u^4 - 12*u^3 + 5*u^2 + 8*u - 3)*v^9 + (u^15 + 34*u^14 + 309*u^13 + 1128*u^12 + 1725*u^11 + 432*u^10 - 1637*u^9 - 1532*u^8 - 269*u^7 + 138*u^6 + 190*u^5 + 88*u^4 - 38*u^3 + 3*u^2 - 3)*v^8 + (3*u^15 + 50*u^14 + 253*u^13 + 439*u^12 - 160*u^11 - 1425*u^10 - 1518*u^9 - 269*u^8 + 220*u^7 + 12*u^6 + 8*u^5 - 26*u^4 - 32*u^3 + 9*u^2 - 1)*v^7 + (3*u^15 + 26*u^14 + 35*u^13 - 204*u^12 - 771*u^11 - 1016*u^10 - 425*u^9 + 138*u^8 + 12*u^7 - 28*u^6 + 48*u^5 - 2*u^4 + 3*u^3 + 12*u^2 + u)*v^6 + (u^15 - 2*u^14 - 56*u^13 - 188*u^12 - 249*u^11 - 75*u^10 + 200*u^9 + 190*u^8 + 8*u^7 + 48*u^6 + 48*u^5 - 9*u^4 + 3*u^2)*v^5 - (4*u^14 + 11*u^13 - 22*u^12 - 108*u^11 - 189*u^10 - 210*u^9 - 88*u^8 + 26*u^7 + 2*u^6 + 9*u^5 + 18*u^4 + 3*u^3)*v^4 + (7*u^13 + 21*u^12 + 10*u^11 - 9*u^10 - 12*u^9 - 38*u^8 - 32*u^7 + 3*u^6 - 3*u^4)*v^3 - (7*u^12 + 19*u^11 + 10*u^10 - 5*u^9 - 3*u^8 - 9*u^7 - 12*u^6 - 3*u^5)*v^2 + (4*u^11 + 11*u^10 + 8*u^9 + u^6)*v - u^10 - 3*u^9 - 3*u^8 - u^7; q := (u+v+2)/(v-u); t := (u-v)*(u+v)*(u+v+2)/(u^3+u^2*v+2*u^2+u*v^2+2*u*v+v^3+2*v^2-2); E := [0,t^2-2*q*t-2,0,-(t^2-1)*(q*t+1)^2,0]; P := [R!0,0]; Q := [(t+1)*(q*t+1),t*(q*t+1)*(t+1)];