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_20.txt
N := 10;
X := v^8 + 4*u^2*v^7 + (6*u^4 - 2*u^2)*v^6 + (4*u^6 - 2*u^4 - 6*u^2)*v^5 + (u^8 + u^6 - 11*u^4 - u^2)*v^4 + (u^8 - 3*u^6 - 9*u^4 + 7*u^2)*v^3 + (u^8 - 3*u^6 + u^4 + 5*u^2)*v^2 + (u^8 + u^6 + u^4 + u^2)*v + u^8;
q := -1/u;
t := 4*u*v/(u^2*v - u^2 + 3*v + 1);
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];