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_26.txt
N := 13;
X := (u^7 + u^6)*v^12 + (5*u^8 + 6*u^7 - 11*u^6 - 16*u^5 - 5*u^4 - u^3)*v^11 + (10*u^9 + 15*u^8 - 55*u^7 - 124*u^6 - 59*u^5 + 11*u^4 + 9*u^3 + 3*u^2)*v^10 + (10*u^10 + 20*u^9 - 110*u^8 - 352*u^7 - 289*u^6 + 30*u^5 + 103*u^4 + 20*u^3 - 3*u)*v^9 + (5*u^11 + 15*u^10 - 110*u^9 - 488*u^8 - 607*u^7 - 91*u^6 + 309*u^5 + 140*u^4 - 22*u^3 - 14*u^2 - 7*u + 1)*v^8 + (u^12 + 6*u^11 - 55*u^10 - 352*u^9 - 607*u^8 - 218*u^7 + 395*u^6 + 380*u^5 + 18*u^4 - 56*u^3 - 10*u^2 - 5*u + 3)*v^7 + (u^12 - 11*u^11 - 124*u^10 - 289*u^9 - 91*u^8 + 395*u^7 + 482*u^6 + 148*u^5 - 66*u^4 - 24*u^3 - 4*u + 3)*v^6 - (16*u^11 + 59*u^10 - 30*u^9 - 309*u^8 - 380*u^7 - 148*u^6 + 42*u^5 + 55*u^4 + 3*u^3 + 6*u^2 + 6*u - 1)*v^5 - (5*u^11 - 11*u^10 - 103*u^9 - 140*u^8 - 18*u^7 + 66*u^6 + 55*u^5 + 18*u^4 - 7*u^3 + 3*u^2 + 3*u)*v^4 - (u^11 - 9*u^10 - 20*u^9 + 22*u^8 + 56*u^7 + 24*u^6 + 3*u^5 - 7*u^4 - 12*u^3 - 2*u^2)*v^3 + (3*u^10 - 14*u^8 - 10*u^7 - 6*u^5 - 3*u^4 + 2*u^3)*v^2 - (3*u^9 + 7*u^8 + 5*u^7 + 4*u^6 + 6*u^5 + 3*u^4)*v + u^8 + 3*u^7 + 3*u^6 + u^5;
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