m := 4; n := 3; g := 5; F:=CyclotomicField(4); R:=PolynomialRing(F,2); X := (i*u^5 + (-2*i - 1)*u^4 + 2*u^3 + (2*i - 1)*u^2 - i*u)*v^4 + (4*i*u^5 - 4*u^4 - 8*i*u^3 + 4*u^2 + 4*i*u)*v^3 + (2*i*u^5 + (12*i - 2)*u^4 - 12*u^3 + (-12*i - 2)*u^2 - 2*i*u)*v^2 + (-4*i*u^5 + 4*u^4 + 8*i*u^3 - 4*u^2 - 4*i*u)*v + u^6 + (i + 2)*u^5 + (-2*i + 2)*u^4 + 6*u^3 + (2*i + 2)*u^2 + (-i + 2)*u + 1; q := (u*v + u - v + 1)/2; t := (u*v + u - v + 1)/(2*u); E := [R!1,(q^2-1)*(t^2-1)/16,(q^2-1)*(t^2-1)/16,0,0]; P := [R!0,0]; Q := [(q+1)*(t^2-1)/8,(q+1)^2*(t-1)^2*(t+1)/32];