m := 9; n := 1; g := 10; F:=NumberField(PolynomialRing(Rationals())![1,-3,0,1]); R:=PolynomialRing(F,2); X := ((a^2 + a)*u^8 + (4*a^2 + 4*a)*u^7 + (6*a^2 + 6*a)*u^6 + (4*a^2 + 4*a)*u^5 + (a^2 + a)*u^4)*v^9 + ((3*a^2 + 3*a)*u^9 + (9*a^2 + 9*a)*u^8 + (-27*a^2 - 27*a)*u^6 + (-36*a^2 - 36*a)*u^5 + (-18*a^2 - 18*a)*u^4 + (-3*a^2 - 3*a)*u^3)*v^8 + ((3*a^2 + 3*a + 1)*u^10 + (8*a^2 + 9*a)*u^9 + (-9*a^2 - 9*a - 11)*u^8 + (-28*a^2 - 39*a - 28)*u^7 + (31*a^2 + 3*a - 35)*u^6 + (113*a^2 + 78*a - 25)*u^5 + (97*a^2 + 72*a - 9)*u^4 + (33*a^2 + 24*a - 1)*u^3 + (4*a^2 + 3*a)*u^2)*v^7 + ((a^2 + a + 2)*u^11 + (5*a^2 + 7*a - 2)*u^10 + (-a^2 - 3*a - 26)*u^9 + (-a^2 - 27*a - 32)*u^8 + (56*a^2 + 24*a + 28)*u^7 + (41*a^2 + 69*a + 112)*u^6 + (-142*a^2 - 30*a + 136)*u^5 + (-232*a^2 - 96*a + 82)*u^4 + (-130*a^2 - 48*a + 22)*u^3 + (-32*a^2 - 10*a + 2)*u^2 + (-3*a^2 - a)*u)*v^6 + (u^12 + (3*a^2 + 4*a - 4)*u^11 + (5*a^2 + a - 18)*u^10 + (-6*a^2 - 24*a + 26)*u^9 + (-14*a^2 + 12*a + 152)*u^8 + (-83*a^2 + 69*a + 203)*u^7 + (-197*a^2 + 6*a + 77)*u^6 + (-68*a^2 + 9*a - 106)*u^5 + (190*a^2 + 84*a - 157)*u^4 + (202*a^2 + 45*a - 77)*u^3 + (79*a^2 + 2*a - 15)*u^2 + (14*a^2 - a - 1)*u + a^2)*v^5 + ((a^2 + a - 2)*u^12 + (2*a^2 - 2)*u^11 + (-10*a^2 - 12*a + 36)*u^10 + (-19*a^2 + 17*a + 78)*u^9 + (-9*a^2 + 69*a - 34)*u^8 + (34*a^2 - 266)*u^7 + (209*a^2 - 57*a - 364)*u^6 + (310*a^2 - 54*a - 218)*u^5 + (107*a^2 - 111*a - 6)*u^4 + (-73*a^2 - 79*a + 54)*u^3 + (-60*a^2 - 6*a + 20)*u^2 + (-14*a^2 + 6*a + 2)*u - a^2 + a)*v^4 + (u^12 + (-2*a^2 - a + 6)*u^11 + (5*a^2 + 11*a - 13)*u^10 + (37*a^2 + 24*a - 104)*u^9 + (74*a^2 - 30*a - 173)*u^8 + (113*a^2 - 60*a - 77)*u^7 + (65*a^2 - 12*a + 112)*u^6 + (-103*a^2 + 9*a + 199)*u^5 + (-139*a^2 + 60*a + 118)*u^4 + (-31*a^2 + 87*a + 18)*u^3 + (19*a^2 + 37*a - 5)*u^2 + (9*a^2 + 4*a - 1)*u + a^2)*v^3 + ((a^2 + a - 2)*u^11 + (3*a^2 + a - 4)*u^10 + (-5*a^2 - 9*a + 26)*u^9 + (-23*a^2 + 3*a + 98)*u^8 + (-56*a^2 + 42*a + 140)*u^7 + (-89*a^2 + 51*a + 98)*u^6 + (-44*a^2 + 54*a + 14)*u^5 + (34*a^2 + 48*a - 28)*u^4 + (40*a^2 + 12*a - 16)*u^3 + (12*a^2 - 4*a - 2)*u^2 + (a^2 - a)*u)*v^2 + (u^10 + (2*a^2 + 3*a)*u^9 + (6*a^2 + 6*a - 11)*u^8 + (14*a^2 + 3*a - 28)*u^7 + (34*a^2 + 6*a - 35)*u^6 + (47*a^2 + 12*a - 25)*u^5 + (31*a^2 + 6*a - 9)*u^4 + (9*a^2 - 1)*u^3 + a^2*u^2)*v + (a^2 + a)*u^8 + (4*a^2 + 4*a)*u^7 + (6*a^2 + 6*a)*u^6 + (4*a^2 + 4*a)*u^5 + (a^2 + a)*u^4; t := u+1; x := u*(u+1)^2*(u+v)/v; E := [1+t^2-t^3,t^2*(1-2*t+2*t^2-t^3),t^2*(1-2*t+2*t^2-t^3),0,0]; P := [R!0,0]; Q := [x];