m := 8; n := 1; g := 5; F:=NumberField(PolynomialRing(Rationals())![-2,0,1]); R:=PolynomialRing(F,2); X := 2*u^4*v^6 + (6*u^5 + 16*a*u^3 - 32*a*u^2 + 16*a*u)*v^5 + (6*u^6 + 4*u^5 + (40*a + 4)*u^4 + (-80*a - 16)*u^3 + (40*a + 8)*u^2)*v^4 + (2*u^7 + 8*u^6 + (34*a + 8)*u^5 + (-52*a - 32)*u^4 + (-14*a + 16)*u^3 + 48*a*u^2 - 16*a*u)*v^3 + (4*u^7 + (11*a + 8)*u^6 + (2*a - 16)*u^5 + (-61*a - 20)*u^4 + (72*a + 56)*u^3 + (-24*a - 56)*u^2 + 32*u - 8)*v^2 + ((a + 4)*u^7 + 8*a*u^6 + (-29*a - 28)*u^5 + (30*a + 56)*u^4 + (-10*a - 56)*u^3 + 32*u^2 - 8*u)*v + (a + 2)*u^7 + (-3*a - 8)*u^6 + (3*a + 14)*u^5 + (-a - 14)*u^4 + 8*u^3 - 2*u^2; t := (u+2*v)/v; x := -(u-1)*(u+v)*(u+2*v)/((v+1)*u^2); E := [(t^2-2)/(t-2),(t-t^2)/(t^2-4*t+4),(t-t^2)/(t^2-4*t+4),0,0]; P := [R!0,0]; Q := [x];