m := 3;
n := 5;
g := 9;
F<z>:=CyclotomicField(3);
R<u,v>:=PolynomialRing(F,2);
X := ((-z - 1)*u^8 + (-9*z - 8)*u^7 + (-35*z - 27)*u^6 + (-76*z - 49)*u^5 + (-99*z - 50)*u^4 + (-77*z - 26)*u^3 + (-33*z - 3)*u^2 + (-6*z + 3)*u + 1)*v^6 + (z*u^11 + (9*z - 1)*u^10 + (38*z - 9)*u^9 + (93*z - 42)*u^8 + (140*z - 118)*u^7 + (138*z - 200)*u^6 + (122*z - 198)*u^5 + (143*z - 107)*u^4 + (146*z - 32)*u^3 + (82*z - 16)*u^2 + (18*z - 12)*u - 3)*v^5 + (z*u^11 + (7*z - 1)*u^10 + (14*z - 7)*u^9 + (-16*z - 24)*u^8 + (-118*z - 19)*u^7 + (-205*z + 78)*u^6 + (-169*z + 205)*u^5 + (-104*z + 199)*u^4 + (-107*z + 89)*u^3 + (-84*z + 27)*u^2 + (-23*z + 14)*u + 3)*v^4 + (u^12 + (2*z + 7)*u^11 + (11*z + 28)*u^10 + (23*z + 69)*u^9 + (21*z + 127)*u^8 + (46*z + 210)*u^7 + (140*z + 246)*u^6 + (182*z + 140)*u^5 + (99*z - 2)*u^4 + (49*z - 24)*u^3 + (47*z - 3)*u^2 + (16*z - 5)*u - 1)*v^3 + ((z + 1)*u^11 + (4*z + 3)*u^10 + (-z - 4)*u^9 + (-8*z - 14)*u^8 + (4*z - 37)*u^7 + (-5*z - 88)*u^6 + (-59*z - 111)*u^5 + (-52*z - 51)*u^4 + (-14*z - 8)*u^3 + (-14*z - 6)*u^2 - 6*z*u)*v^2 + ((z + 1)*u^11 + (2*z + 1)*u^10 + (3*z + 2)*u^9 + (9*z + 3)*u^8 + 14*z*u^7 + (2*z - 2)*u^6 + (8*z + 14)*u^5 + (15*z + 12)*u^4 + (3*z + 1)*u^3 + (2*z + 1)*u^2 + z*u)*v + z*u^8 + (-z - 1)*u^7 + u^6 + z*u^5 + (-z - 1)*u^4;
q := u+1;
t := (v*u)/(u+1);
E := [(1+q)*t+(2-q),0,q*t^2+(1-q)*t,0,0];
P := [R!0,0];
Q := [-t,t^2];