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_16.txt
N := 8;
X := v^4 + (u^3 + 2*u)*v^3 + (u^4 - 2)*v^2 - (u^3 + 2*u)*v + 1;
q := (2*u*v + v^2 - 1)/(v^2 - 2*v + 1);
t := (-u^2*v^5 + 2*u^2*v^4 - 2*u^2*v^2 + u^2*v - 1/2*u*v^6 - u*v^5 + 17/2*u*v^4 - 14*u*v^3 + 17/2*u*v^2 - u*v - 1/2*u - v^6 + 4*v^5 - 5*v^4 + 5*v^2 - 4*v + 1)/(u^4*v^3 + 3*u^3*v^4 - 3*u^3*v^2
+ 2*u^2*v^5 + 4*u^2*v^4 - 12*u^2*v^3 + 4*u^2*v^2 + 2*u^2*v + 1/2*u*v^6 + 3*u*v^5 - 15/2*u*v^4 + 15/2*u*v^2 - 3*u*v - 1/2*u + v^6 - 3*v^5 + 3*v^4 - 2*v^3 + 3*v^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];