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_2_22.txt
N := 11;
X := (u^5 + 2*u^4 + u^3)*v^9 + (4*u^6 + 16*u^5 + 14*u^4 - 3*u^2)*v^8 + (6*u^7 + 38*u^6 + 59*u^5 + 10*u^4 - 25*u^3 - 9*u^2 + 3*u)*v^7 + (4*u^8 + 38*u^7 + 92*u^6 + 38*u^5 - 77*u^4 - 63*u^3 - 2*u^2 + 9*u - 1)*v^6 + (u^9 + 16*u^8 + 59*u^7 + 38*u^6 - 110*u^5 - 152*u^4 - 39*u^3 + 19*u^2 + 12*u - 2)*v^5 + (2*u^9 + 14*u^8 + 10*u^7 - 77*u^6 - 152*u^5 - 68*u^4 + 20*u^3 + 21*u^2 + 10*u - 1)*v^4 + (u^9 - 25*u^7 - 63*u^6 - 39*u^5 + 20*u^4 + 16*u^3 + 4*u)*v^3 - (3*u^8 + 9*u^7 + 2*u^6 - 19*u^5 - 21*u^4 + 6*u^2)*v^2 + (3*u^7 + 9*u^6 + 12*u^5 + 10*u^4 + 4*u^3)*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];
back to top