https://github.com/koffie/mdmagma
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)
Quickly lists all non cuspidal places up to diamond operators on X_1(N)
Tip revision: f69d0e0
X1_2_24.txt
N := 12;
X := (u^5 + u^4 + u^3)*v^9 + (4*u^6 + 7*u^5 + 5*u^4 + 2*u^3 - 3*u^2)*v^8 + (6*u^7 + 16*u^6 + 11*u^5 + 4*u^4 - 6*u^3 - 9*u^2 + 3*u)*v^7 + (4*u^8 + 16*u^7 + 14*u^6 + 2*u^5 + 3*u^4 - 9*u^3 - 4*u^2 + 8*u - 1)*v^6 + (u^9 + 7*u^8 + 11*u^7 + 2*u^6 + 12*u^5 + 18*u^4 - 3*u^3 + 5*u - 2)*v^5 + (u^9 + 5*u^8 + 4*u^7 + 3*u^6 + 18*u^5 + 8*u^4 - 8*u^3 - 3*u^2 - 1)*v^4 + (u^9 + 2*u^8 - 6*u^7 - 9*u^6 - 3*u^5 - 8*u^4 - 2*u^3 + 2*u^2)*v^3 - (3*u^8 + 9*u^7 + 4*u^6 + 3*u^4 - 2*u^3 - 2*u^2)*v^2 + (3*u^7 + 8*u^6 + 5*u^5)*v - u^6 - 2*u^5 - u^4;
q := (u + v + 2)/(u - v);
t := (-u^3 - u^2*v - 2*u^2 + u*v^2 + v^3 + 2*v^2)/(u^3 + u^2*v + 2*u^2 + u*v^2 + 2*u*v + v^3 + 2*v^2 - 2);
E:=[0,t^2-2*q*t-2,0,-(t^2-1)*(q*t+1)^2,0];
P:=[(t+1)*(q*t+1),t*(q*t+1)*(t+1)];
Q:=[0,0];