swh:1:snp:e69952b3901aec538b122ef9c4d0ac0702cf4353
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_34.txt
N := 17;
X := (u^12 + 2*u^11 + u^10)*v^21 + (9*u^13 + 22*u^12 - 3*u^11 - 46*u^10 - 45*u^9 - 21*u^8 - 7*u^7 - u^6)*v^20 + (36*u^14 + 106*u^13 - 71*u^12 - 556*u^11 - 700*u^10 - 333*u^9 - 32*u^8 + 41*u^7 + 31*u^6 + 6*u^5)*v^19 + (84*u^15 + 296*u^14 - 339*u^13 - 2838*u^12 - 4640*u^11 - 2778*u^10 + 83*u^9 + 842*u^8 + 456*u^7 + 93*u^6 - 45*u^5 - 15*u^4)*v^18 + (126*u^16 + 532*u^15 - 846*u^14 - 8208*u^13 - 17045*u^12 - 13785*u^11 - 385*u^10 + 6148*u^9 + 3504*u^8 + 476*u^7 - 518*u^6 - 351*u^5 + 5*u^4 + 20*u^3)*v^17 + (126*u^17 + 644*u^16 - 1302*u^15 - 15036*u^14 - 38790*u^13 - 41595*u^12 - 7774*u^11 + 22360*u^10 + 17804*u^9 + 2372*u^8 - 2958*u^7 - 2260*u^6 - 347*u^5 + 380*u^4 + 55*u^3 - 15*u^2)*v^16 + (84*u^18 + 532*u^17 - 1302*u^16 - 18312*u^15 - 57820*u^14 - 79194*u^13 - 29867*u^12 + 46623*u^11 + 57474*u^10 + 14728*u^9 - 9514*u^8 - 7860*u^7 - 2247*u^6 + 1256*u^5 + 990*u^4 - 128*u^3 - 63*u^2 + 6*u)*v^15 + (36*u^19 + 296*u^18 - 846*u^17 - 15036*u^16 - 57820*u^15 - 97836*u^14 - 54434*u^13 + 64095*u^12 + 119055*u^11 + 55467*u^10 - 13596*u^9 - 19674*u^8 - 6311*u^7 + 676*u^6 + 3009*u^5 + 676*u^4 - 639*u^3 - 54*u^2 + 29*u - 1)*v^14 + (9*u^20 + 106*u^19 - 339*u^18 - 8208*u^17 - 38790*u^16 - 79194*u^15 - 54434*u^14 + 68968*u^13 + 167500*u^12 + 117398*u^11 + 1511*u^10 - 36473*u^9 - 14545*u^8 - 2608*u^7 + 1301*u^6 + 2634*u^5 - 376*u^4 - 852*u^3 + 115*u^2 + 50*u - 5)*v^13 + (u^21 + 22*u^20 - 71*u^19 - 2838*u^18 - 17045*u^17 - 41595*u^16 - 29867*u^15 + 64095*u^14 + 167500*u^13 + 149352*u^12 + 27168*u^11 - 49219*u^10 - 31473*u^9 - 6028*u^8 - 4284*u^7 + 334*u^6 + 2280*u^5 - 512*u^4 - 463*u^3 + 258*u^2 + 29*u - 10)*v^12 + (2*u^21 - 3*u^20 - 556*u^19 - 4640*u^18 - 13785*u^17 - 7774*u^16 + 46623*u^15 + 119055*u^14 + 117398*u^13 + 27168*u^12 - 52968*u^11 - 49274*u^10 - 9036*u^9 - 345*u^8 - 3688*u^7 + 2279*u^6 + 2568*u^5 - 215*u^4 - 162*u^3 + 177*u^2 - 14*u - 10)*v^11 + (u^21 - 46*u^20 - 700*u^19 - 2778*u^18 - 385*u^17 + 22360*u^16 + 57474*u^15 + 55467*u^14 + 1511*u^13 - 49219*u^12 - 49274*u^11 - 10792*u^10 + 12330*u^9 + 3869*u^8 - 729*u^7 + 2662*u^6 + 1069*u^5 - 400*u^4 - 119*u^3 + 44*u^2 - 25*u - 5)*v^10 - (45*u^20 + 333*u^19 - 83*u^18 - 6148*u^17 - 17804*u^16 - 14728*u^15 + 13596*u^14 + 36473*u^13 + 31473*u^12 + 9036*u^11 - 12330*u^10 - 12092*u^9 + 192*u^8 + 1594*u^7 - 379*u^6 + 538*u^5 + 309*u^4 - 10*u^3 - 15*u^2 + 10*u + 1)*v^9 - (21*u^20 + 32*u^19 - 842*u^18 - 3504*u^17 - 2372*u^16 + 9514*u^15 + 19674*u^14 + 14545*u^13 + 6028*u^12 + 345*u^11 - 3869*u^10 + 192*u^9 + 3936*u^8 + 914*u^7 - 143*u^6 + 459*u^5 - 10*u^4 - 90*u^3 - 15*u^2 + u)*v^8 - (7*u^20 - 41*u^19 - 456*u^18 - 476*u^17 + 2958*u^16 + 7860*u^15 + 6311*u^14 + 2608*u^13 + 4284*u^12 + 3688*u^11 + 729*u^10 + 1594*u^9 + 914*u^8 - 1300*u^7 - 686*u^6 + 124*u^5 - 40*u^4 - 40*u^3 - 4*u^2)*v^7 - (u^20 - 31*u^19 - 93*u^18 + 518*u^17 + 2260*u^16 + 2247*u^15 - 676*u^14 - 1301*u^13 - 334*u^12 - 2279*u^11 - 2662*u^10 - 379*u^9 - 143*u^8 - 686*u^7 - 168*u^6 + 110*u^5 + 10*u^4 - 4*u^3)*v^6 + (6*u^19 - 45*u^18 - 351*u^17 - 347*u^16 + 1256*u^15 + 3009*u^14 + 2634*u^13 + 2280*u^12 + 2568*u^11 + 1069*u^10 - 538*u^9 - 459*u^8 - 124*u^7 - 110*u^6 - 60*u^5 - 6*u^4)*v^5 - (15*u^18 - 5*u^17 - 380*u^16 - 990*u^15 - 676*u^14 + 376*u^13 + 512*u^12 + 215*u^11 + 400*u^10 + 309*u^9 - 10*u^8 - 40*u^7 + 10*u^6 + 6*u^5)*v^4 + (20*u^17 + 55*u^16 - 128*u^15 - 639*u^14 - 852*u^13 - 463*u^12 - 162*u^11 - 119*u^10 + 10*u^9 + 90*u^8 + 40*u^7 + 4*u^6)*v^3 - (15*u^16 + 63*u^15 + 54*u^14 - 115*u^13 - 258*u^12 - 177*u^11 - 44*u^10 - 15*u^9 - 15*u^8 - 4*u^7)*v^2 + (6*u^15 + 29*u^14 + 50*u^13 + 29*u^12 - 14*u^11 - 25*u^10 - 10*u^9 - u^8)*v - u^14 - 5*u^13 - 10*u^12 - 10*u^11 - 5*u^10 - u^9;
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];