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_14.txt
N := 7;
X := (u^2 + u)*v^3 + (u^3 + 2*u^2 - u - 1)*v^2 + (u^3 - u^2 - 4*u - 1)*v - u^2 - u;
q := (-u - v)/(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);
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];