https://github.com/koffie/mdmagma
Raw File
Tip revision: f69d0e06f67b9ac6f57e7d8e6ba3b3d69e650352 authored by Maarten Derickx on 02 November 2020, 22:43:35 UTC
Quickly lists all non cuspidal places up to diamond operators on X_1(N)
Tip revision: f69d0e0
X1_3_9.txt
N := 3;
X := (u^8 + 8*u^7 + 28*u^6 + 55*u^5 + 65*u^4 + 46*u^3 + 19*u^2 + 5*u + 1)*v^4 - (u^9 + 5*u^8 + 12*u^7 + 27*u^6 + 62*u^5 + 102*u^4 + 96*u^3 + 47*u^2 + 12*u + 2)*v^3 + (u^10 + 5*u^9 + 18*u^8 + 42*u^7 + 63*u^6 + 63*u^5 + 66*u^4 + 66*u^3 + 36*u^2 + 8*u + 1)*v^2 + (u^9 + 4*u^8 + 8*u^7 + u^6 - 2*u^5 - u^4 - 8*u^3 - 8*u^2 - u)*v + u^8 + u^5 + u^2;
Xz := u^5*v + z*u^4*v^2 + (z + 3)*u^4*v + (z + 1)*u^4 + 4*z*u^3*v^2 + (2*z + 6)*u^3*v + 6*z*u^2*v^2 + (-2*z + 4)*u^2*v + (3*z - 1)*u*v^2 + (-3*z + 2)*u*v + z*u - v^2 + v;
q := u+1;
t := (v*u) / (u+1);
E := [(1+q)*t+(2-q),0,q*t^2+(1-q)*t,0,0];
P := [-t,t^2];
Q := [0,0];
back to top