/* This code can be loaded, or copied and paste using cpaste, into Sage. It will load the data associated to the HMF, including the field, level, and Hecke and Atkin-Lehner eigenvalue data. */ P. = PolynomialRing(QQ) g = P([-3, -7, 0, 1]) F. = NumberField(g) ZF = F.ring_of_integers() NN = ZF.ideal([13, 13, w^2 - w - 7]) primes_array = [ [3, 3, w],\ [3, 3, w + 1],\ [3, 3, w + 2],\ [8, 2, 2],\ [11, 11, -w^2 + 5],\ [13, 13, w^2 - w - 7],\ [17, 17, -w^2 + w + 4],\ [19, 19, -w^2 - w + 4],\ [29, 29, 2*w^2 - 2*w - 11],\ [31, 31, w^2 - 2*w - 4],\ [37, 37, -2*w^2 + 3*w + 7],\ [41, 41, w^2 - 2],\ [59, 59, 2*w^2 - 13],\ [61, 61, w^2 + w - 10],\ [67, 67, 2*w^2 - w - 11],\ [73, 73, -w^2 - 1],\ [83, 83, w^2 - w - 10],\ [89, 89, -w^2 + 4*w - 2],\ [97, 97, w^2 - 2*w - 7],\ [97, 97, -w^2 - 4*w - 5],\ [97, 97, 2*w^2 + w - 8],\ [101, 101, -4*w^2 + 2*w + 25],\ [103, 103, w^2 + w - 7],\ [107, 107, -3*w - 4],\ [109, 109, 5*w^2 - 3*w - 31],\ [121, 11, 2*w^2 - 3*w - 4],\ [125, 5, -5],\ [137, 137, -5*w^2 + 3*w + 34],\ [139, 139, w^2 + 2*w - 4],\ [151, 151, 3*w^2 - 23],\ [151, 151, w^2 - 3*w - 5],\ [151, 151, 3*w^2 - 3*w - 17],\ [157, 157, 4*w^2 - 9*w - 8],\ [157, 157, w^2 + 3*w - 2],\ [157, 157, 2*w^2 - w - 2],\ [167, 167, 2*w^2 + w - 11],\ [167, 167, -w^2 + 11],\ [167, 167, -3*w^2 + 19],\ [169, 13, w^2 - 4*w - 4],\ [173, 173, 2*w^2 - 3*w - 10],\ [179, 179, -3*w + 7],\ [191, 191, -w^2 + 5*w - 5],\ [193, 193, -w^2 + w - 2],\ [199, 199, 3*w - 2],\ [211, 211, w^2 - 3*w - 11],\ [223, 223, 3*w^2 - 20],\ [223, 223, w^2 - 5*w - 4],\ [223, 223, 2*w^2 - w - 8],\ [229, 229, 4*w^2 - 3*w - 26],\ [229, 229, 2*w^2 + w - 20],\ [229, 229, 2*w^2 - 2*w - 5],\ [239, 239, -6*w^2 + 3*w + 38],\ [241, 241, -w^2 + 4*w - 5],\ [257, 257, -2*w^2 + 5*w - 1],\ [263, 263, -2*w^2 - w + 17],\ [269, 269, -w^2 - w + 13],\ [269, 269, 3*w - 4],\ [269, 269, -4*w^2 + w + 31],\ [271, 271, 2*w^2 - 7],\ [271, 271, 3*w - 5],\ [271, 271, w^2 - 3*w - 8],\ [289, 17, 2*w^2 + w - 5],\ [307, 307, 2*w^2 - w - 5],\ [311, 311, 3*w^2 - 3*w - 19],\ [311, 311, -7*w^2 + 13*w + 19],\ [311, 311, w^2 - 2*w - 13],\ [313, 313, w^2 + 2*w - 7],\ [317, 317, -5*w^2 + w + 35],\ [331, 331, -w^2 + 3*w - 4],\ [337, 337, 3*w^2 - 3*w - 13],\ [343, 7, -7],\ [347, 347, 2*w^2 - 3*w - 13],\ [349, 349, 3*w^2 - 3*w - 20],\ [359, 359, -w^2 + 5*w - 2],\ [361, 19, -2*w^2 + 7*w - 1],\ [389, 389, -2*w^2 + w - 1],\ [397, 397, w^2 - 6*w + 10],\ [401, 401, 6*w^2 - 3*w - 44],\ [419, 419, -3*w^2 + 6*w + 10],\ [419, 419, 4*w^2 - 2*w - 31],\ [419, 419, -4*w^2 + 4*w + 19],\ [421, 421, 6*w^2 - 12*w - 13],\ [431, 431, 4*w^2 - 7*w - 10],\ [433, 433, w^2 - 4*w - 7],\ [443, 443, 2*w^2 + 4*w - 5],\ [443, 443, 5*w^2 - 11*w - 11],\ [443, 443, 3*w^2 - 14],\ [449, 449, -2*w^2 + 2*w - 1],\ [457, 457, w^2 - 6*w - 5],\ [457, 457, w^2 + 3*w - 5],\ [457, 457, 6*w^2 - 3*w - 37],\ [463, 463, w^2 + 5*w - 1],\ [467, 467, w^2 - w - 13],\ [479, 479, 5*w^2 - 9*w - 16],\ [487, 487, -6*w - 5],\ [499, 499, 3*w^2 - 3*w - 4],\ [499, 499, 3*w^2 + 3*w - 1],\ [499, 499, w^2 - 5*w + 8],\ [503, 503, 4*w^2 - 5*w - 16],\ [509, 509, 2*w^2 - 5*w - 8],\ [521, 521, 4*w^2 - w - 22],\ [523, 523, w^2 - 5*w - 16],\ [547, 547, 5*w^2 - 2*w - 38],\ [547, 547, 8*w^2 - 3*w - 58],\ [547, 547, 4*w^2 - 29],\ [557, 557, 7*w^2 - 4*w - 43],\ [557, 557, 3*w - 11],\ [557, 557, 2*w^2 - 4*w - 11],\ [569, 569, 5*w^2 - 4*w - 32],\ [569, 569, 3*w^2 - 3*w - 11],\ [569, 569, w^2 + 2*w - 16],\ [571, 571, w^2 - 4*w - 10],\ [593, 593, 2*w^2 - 6*w - 7],\ [601, 601, -w^2 - 3*w + 14],\ [607, 607, 3*w^2 + 3*w - 7],\ [619, 619, 3*w^2 - 6*w - 11],\ [631, 631, -w^2 - w - 5],\ [641, 641, 3*w^2 - 3*w - 5],\ [647, 647, -w^2 + 6*w - 1],\ [653, 653, -5*w^2 + 4*w + 35],\ [661, 661, 3*w^2 - 3*w - 10],\ [673, 673, w^2 + 4*w - 4],\ [677, 677, 5*w^2 - 6*w - 25],\ [677, 677, w^2 - 14],\ [677, 677, 4*w^2 - 3*w - 20],\ [691, 691, 5*w^2 - 2*w - 29],\ [701, 701, 5*w^2 - 10*w - 14],\ [719, 719, -3*w - 11],\ [727, 727, -2*w^2 + 9*w - 8],\ [733, 733, -w^2 - 4*w - 8],\ [739, 739, w^2 + 3*w - 8],\ [743, 743, 2*w^2 - 4*w - 17],\ [757, 757, -w^2 + w - 5],\ [769, 769, 3*w^2 - 3*w - 7],\ [769, 769, -w^2 - 3*w - 7],\ [769, 769, 5*w^2 - 3*w - 28],\ [773, 773, 7*w^2 - 6*w - 38],\ [787, 787, 2*w^2 - w - 20],\ [797, 797, -5*w^2 + 14*w - 1],\ [821, 821, -w^2 + 6*w - 4],\ [823, 823, 7*w^2 - 6*w - 41],\ [839, 839, 4*w^2 - 6*w - 11],\ [841, 29, 5*w^2 - 4*w - 26],\ [857, 857, 3*w^2 - 11],\ [863, 863, 2*w^2 + 2*w - 17],\ [881, 881, 5*w^2 - 5*w - 29],\ [883, 883, -4*w^2 + 8*w + 13],\ [907, 907, 4*w^2 - 9*w - 11],\ [911, 911, 2*w^2 + 3*w - 10],\ [947, 947, 2*w^2 + 5*w - 5],\ [953, 953, 2*w^2 - 5*w - 11],\ [961, 31, w^2 - 5*w - 13],\ [967, 967, 2*w^2 - 3*w - 22],\ [967, 967, 5*w^2 - 9*w - 10],\ [967, 967, 3*w^2 - 10],\ [977, 977, 5*w^2 - 37],\ [983, 983, 7*w^2 - 5*w - 40],\ [997, 997, -7*w^2 + 5*w + 49]] primes = [ZF.ideal(I) for I in primes_array] heckePol = x^10 - 2*x^9 - 15*x^8 + 28*x^7 + 74*x^6 - 126*x^5 - 139*x^4 + 192*x^3 + 109*x^2 - 84*x - 29 K. = NumberField(heckePol) hecke_eigenvalues_array = [e, -431/2127*e^9 - 49/2127*e^8 + 6470/2127*e^7 + 373/709*e^6 - 29968/2127*e^5 - 4102/2127*e^4 + 46654/2127*e^3 + 2950/2127*e^2 - 18457/2127*e - 25/2127, -20/2127*e^9 - 175/2127*e^8 + 14/2127*e^7 + 927/709*e^6 + 2360/2127*e^5 - 12523/2127*e^4 - 11135/2127*e^3 + 16309/2127*e^2 + 10958/2127*e - 4951/2127, -289/2127*e^9 + 130/2127*e^8 + 4669/2127*e^7 - 324/709*e^6 - 25454/2127*e^5 - 56/2127*e^4 + 54458/2127*e^3 + 9884/2127*e^2 - 37979/2127*e - 5924/2127, 338/709*e^9 - 233/709*e^8 - 4916/709*e^7 + 2702/709*e^6 + 21799/709*e^5 - 9782/709*e^4 - 30545/709*e^3 + 7907/709*e^2 + 10352/709*e - 770/709, -1, 1342/2127*e^9 + 44/2127*e^8 - 19657/2127*e^7 - 1015/709*e^6 + 88376/2127*e^5 + 17357/2127*e^4 - 134483/2127*e^3 - 31472/2127*e^2 + 63194/2127*e + 10397/2127, 878/2127*e^9 + 238/2127*e^8 - 13802/2127*e^7 - 1913/709*e^6 + 70810/2127*e^5 + 32686/2127*e^4 - 135448/2127*e^3 - 60211/2127*e^2 + 73240/2127*e + 30811/2127, -611/2127*e^9 + 503/2127*e^8 + 8723/2127*e^7 - 1919/709*e^6 - 38506/2127*e^5 + 21446/2127*e^4 + 57043/2127*e^3 - 22556/2127*e^2 - 30439/2127*e - 2044/2127, -1927/2127*e^9 - 377/2127*e^8 + 29638/2127*e^7 + 2783/709*e^6 - 144839/2127*e^5 - 40676/2127*e^4 + 255986/2127*e^3 + 64499/2127*e^2 - 135104/2127*e - 31316/2127, -1408/2127*e^9 + 442/2127*e^8 + 20554/2127*e^7 - 818/709*e^6 - 93350/2127*e^5 - 4019/2127*e^4 + 143468/2127*e^3 + 42539/2127*e^2 - 59363/2127*e - 37583/2127, -408/709*e^9 + 684/709*e^8 + 5674/709*e^7 - 8921/709*e^6 - 23465/709*e^5 + 35788/709*e^4 + 26668/709*e^3 - 40514/709*e^2 - 5322/709*e + 10029/709, -268/709*e^9 - 218/709*e^8 + 4158/709*e^7 + 3517/709*e^6 - 20842/709*e^5 - 15515/709*e^4 + 40094/709*e^3 + 22573/709*e^2 - 23890/709*e - 12743/709, -3680/2127*e^9 + 1832/2127*e^8 + 53624/2127*e^7 - 5973/709*e^6 - 242146/2127*e^5 + 50357/2127*e^4 + 367432/2127*e^3 + 6040/2127*e^2 - 161776/2127*e - 45295/2127, 2984/2127*e^9 + 586/2127*e^8 - 45905/2127*e^7 - 4591/709*e^6 + 224305/2127*e^5 + 73669/2127*e^4 - 393340/2127*e^3 - 137419/2127*e^2 + 198115/2127*e + 69535/2127, -328/2127*e^9 - 2870/2127*e^8 + 7036/2127*e^7 + 13643/709*e^6 - 46376/2127*e^5 - 174323/2127*e^4 + 119420/2127*e^3 + 225353/2127*e^2 - 83186/2127*e - 65882/2127, -1124/2127*e^9 + 800/2127*e^8 + 16952/2127*e^7 - 2921/709*e^6 - 80068/2127*e^5 + 23216/2127*e^4 + 129298/2127*e^3 + 15994/2127*e^2 - 66502/2127*e - 23857/2127, -128/709*e^9 - 411/709*e^8 + 2642/709*e^7 + 5320/709*e^6 - 17510/709*e^5 - 18606/709*e^4 + 45012/709*e^3 + 12633/709*e^2 - 35368/709*e - 774/709, 3437/2127*e^9 - 236/2127*e^8 - 51965/2127*e^7 - 808/709*e^6 + 247423/2127*e^5 + 23695/2127*e^4 - 416047/2127*e^3 - 71740/2127*e^2 + 209623/2127*e + 48844/2127, 2729/2127*e^9 - 50/2127*e^8 - 40409/2127*e^7 - 2166/709*e^6 + 188458/2127*e^5 + 51724/2127*e^4 - 310381/2127*e^3 - 123568/2127*e^2 + 147463/2127*e + 69688/2127, 443/2127*e^9 + 154/2127*e^8 - 6053/2127*e^7 - 1071/709*e^6 + 26425/2127*e^5 + 8638/2127*e^4 - 46354/2127*e^3 + 23849/2127*e^2 + 25495/2127*e - 32738/2127, 718/2127*e^9 - 1162/2127*e^8 - 9436/2127*e^7 + 4794/709*e^6 + 38642/2127*e^5 - 58990/2127*e^4 - 58622/2127*e^3 + 80896/2127*e^2 + 37538/2127*e - 23686/2127, 2380/2127*e^9 - 445/2127*e^8 - 35698/2127*e^7 + 1000/709*e^6 + 165830/2127*e^5 - 5044/2127*e^4 - 259550/2127*e^3 - 26471/2127*e^2 + 108326/2127*e + 31895/2127, -40/2127*e^9 - 350/2127*e^8 + 2155/2127*e^7 + 1854/709*e^6 - 20804/2127*e^5 - 31427/2127*e^4 + 58556/2127*e^3 + 64523/2127*e^2 - 31259/2127*e - 43934/2127, -1601/2127*e^9 - 715/2127*e^8 + 24305/2127*e^7 + 3909/709*e^6 - 113116/2127*e^5 - 48613/2127*e^4 + 172675/2127*e^3 + 66877/2127*e^2 - 53800/2127*e - 35482/2127, 1151/709*e^9 - 32/709*e^8 - 16900/709*e^7 - 1975/709*e^6 + 76173/709*e^5 + 16059/709*e^4 - 113734/709*e^3 - 44853/709*e^2 + 45115/709*e + 28662/709, -1310/709*e^9 + 236/709*e^8 + 20060/709*e^7 - 1830/709*e^6 - 96406/709*e^5 + 5374/709*e^4 + 160807/709*e^3 + 5094/709*e^2 - 76331/709*e - 10558/709, -3206/2127*e^9 - 1465/2127*e^8 + 47762/2127*e^7 + 8996/709*e^6 - 219379/2127*e^5 - 127807/2127*e^4 + 343123/2127*e^3 + 187213/2127*e^2 - 136888/2127*e - 53662/2127, -202/2127*e^9 - 704/2127*e^8 + 1843/2127*e^7 + 3478/709*e^6 + 4693/2127*e^5 - 47996/2127*e^4 - 53971/2127*e^3 + 82406/2127*e^2 + 46015/2127*e - 30224/2127, -4583/2127*e^9 - 220/2127*e^8 + 66380/2127*e^7 + 4366/709*e^6 - 292990/2127*e^5 - 80404/2127*e^4 + 423556/2127*e^3 + 153106/2127*e^2 - 160699/2127*e - 41350/2127, 3586/2127*e^9 - 1591/2127*e^8 - 52282/2127*e^7 + 5296/709*e^6 + 234095/2127*e^5 - 49021/2127*e^4 - 346385/2127*e^3 + 4888/2127*e^2 + 147767/2127*e + 37127/2127, -3836/2127*e^9 + 2594/2127*e^8 + 54584/2127*e^7 - 9661/709*e^6 - 236500/2127*e^5 + 108374/2127*e^4 + 327373/2127*e^3 - 114758/2127*e^2 - 119269/2127*e + 16907/2127, 1349/2127*e^9 - 1490/2127*e^8 - 20300/2127*e^7 + 6495/709*e^6 + 98185/2127*e^5 - 80675/2127*e^4 - 174721/2127*e^3 + 97778/2127*e^2 + 118702/2127*e - 23072/2127, 52/2127*e^9 - 1672/2127*e^8 - 1738/2127*e^7 + 8792/709*e^6 + 15134/2127*e^5 - 123562/2127*e^4 - 41240/2127*e^3 + 172849/2127*e^2 + 44678/2127*e - 42004/2127, -319/709*e^9 + 931/709*e^8 + 3981/709*e^7 - 12753/709*e^6 - 11988/709*e^5 + 51705/709*e^4 - 5139/709*e^3 - 53923/709*e^2 + 18162/709*e + 10401/709, -485/2127*e^9 + 542/2127*e^8 + 7784/2127*e^7 - 2158/709*e^6 - 40612/2127*e^5 + 22280/2127*e^4 + 68701/2127*e^3 - 18740/2127*e^2 - 13969/2127*e + 8090/2127, 55/2127*e^9 - 1114/2127*e^8 - 1102/2127*e^7 + 4718/709*e^6 + 10526/2127*e^5 - 50110/2127*e^4 - 32657/2127*e^3 + 49270/2127*e^2 + 13469/2127*e - 9250/2127, -10/709*e^9 - 442/709*e^8 + 7/709*e^7 + 6708/709*e^6 + 1180/709*e^5 - 30722/709*e^4 - 2377/709*e^3 + 46086/709*e^2 - 7283/709*e - 18428/709, -88/2127*e^9 - 770/2127*e^8 + 2614/2127*e^7 + 4646/709*e^6 - 23648/2127*e^5 - 81476/2127*e^4 + 78626/2127*e^3 + 163646/2127*e^2 - 87062/2127*e - 74534/2127, -1000/2127*e^9 + 1885/2127*e^8 + 13462/2127*e^7 - 8243/709*e^6 - 52160/2127*e^5 + 94903/2127*e^4 + 53699/2127*e^3 - 75763/2127*e^2 - 26390/2127*e - 32723/2127, 940/709*e^9 - 992/709*e^8 - 13420/709*e^7 + 12511/709*e^6 + 57822/709*e^5 - 48810/709*e^4 - 75760/709*e^3 + 48827/709*e^2 + 26650/709*e - 10490/709, -6050/2127*e^9 + 1301/2127*e^8 + 87188/2127*e^7 - 2828/709*e^6 - 375124/2127*e^5 + 15932/2127*e^4 + 486850/2127*e^3 + 42436/2127*e^2 - 124564/2127*e - 31111/2127, 198/709*e^9 + 1378/709*e^8 - 3400/709*e^7 - 20371/709*e^6 + 19176/709*e^5 + 87606/709*e^4 - 46098/709*e^3 - 109064/709*e^2 + 28920/709*e + 29092/709, -1712/2127*e^9 - 2218/2127*e^8 + 26297/2127*e^7 + 10720/709*e^6 - 121288/2127*e^5 - 126730/2127*e^4 + 178408/2127*e^3 + 138568/2127*e^2 - 47647/2127*e - 34990/2127, -415/709*e^9 + 91/709*e^8 + 5608/709*e^7 - 255/709*e^6 - 21930/709*e^5 + 528/709*e^4 + 22948/709*e^3 - 6694/709*e^2 - 565/709*e + 7339/709, 2060/2127*e^9 - 1118/2127*e^8 - 31220/2127*e^7 + 3779/709*e^6 + 152542/2127*e^5 - 33125/2127*e^4 - 271804/2127*e^3 + 9011/2127*e^2 + 151780/2127*e + 3727/2127, 1280/2127*e^9 + 565/2127*e^8 - 20039/2127*e^7 - 2608/709*e^6 + 93565/2127*e^5 + 27244/2127*e^4 - 127525/2127*e^3 - 27070/2127*e^2 + 11233/2127*e - 2186/2127, 2342/2127*e^9 + 286/2127*e^8 - 37373/2127*e^7 - 2698/709*e^6 + 195838/2127*e^5 + 43693/2127*e^4 - 390247/2127*e^3 - 74821/2127*e^2 + 244855/2127*e + 51628/2127, -2620/2127*e^9 + 4726/2127*e^8 + 37993/2127*e^7 - 21072/709*e^6 - 171542/2127*e^5 + 256771/2127*e^4 + 249296/2127*e^3 - 284047/2127*e^2 - 102323/2127*e + 51202/2127, -478/709*e^9 - 992/709*e^8 + 7850/709*e^7 + 14638/709*e^6 - 42147/709*e^5 - 60154/709*e^4 + 88019/709*e^3 + 67970/709*e^2 - 51340/709*e - 16162/709, 2683/2127*e^9 + 611/2127*e^8 - 41653/2127*e^7 - 4926/709*e^6 + 204521/2127*e^5 + 90347/2127*e^4 - 354071/2127*e^3 - 199001/2127*e^2 + 170114/2127*e + 98501/2127, -1256/709*e^9 + 1063/709*e^8 + 18037/709*e^7 - 11962/709*e^6 - 80799/709*e^5 + 42093/709*e^4 + 121744/709*e^3 - 38444/709*e^2 - 51041/709*e + 3306/709, -566/2127*e^9 + 2492/2127*e^8 + 7628/2127*e^7 - 11272/709*e^6 - 31054/2127*e^5 + 136298/2127*e^4 + 28390/2127*e^3 - 159752/2127*e^2 + 14033/2127*e + 59612/2127, -238/2127*e^9 - 1019/2127*e^8 + 4846/2127*e^7 + 4863/709*e^6 - 35726/2127*e^5 - 50969/2127*e^4 + 108908/2127*e^3 + 4136/2127*e^2 - 92084/2127*e + 38287/2127, -1572/709*e^9 - 993/709*e^8 + 24072/709*e^7 + 16947/709*e^6 - 116538/709*e^5 - 75937/709*e^4 + 201760/709*e^3 + 99559/709*e^2 - 92448/709*e - 24439/709, 1148/2127*e^9 - 590/2127*e^8 - 16118/2127*e^7 + 1525/709*e^6 + 68728/2127*e^5 - 9890/2127*e^4 - 90412/2127*e^3 + 18461/2127*e^2 + 16768/2127*e - 50177/2127, 449/709*e^9 - 148/709*e^8 - 6199/709*e^7 + 1412/709*e^6 + 25717/709*e^5 - 7528/709*e^4 - 35569/709*e^3 + 19878/709*e^2 + 14834/709*e - 14024/709, 1969/2127*e^9 + 1808/2127*e^8 - 31369/2127*e^7 - 9480/709*e^6 + 165407/2127*e^5 + 116108/2127*e^4 - 348524/2127*e^3 - 124910/2127*e^2 + 242690/2127*e + 51710/2127, 4891/2127*e^9 + 788/2127*e^8 - 73402/2127*e^7 - 6447/709*e^6 + 339599/2127*e^5 + 103949/2127*e^4 - 530714/2127*e^3 - 206879/2127*e^2 + 237827/2127*e + 104408/2127, 1079/2127*e^9 - 662/2127*e^8 - 17984/2127*e^7 + 2348/709*e^6 + 100267/2127*e^5 - 18956/2127*e^4 - 209122/2127*e^3 - 2164/2127*e^2 + 130507/2127*e + 6868/2127, -2504/2127*e^9 + 1487/2127*e^8 + 37061/2127*e^7 - 6313/709*e^6 - 172468/2127*e^5 + 88628/2127*e^4 + 279847/2127*e^3 - 137012/2127*e^2 - 133549/2127*e + 19511/2127, 3548/2127*e^9 - 860/2127*e^8 - 51830/2127*e^7 + 2307/709*e^6 + 225817/2127*e^5 - 17300/2127*e^4 - 289906/2127*e^3 - 22192/2127*e^2 + 58834/2127*e + 16447/2127, -3668/2127*e^9 - 190/2127*e^8 + 54041/2127*e^7 + 1837/709*e^6 - 239308/2127*e^5 - 13171/2127*e^4 + 325192/2127*e^3 - 1193/2127*e^2 - 65404/2127*e + 13403/2127, -1151/709*e^9 + 32/709*e^8 + 16900/709*e^7 + 1266/709*e^6 - 75464/709*e^5 - 8969/709*e^4 + 110898/709*e^3 + 30673/709*e^2 - 50787/709*e - 33625/709, 2126/709*e^9 - 895/709*e^8 - 29990/709*e^7 + 8328/709*e^6 + 127029/709*e^5 - 27320/709*e^4 - 165931/709*e^3 + 19923/709*e^2 + 47980/709*e + 4680/709, 2387/709*e^9 + 148/709*e^8 - 36341/709*e^7 - 5666/709*e^6 + 173512/709*e^5 + 33052/709*e^4 - 290571/709*e^3 - 76598/709*e^2 + 143273/709*e + 49474/709, 95/709*e^9 - 764/709*e^8 - 1130/709*e^7 + 10010/709*e^6 + 4388/709*e^5 - 39244/709*e^4 - 2588/709*e^3 + 49266/709*e^2 - 9865/709*e - 20618/709, -1363/2127*e^9 + 304/2127*e^8 + 21586/2127*e^7 - 954/709*e^6 - 107168/2127*e^5 + 2356/2127*e^4 + 180752/2127*e^3 + 47852/2127*e^2 - 74447/2127*e - 58880/2127, -85/2127*e^9 + 4042/2127*e^8 - 1004/2127*e^7 - 19280/709*e^6 + 16411/2127*e^5 + 247216/2127*e^4 - 55300/2127*e^3 - 302380/2127*e^2 + 28492/2127*e + 39046/2127, -1201/2127*e^9 + 2785/2127*e^8 + 15517/2127*e^7 - 11795/709*e^6 - 58220/2127*e^5 + 138037/2127*e^4 + 50801/2127*e^3 - 165715/2127*e^2 + 20566/2127*e + 52903/2127, -6757/2127*e^9 + 964/2127*e^8 + 98956/2127*e^7 - 1290/709*e^6 - 444842/2127*e^5 + 9598/2127*e^4 + 671240/2127*e^3 + 5426/2127*e^2 - 298514/2127*e - 32672/2127, -5714/2127*e^9 - 13/2127*e^8 + 83975/2127*e^7 + 3861/709*e^6 - 378613/2127*e^5 - 82522/2127*e^4 + 571822/2127*e^3 + 199375/2127*e^2 - 246550/2127*e - 114691/2127, -1676/2127*e^9 + 2351/2127*e^8 + 23294/2127*e^7 - 10517/709*e^6 - 97885/2127*e^5 + 137864/2127*e^4 + 136768/2127*e^3 - 189419/2127*e^2 - 90343/2127*e + 49643/2127, 4940/2127*e^9 - 1442/2127*e^8 - 71522/2127*e^7 + 4292/709*e^6 + 312547/2127*e^5 - 39890/2127*e^4 - 429520/2127*e^3 - 1912/2127*e^2 + 149935/2127*e + 25396/2127, -562/2127*e^9 + 400/2127*e^8 + 8476/2127*e^7 - 2524/709*e^6 - 35780/2127*e^5 + 41386/2127*e^4 + 41252/2127*e^3 - 49432/2127*e^2 - 37505/2127*e - 8738/2127, -2741/2127*e^9 + 2072/2127*e^8 + 37865/2127*e^7 - 7062/709*e^6 - 157264/2127*e^5 + 58598/2127*e^4 + 199477/2127*e^3 + 18070/2127*e^2 - 54532/2127*e - 56068/2127, 3815/2127*e^9 + 2008/2127*e^8 - 61163/2127*e^7 - 12160/709*e^6 + 317677/2127*e^5 + 185722/2127*e^4 - 615043/2127*e^3 - 328294/2127*e^2 + 350494/2127*e + 172834/2127, -1730/2127*e^9 + 815/2127*e^8 + 28862/2127*e^7 - 3831/709*e^6 - 153196/2127*e^5 + 51515/2127*e^4 + 275800/2127*e^3 - 60092/2127*e^2 - 100744/2127*e + 329/2127, -119/709*e^9 - 864/709*e^8 + 2423/709*e^7 + 11194/709*e^6 - 16445/709*e^5 - 37183/709*e^4 + 49491/709*e^3 + 17666/709*e^2 - 45333/709*e + 5318/709, 5702/2127*e^9 + 4162/2127*e^8 - 88646/2127*e^7 - 22306/709*e^6 + 433204/2127*e^5 + 303448/2127*e^4 - 763552/2127*e^3 - 468652/2127*e^2 + 424561/2127*e + 172978/2127, 1105/2127*e^9 - 3625/2127*e^8 - 16726/2127*e^7 + 16670/709*e^6 + 84437/2127*e^5 - 206230/2127*e^4 - 151043/2127*e^3 + 229960/2127*e^2 + 69893/2127*e - 24769/2127, -2113/2127*e^9 + 1186/2127*e^8 + 30619/2127*e^7 - 4832/709*e^6 - 133526/2127*e^5 + 59176/2127*e^4 + 179018/2127*e^3 - 56296/2127*e^2 - 63398/2127*e - 39287/2127, -6221/2127*e^9 + 5654/2127*e^8 + 89222/2127*e^7 - 21596/709*e^6 - 397486/2127*e^5 + 221423/2127*e^4 + 591052/2127*e^3 - 141107/2127*e^2 - 242935/2127*e - 64615/2127, 110/2127*e^9 - 101/2127*e^8 - 4331/2127*e^7 + 928/709*e^6 + 40195/2127*e^5 - 17267/2127*e^4 - 107854/2127*e^3 + 38984/2127*e^2 + 24811/2127*e - 18500/2127, -142/2127*e^9 + 1948/2127*e^8 - 326/2127*e^7 - 7811/709*e^6 + 21010/2127*e^5 + 70399/2127*e^4 - 109900/2127*e^3 - 15442/2127*e^2 + 134380/2127*e - 8990/2127, 4063/2127*e^9 + 2051/2127*e^8 - 59635/2127*e^7 - 12169/709*e^6 + 269270/2127*e^5 + 158936/2127*e^4 - 417413/2127*e^3 - 175742/2127*e^2 + 190367/2127*e - 2296/2127, 1203/709*e^9 + 423/709*e^8 - 17929/709*e^7 - 7504/709*e^6 + 79254/709*e^5 + 37133/709*e^4 - 106762/709*e^3 - 72651/709*e^2 + 37327/709*e + 24944/709, -628/709*e^9 - 1950/709*e^8 + 10791/709*e^7 + 27342/709*e^6 - 57061/709*e^5 - 112600/709*e^4 + 111211/709*e^3 + 143848/709*e^2 - 70542/709*e - 41596/709, -784/2127*e^9 - 479/2127*e^8 + 10333/2127*e^7 + 2590/709*e^6 - 32981/2127*e^5 - 42530/2127*e^4 + 5924/2127*e^3 + 113093/2127*e^2 + 2452/2127*e - 73691/2127, 614/2127*e^9 + 6436/2127*e^8 - 14468/2127*e^7 - 29806/709*e^6 + 97708/2127*e^5 + 366802/2127*e^4 - 242017/2127*e^3 - 439216/2127*e^2 + 148120/2127*e + 111370/2127, -632/2127*e^9 - 3403/2127*e^8 + 10652/2127*e^7 + 17382/709*e^6 - 59425/2127*e^5 - 245986/2127*e^4 + 152233/2127*e^3 + 391573/2127*e^2 - 152296/2127*e - 154750/2127, -436/709*e^9 - 979/709*e^8 + 8246/709*e^7 + 13690/709*e^6 - 50648/709*e^5 - 57040/709*e^4 + 120974/709*e^3 + 77041/709*e^2 - 89808/709*e - 35472/709, 2308/709*e^9 - 366/709*e^8 - 33946/709*e^7 + 1384/709*e^6 + 153765/709*e^5 + 1772/709*e^4 - 232990/709*e^3 - 29158/709*e^2 + 97294/709*e + 42006/709, 2413/2127*e^9 - 688/2127*e^8 - 35083/2127*e^7 + 1562/709*e^6 + 155555/2127*e^5 - 3205/2127*e^4 - 216185/2127*e^3 - 50084/2127*e^2 + 50045/2127*e + 7202/2127, 8539/2127*e^9 - 3451/2127*e^8 - 121048/2127*e^7 + 9659/709*e^6 + 515330/2127*e^5 - 67690/2127*e^4 - 671357/2127*e^3 - 34106/2127*e^2 + 182315/2127*e + 22244/2127, 4721/2127*e^9 - 1763/2127*e^8 - 69029/2127*e^7 + 4623/709*e^6 + 312865/2127*e^5 - 18449/2127*e^4 - 475408/2127*e^3 - 94840/2127*e^2 + 188461/2127*e + 88912/2127, -368/709*e^9 - 384/709*e^8 + 4228/709*e^7 + 6078/709*e^6 - 7624/709*e^5 - 25664/709*e^4 - 29052/709*e^3 + 38890/709*e^2 + 50752/709*e - 19064/709, 1698/709*e^9 - 1804/709*e^8 - 24302/709*e^7 + 22040/709*e^6 + 105924/709*e^5 - 81336/709*e^4 - 144726/709*e^3 + 65200/709*e^2 + 58579/709*e + 4086/709, 3381/709*e^9 - 726/709*e^8 - 50366/709*e^7 + 5221/709*e^6 + 232761/709*e^5 - 13071/709*e^4 - 362854/709*e^3 - 10335/709*e^2 + 155509/709*e + 8890/709, -1997/709*e^9 + 783/709*e^8 + 30396/709*e^7 - 8505/709*e^6 - 145087/709*e^5 + 30706/709*e^4 + 234384/709*e^3 - 21283/709*e^2 - 94624/709*e - 1496/709, -599/709*e^9 - 810/709*e^8 + 10558/709*e^7 + 11292/709*e^6 - 60483/709*e^5 - 42791/709*e^4 + 130370/709*e^3 + 40402/709*e^2 - 81539/709*e - 6447/709, -1589/2127*e^9 + 1517/2127*e^8 + 22595/2127*e^7 - 5297/709*e^6 - 99643/2127*e^5 + 41003/2127*e^4 + 141070/2127*e^3 + 12850/2127*e^2 - 23365/2127*e - 32086/2127, 2108/709*e^9 + 720/709*e^8 - 32388/709*e^7 - 13346/709*e^6 + 156095/709*e^5 + 63718/709*e^4 - 262805/709*e^3 - 108546/709*e^2 + 118958/709*e + 54888/709, 6718/2127*e^9 - 1837/2127*e^8 - 98716/2127*e^7 + 4622/709*e^6 + 449444/2127*e^5 - 32848/2127*e^4 - 691358/2127*e^3 - 19673/2127*e^2 + 302228/2127*e + 25889/2127, 1345/709*e^9 + 602/709*e^8 - 19730/709*e^7 - 11722/709*e^6 + 88731/709*e^5 + 57486/709*e^4 - 132990/709*e^3 - 84860/709*e^2 + 48292/709*e + 16918/709, 2773/2127*e^9 + 2462/2127*e^8 - 41716/2127*e^7 - 14415/709*e^6 + 193901/2127*e^5 + 213701/2127*e^4 - 296519/2127*e^3 - 343646/2127*e^2 + 76136/2127*e + 138860/2127, -756/709*e^9 - 2361/709*e^8 + 12724/709*e^7 + 33371/709*e^6 - 66772/709*e^5 - 136169/709*e^4 + 131408/709*e^3 + 165698/709*e^2 - 80386/709*e - 48042/709, 2065/2127*e^9 - 5860/2127*e^8 - 21652/2127*e^7 + 24640/709*e^6 + 37094/2127*e^5 - 283639/2127*e^4 + 134578/2127*e^3 + 308563/2127*e^2 - 200851/2127*e - 84901/2127, -7259/2127*e^9 + 1889/2127*e^8 + 111644/2127*e^7 - 5177/709*e^6 - 547258/2127*e^5 + 37505/2127*e^4 + 960724/2127*e^3 + 30433/2127*e^2 - 498640/2127*e - 37192/2127, -7418/2127*e^9 - 2161/2127*e^8 + 107714/2127*e^7 + 14352/709*e^6 - 471067/2127*e^5 - 201265/2127*e^4 + 658969/2127*e^3 + 307597/2127*e^2 - 229240/2127*e - 97078/2127, 5771/2127*e^9 - 20/2127*e^8 - 84653/2127*e^7 - 3986/709*e^6 + 384649/2127*e^5 + 87052/2127*e^4 - 606556/2127*e^3 - 211930/2127*e^2 + 306568/2127*e + 101044/2127, -1243/709*e^9 + 2063/709*e^8 + 17248/709*e^7 - 25929/709*e^6 - 73116/709*e^5 + 98055/709*e^4 + 97254/709*e^3 - 96087/709*e^2 - 43062/709*e + 2022/709, -8335/2127*e^9 + 5236/2127*e^8 + 119629/2127*e^7 - 20107/709*e^6 - 516005/2127*e^5 + 219247/2127*e^4 + 682838/2127*e^3 - 146284/2127*e^2 - 230702/2127*e - 30449/2127, -593/709*e^9 + 306/709*e^8 + 9703/709*e^7 - 3226/709*e^6 - 54101/709*e^5 + 9816/709*e^4 + 119176/709*e^3 + 272/709*e^2 - 81565/709*e - 16802/709, -287/2127*e^9 - 5170/2127*e^8 + 5093/2127*e^7 + 24611/709*e^6 - 25690/2127*e^5 - 307006/2127*e^4 + 60889/2127*e^3 + 352189/2127*e^2 - 53113/2127*e - 50734/2127, 2304/709*e^9 - 1110/709*e^8 - 33376/709*e^7 + 9881/709*e^6 + 149274/709*e^5 - 23137/709*e^4 - 218201/709*e^3 - 9731/709*e^2 + 77932/709*e + 8260/709, 970/2127*e^9 + 3170/2127*e^8 - 15568/2127*e^7 - 14118/709*e^6 + 72716/2127*e^5 + 148997/2127*e^4 - 103370/2127*e^3 - 88013/2127*e^2 - 1840/2127*e - 58720/2127, -2113/709*e^9 - 1650/709*e^8 + 32746/709*e^7 + 27335/709*e^6 - 160468/709*e^5 - 125873/709*e^4 + 283241/709*e^3 + 189018/709*e^2 - 138552/709*e - 79700/709, -8452/2127*e^9 + 490/2127*e^8 + 126730/2127*e^7 + 2651/709*e^6 - 597914/2127*e^5 - 67457/2127*e^4 + 1001090/2127*e^3 + 174692/2127*e^2 - 508832/2127*e - 108227/2127, 1000/2127*e^9 + 242/2127*e^8 - 19843/2127*e^7 + 444/709*e^6 + 124478/2127*e^5 - 26839/2127*e^4 - 274907/2127*e^3 + 58747/2127*e^2 + 139121/2127*e - 16198/2127, -2365/2127*e^9 - 1019/2127*e^8 + 32497/2127*e^7 + 7699/709*e^6 - 137822/2127*e^5 - 119033/2127*e^4 + 208877/2127*e^3 + 180677/2127*e^2 - 83576/2127*e - 85079/2127, -3781/2127*e^9 + 1480/2127*e^8 + 53482/2127*e^7 - 4234/709*e^6 - 228101/2127*e^5 + 32740/2127*e^4 + 307478/2127*e^3 + 15338/2127*e^2 - 99419/2127*e - 49772/2127, -1235/2127*e^9 - 703/2127*e^8 + 23198/2127*e^7 + 3890/709*e^6 - 143542/2127*e^5 - 65536/2127*e^4 + 322207/2127*e^3 + 153622/2127*e^2 - 168826/2127*e - 144604/2127, 202/2127*e^9 + 704/2127*e^8 + 284/2127*e^7 - 3478/709*e^6 - 25963/2127*e^5 + 26726/2127*e^4 + 109273/2127*e^3 + 57976/2127*e^2 - 94936/2127*e - 118666/2127, -2612/2127*e^9 - 1585/2127*e^8 + 41816/2127*e^7 + 9186/709*e^6 - 212899/2127*e^5 - 145753/2127*e^4 + 396259/2127*e^3 + 302437/2127*e^2 - 220288/2127*e - 187594/2127, -1184/709*e^9 - 1852/709*e^8 + 19830/709*e^7 + 28649/709*e^6 - 107020/709*e^5 - 130629/709*e^4 + 215005/709*e^3 + 189705/709*e^2 - 117290/709*e - 64234/709, -1568/709*e^9 - 249/709*e^8 + 22793/709*e^7 + 7032/709*e^6 - 101412/709*e^5 - 36848/709*e^4 + 150812/709*e^3 + 51063/709*e^2 - 61742/709*e + 2926/709, 2710/2127*e^9 - 2875/2127*e^8 - 42310/2127*e^7 + 10874/709*e^6 + 216224/2127*e^5 - 99385/2127*e^4 - 400190/2127*e^3 + 35179/2127*e^2 + 218918/2127*e + 44459/2127, 10294/2127*e^9 + 3929/2127*e^8 - 157372/2127*e^7 - 25423/709*e^6 + 759164/2127*e^5 + 380873/2127*e^4 - 1303868/2127*e^3 - 633032/2127*e^2 + 638396/2127*e + 229637/2127, 2839/2127*e^9 - 2278/2127*e^8 - 40486/2127*e^7 + 8688/709*e^6 + 171224/2127*e^5 - 86782/2127*e^4 - 205535/2127*e^3 + 34528/2127*e^2 + 44654/2127*e + 42680/2127, -2948/2127*e^9 - 6652/2127*e^8 + 47156/2127*e^7 + 34402/709*e^6 - 239188/2127*e^5 - 470572/2127*e^4 + 451669/2127*e^3 + 668740/2127*e^2 - 215287/2127*e - 193348/2127, 2453/2127*e^9 - 338/2127*e^8 - 37238/2127*e^7 - 292/709*e^6 + 174232/2127*e^5 + 38857/2127*e^4 - 272614/2127*e^3 - 178417/2127*e^2 + 121717/2127*e + 117073/2127, -6292/2127*e^9 + 2374/2127*e^8 + 95440/2127*e^7 - 6713/709*e^6 - 461426/2127*e^5 + 44986/2127*e^4 + 787088/2127*e^3 + 17078/2127*e^2 - 360794/2127*e - 20189/2127, -196/709*e^9 - 297/709*e^8 + 2406/709*e^7 + 4424/709*e^6 - 5232/709*e^5 - 20913/709*e^4 - 10572/709*e^3 + 40858/709*e^2 + 11957/709*e - 21436/709, -1331/2127*e^9 + 4838/2127*e^8 + 17735/2127*e^7 - 21722/709*e^6 - 74785/2127*e^5 + 276782/2127*e^4 + 96472/2127*e^3 - 401090/2127*e^2 - 20938/2127*e + 138770/2127, -2222/709*e^9 - 2072/709*e^8 + 34453/709*e^7 + 33948/709*e^6 - 168876/709*e^5 - 155731/709*e^4 + 296114/709*e^3 + 225117/709*e^2 - 134771/709*e - 70134/709, -4162/2127*e^9 + 5059/2127*e^8 + 62044/2127*e^7 - 21422/709*e^6 - 293747/2127*e^5 + 254566/2127*e^4 + 468113/2127*e^3 - 280915/2127*e^2 - 164414/2127*e + 35962/2127, 3496/2127*e^9 - 3442/2127*e^8 - 45838/2127*e^7 + 13367/709*e^6 + 170270/2127*e^5 - 151105/2127*e^4 - 159332/2127*e^3 + 155914/2127*e^2 + 31172/2127*e - 26629/2127, -227/2127*e^9 - 2518/2127*e^8 + 2924/2127*e^7 + 13322/709*e^6 - 13627/2127*e^5 - 186484/2127*e^4 + 34738/2127*e^3 + 277738/2127*e^2 + 9728/2127*e - 123088/2127, -1280/2127*e^9 + 3689/2127*e^8 + 13658/2127*e^7 - 17953/709*e^6 - 14866/2127*e^5 + 245012/2127*e^4 - 146858/2127*e^3 - 328139/2127*e^2 + 173816/2127*e + 76631/2127, 1316/709*e^9 + 880/709*e^8 - 20915/709*e^7 - 14815/709*e^6 + 108460/709*e^5 + 68503/709*e^4 - 215250/709*e^3 - 104071/709*e^2 + 126644/709*e + 49833/709, -524/709*e^9 - 1040/709*e^8 + 8024/709*e^7 + 15575/709*e^6 - 39555/709*e^5 - 60526/709*e^4 + 74816/709*e^3 + 47130/709*e^2 - 35070/709*e - 1529/709, 641/2127*e^9 - 7685/2127*e^8 - 6617/2127*e^7 + 36333/709*e^6 + 17950/2127*e^5 - 469538/2127*e^4 + 11771/2127*e^3 + 611732/2127*e^2 - 26411/2127*e - 129848/2127, 4933/2127*e^9 - 2035/2127*e^8 - 75133/2127*e^7 + 5999/709*e^6 + 366548/2127*e^5 - 39700/2127*e^4 - 638141/2127*e^3 - 41828/2127*e^2 + 336905/2127*e + 48230/2127, -4868/2127*e^9 + 2072/2127*e^8 + 69770/2127*e^7 - 4226/709*e^6 - 314662/2127*e^5 - 7339/2127*e^4 + 490876/2127*e^3 + 135055/2127*e^2 - 194914/2127*e - 98608/2127, -307/709*e^9 + 327/709*e^8 + 4398/709*e^7 - 2085/709*e^6 - 22621/709*e^5 - 1188/709*e^4 + 46918/709*e^3 + 13289/709*e^2 - 20176/709*e - 15272/709, -1526/709*e^9 + 1182/709*e^8 + 21062/709*e^7 - 15186/709*e^6 - 82971/709*e^5 + 68362/709*e^4 + 80253/709*e^3 - 100809/709*e^2 + 5431/709*e + 34664/709, -1998/709*e^9 + 1306/709*e^8 + 28766/709*e^7 - 13648/709*e^6 - 128662/709*e^5 + 44508/709*e^4 + 191110/709*e^3 - 25466/709*e^2 - 60824/709*e - 15250/709, 2903/2127*e^9 - 1718/2127*e^8 - 37553/2127*e^7 + 6856/709*e^6 + 125386/2127*e^5 - 95204/2127*e^4 - 38029/2127*e^3 + 157604/2127*e^2 - 120584/2127*e - 102278/2127, -6952/2127*e^9 + 5107/2127*e^8 + 100156/2127*e^7 - 20080/709*e^6 - 438848/2127*e^5 + 220906/2127*e^4 + 617444/2127*e^3 - 167905/2127*e^2 - 271436/2127*e - 9158/2127, 13238/2127*e^9 - 89/2127*e^8 - 192614/2127*e^7 - 7599/709*e^6 + 854188/2127*e^5 + 142351/2127*e^4 - 1236649/2127*e^3 - 312433/2127*e^2 + 464932/2127*e + 219079/2127, 3203/2127*e^9 + 7288/2127*e^8 - 46271/2127*e^7 - 37536/709*e^6 + 194209/2127*e^5 + 505279/2127*e^4 - 260245/2127*e^3 - 701734/2127*e^2 + 100033/2127*e + 161290/2127, 1116/709*e^9 - 1579/709*e^8 - 15812/709*e^7 + 22212/709*e^6 + 63996/709*e^5 - 98558/709*e^4 - 58598/709*e^3 + 130628/709*e^2 - 10508/709*e - 39381/709, 7999/2127*e^9 - 6049/2127*e^8 - 118543/2127*e^7 + 22635/709*e^6 + 553526/2127*e^5 - 218635/2127*e^4 - 884795/2127*e^3 + 53155/2127*e^2 + 390974/2127*e + 169331/2127, -3226/2127*e^9 + 4741/2127*e^8 + 45649/2127*e^7 - 19855/709*e^6 - 202130/2127*e^5 + 238276/2127*e^4 + 287321/2127*e^3 - 306958/2127*e^2 - 51485/2127*e + 94531/2127, 1575/709*e^9 - 1994/709*e^8 - 20600/709*e^7 + 24006/709*e^6 + 74353/709*e^5 - 90962/709*e^4 - 48541/709*e^3 + 97330/709*e^2 - 27386/709*e - 24342/709, -1038/709*e^9 - 929/709*e^8 + 16041/709*e^7 + 13807/709*e^6 - 76745/709*e^5 - 54880/709*e^4 + 130030/709*e^3 + 67317/709*e^2 - 64984/709*e - 44895/709, -97/709*e^9 + 392/709*e^8 + 1415/709*e^7 - 5407/709*e^6 - 9115/709*e^5 + 21472/709*e^4 + 33734/709*e^3 - 15092/709*e^2 - 53700/709*e - 4054/709] hecke_eigenvalues = {} for i in range(len(hecke_eigenvalues_array)): hecke_eigenvalues[primes[i]] = hecke_eigenvalues_array[i] AL_eigenvalues = {} AL_eigenvalues[ZF.ideal([13, 13, w^2 - w - 7])] = 1 # EXAMPLE: # pp = ZF.ideal(2).factor()[0][0] # hecke_eigenvalues[pp]