m := 5; n := 2; g := 4; F:=NumberField(PolynomialRing(Rationals())![-1,1,1]); R:=PolynomialRing(F,2); X := ((-a + 1)*u^4 + (-2*a + 3)*u^3 + (-a + 4)*u^2 + 3*u + 1)*v^6 + (a*u^6 + (-2*a + 10)*u^5 + (3*a + 32)*u^4 + (26*a + 47)*u^3 + (31*a + 41)*u^2 + (11*a + 19)*u + 3)*v^5 + ((-a + 1)*u^8 + (-3*a + 10)*u^7 + (-20*a + 77)*u^6 + (-2*a + 218)*u^5 + (102*a + 331)*u^4 + (166*a + 300)*u^3 + (104*a + 149)*u^2 + (26*a + 34)*u + (a + 5))*v^4 + (u^9 + (11*a + 10)*u^8 + (44*a + 86)*u^7 + (130*a + 268)*u^6 + (236*a + 481)*u^5 + (249*a + 535)*u^4 + (156*a + 334)*u^3 + (68*a + 106)*u^2 + (22*a + 25)*u + (2*a + 5))*v^3 + ((a + 2)*u^8 + (5*a + 3)*u^7 + (27*a + 62)*u^6 + (111*a + 201)*u^5 + (153*a + 269)*u^4 + (89*a + 179)*u^3 + (27*a + 55)*u^2 + (5*a + 3)*u + (a + 2))*v^2 + ((a + 1)*u^6 + (8*a + 18)*u^5 + (28*a + 46)*u^4 + (26*a + 45)*u^3 + (6*a + 14)*u^2 + (a + 1)*u)*v + (a + 2)*u^4 + (2*a + 3)*u^3 + (a + 2)*u^2; t := -(u+1)/(v*u); x := (u+1)/v; E := [1-t,-t,-t,0,0]; P := [R!0,0]; Q := [x];