/* 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([1, -5, 2, 8, -4, -2, 1]) F. = NumberField(g) ZF = F.ring_of_integers() NN = ZF.ideal([61, 61, -w^5 + w^4 + 5*w^3 - 3*w^2 - 7*w + 1]) primes_array = [ [9, 3, -w^2 + 2],\ [19, 19, -w^3 + 4*w],\ [19, 19, w^3 - 3*w - 1],\ [29, 29, w^5 - w^4 - 6*w^3 + 4*w^2 + 8*w - 3],\ [29, 29, w^4 - w^3 - 4*w^2 + 2*w + 2],\ [31, 31, -w^4 + 4*w^2 + w - 3],\ [41, 41, 2*w^5 - 2*w^4 - 10*w^3 + 7*w^2 + 11*w - 4],\ [49, 7, -2*w^5 + 3*w^4 + 10*w^3 - 12*w^2 - 11*w + 6],\ [59, 59, w^5 - 2*w^4 - 5*w^3 + 8*w^2 + 7*w - 5],\ [59, 59, w^5 - w^4 - 4*w^3 + 3*w^2 + 3*w - 3],\ [59, 59, 2*w^5 - 3*w^4 - 9*w^3 + 11*w^2 + 9*w - 4],\ [61, 61, -w^5 + w^4 + 5*w^3 - 3*w^2 - 7*w + 1],\ [64, 2, -2],\ [71, 71, -2*w^5 + 2*w^4 + 10*w^3 - 8*w^2 - 11*w + 6],\ [79, 79, -3*w^5 + 4*w^4 + 13*w^3 - 14*w^2 - 9*w + 5],\ [79, 79, -w^4 - w^3 + 5*w^2 + 4*w - 3],\ [79, 79, -2*w^5 + 2*w^4 + 9*w^3 - 7*w^2 - 8*w + 4],\ [81, 3, 3*w^5 - 5*w^4 - 14*w^3 + 19*w^2 + 13*w - 8],\ [89, 89, 2*w^5 - 2*w^4 - 9*w^3 + 6*w^2 + 8*w - 1],\ [101, 101, -w^4 - w^3 + 5*w^2 + 3*w - 3],\ [101, 101, -w^5 + 2*w^4 + 6*w^3 - 8*w^2 - 9*w + 4],\ [109, 109, -2*w^5 + 4*w^4 + 8*w^3 - 14*w^2 - 6*w + 5],\ [109, 109, -3*w^5 + 4*w^4 + 13*w^3 - 14*w^2 - 10*w + 7],\ [125, 5, w^5 - w^4 - 5*w^3 + 4*w^2 + 5*w],\ [131, 131, -w^2 - w + 3],\ [131, 131, w^5 - 3*w^4 - 4*w^3 + 11*w^2 + 3*w - 4],\ [131, 131, w^5 - 2*w^4 - 5*w^3 + 9*w^2 + 6*w - 5],\ [131, 131, -2*w^5 + 4*w^4 + 8*w^3 - 15*w^2 - 6*w + 7],\ [139, 139, w^4 - 3*w^3 - 3*w^2 + 9*w],\ [149, 149, 2*w^5 - 3*w^4 - 9*w^3 + 12*w^2 + 7*w - 5],\ [149, 149, w^5 - 2*w^4 - 4*w^3 + 8*w^2 + 2*w - 2],\ [151, 151, 3*w^5 - 4*w^4 - 13*w^3 + 14*w^2 + 10*w - 5],\ [151, 151, -3*w^5 + 4*w^4 + 14*w^3 - 15*w^2 - 12*w + 6],\ [151, 151, 4*w^5 - 5*w^4 - 18*w^3 + 18*w^2 + 15*w - 9],\ [151, 151, 2*w^5 - 2*w^4 - 9*w^3 + 7*w^2 + 8*w - 5],\ [169, 13, -2*w^5 + w^4 + 11*w^3 - 3*w^2 - 13*w + 1],\ [179, 179, w^3 - w^2 - 2*w + 3],\ [181, 181, w^5 - 2*w^4 - 6*w^3 + 7*w^2 + 10*w - 3],\ [181, 181, -2*w^4 + w^3 + 8*w^2 - 3*w - 2],\ [191, 191, w^5 - w^4 - 6*w^3 + 5*w^2 + 9*w - 4],\ [191, 191, -w^3 + 2*w^2 + 3*w - 4],\ [191, 191, -2*w^5 + w^4 + 11*w^3 - 3*w^2 - 12*w],\ [191, 191, w^4 - 2*w^3 - 4*w^2 + 7*w],\ [199, 199, -3*w^5 + 4*w^4 + 15*w^3 - 14*w^2 - 16*w + 6],\ [199, 199, -2*w^5 + 3*w^4 + 10*w^3 - 12*w^2 - 12*w + 7],\ [211, 211, -2*w^5 + 4*w^4 + 9*w^3 - 15*w^2 - 8*w + 5],\ [211, 211, -3*w^5 + 5*w^4 + 13*w^3 - 18*w^2 - 10*w + 8],\ [229, 229, -3*w^5 + 4*w^4 + 13*w^3 - 14*w^2 - 10*w + 6],\ [229, 229, w^4 - 4*w^2 - 1],\ [229, 229, w^5 - w^4 - 3*w^3 + 3*w^2 - 3*w - 2],\ [239, 239, -2*w^5 + 3*w^4 + 9*w^3 - 11*w^2 - 8*w + 8],\ [241, 241, w^5 - 3*w^4 - 4*w^3 + 10*w^2 + 3*w - 2],\ [241, 241, w^5 - w^4 - 5*w^3 + 3*w^2 + 4*w + 1],\ [251, 251, -3*w^5 + 3*w^4 + 15*w^3 - 10*w^2 - 17*w + 3],\ [271, 271, -2*w^5 + 4*w^4 + 9*w^3 - 14*w^2 - 8*w + 2],\ [271, 271, -2*w^5 + 3*w^4 + 8*w^3 - 9*w^2 - 4*w],\ [271, 271, w^5 - 2*w^4 - 3*w^3 + 7*w^2 - 2*w - 4],\ [289, 17, 4*w^5 - 6*w^4 - 17*w^3 + 22*w^2 + 12*w - 9],\ [311, 311, -2*w^5 + 3*w^4 + 7*w^3 - 9*w^2 - 3*w + 2],\ [331, 331, 3*w^5 - 5*w^4 - 14*w^3 + 19*w^2 + 14*w - 12],\ [349, 349, -4*w^5 + 6*w^4 + 18*w^3 - 21*w^2 - 17*w + 7],\ [349, 349, -w^4 + w^3 + 5*w^2 - 3*w - 3],\ [359, 359, -2*w^5 + 4*w^4 + 9*w^3 - 15*w^2 - 10*w + 9],\ [361, 19, 2*w^5 - 3*w^4 - 9*w^3 + 11*w^2 + 6*w - 4],\ [361, 19, -3*w^5 + 5*w^4 + 13*w^3 - 18*w^2 - 10*w + 9],\ [379, 379, -4*w^5 + 5*w^4 + 18*w^3 - 17*w^2 - 14*w + 7],\ [379, 379, 2*w^5 - 4*w^4 - 10*w^3 + 15*w^2 + 11*w - 5],\ [389, 389, -5*w^5 + 7*w^4 + 22*w^3 - 25*w^2 - 17*w + 11],\ [389, 389, w^5 - 3*w^4 - 3*w^3 + 12*w^2 - 2*w - 5],\ [401, 401, -4*w^5 + 6*w^4 + 18*w^3 - 23*w^2 - 15*w + 10],\ [401, 401, -w^5 + 3*w^4 + 4*w^3 - 12*w^2 - w + 4],\ [401, 401, 4*w^5 - 5*w^4 - 20*w^3 + 19*w^2 + 21*w - 11],\ [401, 401, -3*w^5 + 3*w^4 + 16*w^3 - 12*w^2 - 18*w + 6],\ [409, 409, -2*w^4 + 2*w^3 + 7*w^2 - 6*w - 2],\ [409, 409, -w^5 + 3*w^4 + 5*w^3 - 13*w^2 - 5*w + 9],\ [419, 419, 2*w^5 - 2*w^4 - 10*w^3 + 7*w^2 + 10*w - 6],\ [419, 419, -w^5 + 7*w^3 - w^2 - 10*w + 4],\ [419, 419, w^5 - 2*w^4 - 5*w^3 + 10*w^2 + 5*w - 9],\ [421, 421, 3*w^5 - 3*w^4 - 16*w^3 + 12*w^2 + 18*w - 7],\ [431, 431, 4*w^5 - 7*w^4 - 17*w^3 + 25*w^2 + 13*w - 10],\ [431, 431, -2*w^5 + 3*w^4 + 7*w^3 - 10*w^2 - w + 5],\ [431, 431, 4*w^5 - 6*w^4 - 19*w^3 + 23*w^2 + 17*w - 10],\ [439, 439, -2*w^5 + 4*w^4 + 10*w^3 - 15*w^2 - 11*w + 4],\ [461, 461, w^5 - 2*w^4 - 3*w^3 + 6*w^2 + 2],\ [461, 461, w^5 - w^4 - 5*w^3 + 5*w^2 + 6*w - 7],\ [479, 479, -2*w^5 + w^4 + 9*w^3 - 2*w^2 - 8*w],\ [479, 479, 2*w^5 - 2*w^4 - 10*w^3 + 8*w^2 + 12*w - 7],\ [491, 491, -3*w^5 + 3*w^4 + 14*w^3 - 12*w^2 - 12*w + 7],\ [491, 491, -3*w^5 + 3*w^4 + 15*w^3 - 12*w^2 - 14*w + 8],\ [491, 491, -2*w^2 + w + 6],\ [499, 499, -3*w^5 + 3*w^4 + 14*w^3 - 10*w^2 - 13*w + 6],\ [509, 509, -2*w^5 + 2*w^4 + 8*w^3 - 6*w^2 - 5*w],\ [521, 521, 3*w^5 - 4*w^4 - 14*w^3 + 15*w^2 + 15*w - 9],\ [521, 521, -3*w^5 + 5*w^4 + 14*w^3 - 19*w^2 - 15*w + 9],\ [521, 521, -4*w^5 + 5*w^4 + 18*w^3 - 17*w^2 - 16*w + 6],\ [529, 23, w^5 - 3*w^4 - 5*w^3 + 11*w^2 + 7*w - 5],\ [541, 541, -3*w^5 + 4*w^4 + 14*w^3 - 15*w^2 - 14*w + 10],\ [569, 569, -w^5 - w^4 + 6*w^3 + 4*w^2 - 6*w - 1],\ [571, 571, -2*w^4 + w^3 + 9*w^2 - 3*w - 4],\ [599, 599, -3*w^5 + 3*w^4 + 14*w^3 - 11*w^2 - 11*w + 4],\ [601, 601, w^4 - 2*w^2 - w - 2],\ [619, 619, 2*w^5 - 3*w^4 - 9*w^3 + 11*w^2 + 10*w - 5],\ [619, 619, w^5 - 3*w^4 - 4*w^3 + 12*w^2 + 3*w - 3],\ [619, 619, -3*w^5 + 5*w^4 + 13*w^3 - 20*w^2 - 10*w + 10],\ [619, 619, w^5 - 2*w^4 - 5*w^3 + 10*w^2 + 5*w - 8],\ [619, 619, -4*w^5 + 6*w^4 + 19*w^3 - 23*w^2 - 17*w + 11],\ [619, 619, -4*w^5 + 6*w^4 + 17*w^3 - 22*w^2 - 13*w + 10],\ [631, 631, w^5 - 3*w^4 - 5*w^3 + 13*w^2 + 5*w - 6],\ [641, 641, -w^3 + w^2 + 3*w - 5],\ [641, 641, -w^5 + 3*w^4 + 2*w^3 - 10*w^2 + 3*w + 4],\ [659, 659, -w^5 + 3*w^4 + 5*w^3 - 12*w^2 - 5*w + 5],\ [661, 661, -2*w^5 + 3*w^4 + 8*w^3 - 12*w^2 - 3*w + 8],\ [661, 661, 2*w^5 - 3*w^4 - 8*w^3 + 10*w^2 + 6*w - 1],\ [691, 691, -w^3 - w^2 + 5*w + 1],\ [691, 691, -3*w^5 + 4*w^4 + 13*w^3 - 13*w^2 - 10*w + 6],\ [691, 691, 3*w^5 - 4*w^4 - 15*w^3 + 15*w^2 + 14*w - 6],\ [701, 701, 3*w^5 - 6*w^4 - 13*w^3 + 23*w^2 + 10*w - 10],\ [701, 701, -3*w^5 + 6*w^4 + 13*w^3 - 23*w^2 - 11*w + 9],\ [709, 709, 3*w^5 - 6*w^4 - 13*w^3 + 22*w^2 + 11*w - 10],\ [709, 709, -w^5 + 5*w^3 - 4*w - 2],\ [709, 709, -w^5 + w^4 + 7*w^3 - 6*w^2 - 11*w + 5],\ [719, 719, -2*w^5 + 3*w^4 + 9*w^3 - 12*w^2 - 7*w + 4],\ [751, 751, w^4 + w^3 - 5*w^2 - 6*w + 4],\ [769, 769, 4*w^5 - 5*w^4 - 19*w^3 + 18*w^2 + 18*w - 10],\ [769, 769, 4*w^5 - 6*w^4 - 17*w^3 + 22*w^2 + 13*w - 11],\ [809, 809, w^5 - w^4 - 4*w^3 + 5*w^2 + w - 7],\ [809, 809, 2*w^5 - 5*w^4 - 9*w^3 + 19*w^2 + 10*w - 7],\ [809, 809, -w^5 + 5*w^3 + w^2 - 7*w],\ [809, 809, -3*w^5 + 4*w^4 + 15*w^3 - 16*w^2 - 15*w + 11],\ [811, 811, -2*w^5 + 4*w^4 + 8*w^3 - 13*w^2 - 6*w + 5],\ [811, 811, -w^5 + 3*w^4 + 3*w^3 - 9*w^2 - w],\ [811, 811, 2*w^5 - 4*w^4 - 9*w^3 + 16*w^2 + 10*w - 9],\ [811, 811, 2*w^5 - 4*w^4 - 10*w^3 + 16*w^2 + 10*w - 7],\ [821, 821, -w^5 + 2*w^4 + 5*w^3 - 6*w^2 - 5*w - 2],\ [829, 829, 3*w^5 - 5*w^4 - 13*w^3 + 19*w^2 + 12*w - 9],\ [839, 839, 2*w^5 - 4*w^4 - 7*w^3 + 14*w^2 + w - 6],\ [839, 839, 4*w^5 - 5*w^4 - 18*w^3 + 19*w^2 + 14*w - 10],\ [841, 29, -2*w^5 + 4*w^4 + 10*w^3 - 15*w^2 - 10*w + 5],\ [841, 29, -w^5 + 3*w^4 + 6*w^3 - 12*w^2 - 10*w + 6],\ [859, 859, 3*w^5 - 3*w^4 - 15*w^3 + 10*w^2 + 14*w - 2],\ [881, 881, w^5 - 2*w^4 - 6*w^3 + 7*w^2 + 10*w - 4],\ [911, 911, -4*w^5 + 5*w^4 + 19*w^3 - 20*w^2 - 17*w + 11],\ [919, 919, 2*w^5 - 3*w^4 - 10*w^3 + 13*w^2 + 9*w - 10],\ [929, 929, -w^5 + w^4 + 5*w^3 - 2*w^2 - 8*w - 1],\ [941, 941, -5*w^5 + 7*w^4 + 23*w^3 - 26*w^2 - 20*w + 11],\ [961, 31, -3*w^5 + 4*w^4 + 16*w^3 - 16*w^2 - 20*w + 8],\ [971, 971, w^5 - 5*w^3 + 5*w - 4],\ [991, 991, 3*w^5 - 5*w^4 - 12*w^3 + 18*w^2 + 8*w - 6],\ [991, 991, 3*w^5 - 5*w^4 - 14*w^3 + 18*w^2 + 12*w - 7]] primes = [ZF.ideal(I) for I in primes_array] heckePol = x^8 - 6*x^7 - 32*x^6 + 246*x^5 - 117*x^4 - 1204*x^3 + 1284*x^2 - 368*x + 16 K. = NumberField(heckePol) hecke_eigenvalues_array = [e, -5/15438*e^7 - 793/30876*e^6 + 730/7719*e^5 + 7621/7719*e^4 - 53185/15438*e^3 - 122719/30876*e^2 + 99404/7719*e - 40151/7719, -2093/30876*e^7 + 6167/15438*e^6 + 35413/15438*e^5 - 255611/15438*e^4 + 90983/30876*e^3 + 674998/7719*e^2 - 459044/7719*e + 54104/7719, -33/20584*e^7 + 91/2573*e^6 - 82/2573*e^5 - 14541/10292*e^4 + 76097/20584*e^3 + 70123/10292*e^2 - 47484/2573*e + 14929/2573, 1823/15438*e^7 - 5294/7719*e^6 - 61457/15438*e^5 + 219443/7719*e^4 - 41893/7719*e^3 - 1150283/7719*e^2 + 805414/7719*e - 68728/7719, 4/93*e^7 - 89/372*e^6 - 145/93*e^5 + 938/93*e^4 + 233/93*e^3 - 21623/372*e^2 + 1174/93*e + 890/93, -1685/15438*e^7 + 9181/15438*e^6 + 29878/7719*e^5 - 382531/15438*e^4 - 46141/15438*e^3 + 1025222/7719*e^2 - 394981/7719*e - 30356/7719, 470/2573*e^7 - 5221/5146*e^6 - 16309/2573*e^5 + 108479/2573*e^4 - 2522/2573*e^3 - 1146731/5146*e^2 + 321372/2573*e - 11086/2573, -19927/61752*e^7 + 54739/30876*e^6 + 173317/15438*e^5 - 2275549/30876*e^4 + 15679/61752*e^3 + 2998978/7719*e^2 - 3338779/15438*e + 104633/7719, 97/1992*e^7 - 125/498*e^6 - 428/249*e^5 + 10417/996*e^4 + 2423/1992*e^3 - 54541/996*e^2 + 6080/249*e + 973/249, 16/249*e^7 - 353/996*e^6 - 1127/498*e^5 + 3665/249*e^4 + 499/498*e^3 - 77483/996*e^2 + 8824/249*e - 151/249, -1, -2567/7719*e^7 + 54907/30876*e^6 + 179179/15438*e^5 - 1141427/15438*e^4 - 10795/7719*e^3 + 11913679/30876*e^2 - 3478801/15438*e + 140618/7719, -3043/10292*e^7 + 8381/5146*e^6 + 26591/2573*e^5 - 174424/2573*e^4 - 15489/10292*e^3 + 1859429/5146*e^2 - 486877/2573*e + 4058/2573, 3547/30876*e^7 - 4748/7719*e^6 - 62441/15438*e^5 + 395263/15438*e^4 + 60719/30876*e^3 - 2090197/15438*e^2 + 512791/7719*e + 20846/7719, 20321/61752*e^7 - 53783/30876*e^6 - 89461/7719*e^5 + 2240045/30876*e^4 + 346675/61752*e^3 - 2949776/7719*e^2 + 3115031/15438*e - 49279/7719, 3547/30876*e^7 - 4748/7719*e^6 - 62441/15438*e^5 + 395263/15438*e^4 + 60719/30876*e^3 - 2090197/15438*e^2 + 512791/7719*e + 20846/7719, -344/7719*e^7 + 2053/7719*e^6 + 23359/15438*e^5 - 170543/15438*e^4 + 22513/15438*e^3 + 910817/15438*e^2 - 220841/7719*e + 5114/7719, 4643/15438*e^7 - 26251/15438*e^6 - 159311/15438*e^5 + 544880/7719*e^4 - 49459/7719*e^3 - 5740759/15438*e^2 + 1777249/7719*e - 101986/7719, 7745/61752*e^7 - 11449/15438*e^6 - 31825/7719*e^5 + 946859/30876*e^4 - 626561/61752*e^3 - 4891007/30876*e^2 + 1050238/7719*e - 123025/7719, 1742/7719*e^7 - 38713/30876*e^6 - 60962/7719*e^5 + 403291/7719*e^4 + 11773/7719*e^3 - 8675095/30876*e^2 + 1076996/7719*e + 40612/7719, 32/249*e^7 - 353/498*e^6 - 1127/249*e^5 + 7330/249*e^4 + 499/249*e^3 - 77483/498*e^2 + 17399/249*e - 302/249, -1621/30876*e^7 + 8081/30876*e^6 + 28253/15438*e^5 - 83813/7719*e^4 - 13769/30876*e^3 + 1682627/30876*e^2 - 263242/7719*e - 17570/7719, 2495/30876*e^7 - 14419/30876*e^6 - 20036/7719*e^5 + 147955/7719*e^4 - 276491/30876*e^3 - 2885929/30876*e^2 + 825782/7719*e - 105794/7719, 4441/61752*e^7 - 2968/7719*e^6 - 19295/7719*e^5 + 493063/30876*e^4 - 16801/61752*e^3 - 2569129/30876*e^2 + 434402/7719*e - 18827/7719, 865/30876*e^7 - 1184/7719*e^6 - 9112/7719*e^5 + 101863/15438*e^4 + 262403/30876*e^3 - 684277/15438*e^2 - 308240/7719*e + 165470/7719, 6681/20584*e^7 - 18257/10292*e^6 - 29011/2573*e^5 + 758245/10292*e^4 - 15901/20584*e^3 - 1983353/5146*e^2 + 1118631/5146*e - 34957/2573, 352/2573*e^7 - 4381/5146*e^6 - 22885/5146*e^5 + 180433/5146*e^4 - 68453/5146*e^3 - 465042/2573*e^2 + 382870/2573*e - 37186/2573, -479/7719*e^7 + 2926/7719*e^6 + 16364/7719*e^5 - 242879/15438*e^4 + 14855/7719*e^3 + 1310243/15438*e^2 - 348953/7719*e + 106346/7719, -1355/61752*e^7 + 2237/30876*e^6 + 7003/7719*e^5 - 96029/30876*e^4 - 379993/61752*e^3 + 257197/15438*e^2 + 215719/15438*e + 2647/7719, 737/15438*e^7 - 1268/7719*e^6 - 14974/7719*e^5 + 54584/7719*e^4 + 182221/15438*e^3 - 301022/7719*e^2 - 145061/7719*e + 78062/7719, -8125/30876*e^7 + 23269/15438*e^6 + 68233/7719*e^5 - 481013/7719*e^4 + 413125/30876*e^3 + 4944517/15438*e^2 - 1889302/7719*e + 233236/7719, 865/15438*e^7 - 2368/7719*e^6 - 28729/15438*e^5 + 196007/15438*e^4 - 27038/7719*e^3 - 990323/15438*e^2 + 448742/7719*e - 24134/7719, 1999/5146*e^7 - 5520/2573*e^6 - 34554/2573*e^5 + 457621/5146*e^4 - 20493/5146*e^3 - 2378707/5146*e^2 + 719735/2573*e - 76738/2573, 4895/30876*e^7 - 24793/30876*e^6 - 89431/15438*e^5 + 520487/15438*e^4 + 350815/30876*e^3 - 5698789/30876*e^2 + 403706/7719*e + 97828/7719, -1321/61752*e^7 + 4357/30876*e^6 + 5762/7719*e^5 - 184903/30876*e^4 + 12541/61752*e^3 + 289399/7719*e^2 - 227233/15438*e - 108949/7719, -9167/15438*e^7 + 25952/7719*e^6 + 157375/7719*e^5 - 1076621/7719*e^4 + 182285/15438*e^3 + 5653109/7719*e^2 - 3390025/7719*e + 278056/7719, -1717/7719*e^7 + 9731/7719*e^6 + 115043/15438*e^5 - 402311/7719*e^4 + 191825/15438*e^3 + 2060675/7719*e^2 - 1739119/7719*e + 175642/7719, -28043/61752*e^7 + 77207/30876*e^6 + 240893/15438*e^5 - 3203435/30876*e^4 + 509099/61752*e^3 + 8314693/15438*e^2 - 5453399/15438*e + 316123/7719, 925/5146*e^7 - 2562/2573*e^6 - 30811/5146*e^5 + 105612/2573*e^4 - 29553/2573*e^3 - 524533/2573*e^2 + 511518/2573*e - 82652/2573, 103/5146*e^7 - 323/5146*e^6 - 2173/2573*e^5 + 13815/5146*e^4 + 30389/5146*e^3 - 35562/2573*e^2 - 20713/2573*e - 12202/2573, 10441/20584*e^7 - 28699/10292*e^6 - 45320/2573*e^5 + 1192161/10292*e^4 - 36077/20584*e^3 - 1565042/2573*e^2 + 1766521/5146*e - 46043/2573, -2143/15438*e^7 + 24457/30876*e^6 + 77707/15438*e^5 - 256591/7719*e^4 - 62194/7719*e^3 + 5863255/30876*e^2 - 255965/7719*e - 146641/7719, -19907/30876*e^7 + 27766/7719*e^6 + 171857/7719*e^5 - 2306033/15438*e^4 + 228419/30876*e^3 + 12134069/15438*e^2 - 3514430/7719*e + 212378/7719, 455/1992*e^7 - 1319/996*e^6 - 3833/498*e^5 + 54485/996*e^4 - 21143/1992*e^3 - 70154/249*e^2 + 99803/498*e - 6433/249, 29/15438*e^7 - 8/7719*e^6 - 749/15438*e^5 - 407/15438*e^4 - 4003/7719*e^3 + 47897/15438*e^2 + 23995/7719*e - 238/7719, -42013/61752*e^7 + 28450/7719*e^6 + 365299/15438*e^5 - 4727725/30876*e^4 + 53257/61752*e^3 + 24692155/30876*e^2 - 3655550/7719*e + 294479/7719, 265/10292*e^7 - 214/2573*e^6 - 5241/5146*e^5 + 18059/5146*e^4 + 50257/10292*e^3 - 89521/5146*e^2 + 18557/2573*e + 25796/2573, -722/7719*e^7 + 7451/15438*e^6 + 25568/7719*e^5 - 154894/7719*e^4 - 22666/7719*e^3 + 1587683/15438*e^2 - 314021/7719*e + 100220/7719, 3247/15438*e^7 - 19625/15438*e^6 - 106753/15438*e^5 + 404821/7719*e^4 - 133316/7719*e^3 - 4180001/15438*e^2 + 1725464/7719*e - 206048/7719, 1847/10292*e^7 - 4857/5146*e^6 - 16473/2573*e^5 + 202417/5146*e^4 + 66009/10292*e^3 - 535731/2573*e^2 + 236696/2573*e - 6958/2573, 12085/30876*e^7 - 64427/30876*e^6 - 212891/15438*e^5 + 1340683/15438*e^4 + 227489/30876*e^3 - 14113427/30876*e^2 + 1706962/7719*e - 64762/7719, -3731/10292*e^7 + 5217/2573*e^6 + 63575/5146*e^5 - 432833/5146*e^4 + 112517/10292*e^3 + 2251799/5146*e^2 - 778694/2573*e + 81232/2573, -27349/61752*e^7 + 18655/7719*e^6 + 236545/15438*e^5 - 3094117/30876*e^4 + 233929/61752*e^3 + 16011643/30876*e^2 - 2465495/7719*e + 240437/7719, 9901/30876*e^7 - 26953/15438*e^6 - 171911/15438*e^5 + 558626/7719*e^4 - 31975/30876*e^3 - 5770687/15438*e^2 + 1707880/7719*e - 253300/7719, -1955/10292*e^7 + 10927/10292*e^6 + 16638/2573*e^5 - 226147/5146*e^4 + 61403/10292*e^3 + 2328939/10292*e^2 - 401775/2573*e + 12281/2573, -5189/10292*e^7 + 14119/5146*e^6 + 91187/5146*e^5 - 294258/2573*e^4 - 71441/10292*e^3 + 3151683/5146*e^2 - 772610/2573*e - 33450/2573, 6809/10292*e^7 - 36141/10292*e^6 - 59647/2573*e^5 + 751491/5146*e^4 + 69427/10292*e^3 - 7843113/10292*e^2 + 1097767/2573*e - 79844/2573, -2353/7719*e^7 + 51773/30876*e^6 + 162269/15438*e^5 - 536852/7719*e^4 + 61745/15438*e^3 + 11136335/30876*e^2 - 1741273/7719*e + 270724/7719, 13471/30876*e^7 - 35923/15438*e^6 - 118855/7719*e^5 + 747992/7719*e^4 + 257957/30876*e^3 - 7921609/15438*e^2 + 2036812/7719*e - 37444/7719, 507/5146*e^7 - 1382/2573*e^6 - 16821/5146*e^5 + 113017/5146*e^4 - 16749/2573*e^3 - 532529/5146*e^2 + 272128/2573*e - 65558/2573, 1429/10292*e^7 - 3677/5146*e^6 - 25951/5146*e^5 + 77300/2573*e^4 + 91617/10292*e^3 - 853075/5146*e^2 + 117001/2573*e + 29892/2573, 213/10292*e^7 - 473/2573*e^6 - 2795/5146*e^5 + 38653/5146*e^4 - 80895/10292*e^3 - 208411/5146*e^2 + 135099/2573*e + 13588/2573, -247/996*e^7 + 326/249*e^6 + 4439/498*e^5 - 27301/498*e^4 - 11843/996*e^3 + 148699/498*e^2 - 24313/249*e - 4370/249, 2660/7719*e^7 - 59371/30876*e^6 - 89729/7719*e^5 + 613726/7719*e^4 - 119219/7719*e^3 - 12498649/30876*e^2 + 2508557/7719*e - 281885/7719, -7631/10292*e^7 + 20471/5146*e^6 + 133813/5146*e^5 - 425741/2573*e^4 - 80279/10292*e^3 + 4476139/5146*e^2 - 1213362/2573*e + 61036/2573, -7025/15438*e^7 + 74561/30876*e^6 + 122527/7719*e^5 - 1549015/15438*e^4 - 20443/15438*e^3 + 16077785/30876*e^2 - 2482765/7719*e + 152677/7719, -3316/7719*e^7 + 73595/30876*e^6 + 230645/15438*e^5 - 764489/7719*e^4 + 14795/15438*e^3 + 16162745/30876*e^2 - 2217214/7719*e + 163825/7719, -2061/10292*e^7 + 2946/2573*e^6 + 35887/5146*e^5 - 245721/5146*e^4 - 897/10292*e^3 + 1330729/5146*e^2 - 312453/2573*e + 52908/2573, -6661/10292*e^7 + 9525/2573*e^6 + 56562/2573*e^5 - 788729/5146*e^4 + 238933/10292*e^3 + 4099717/5146*e^2 - 1392056/2573*e + 150216/2573, -4319/7719*e^7 + 22612/7719*e^6 + 306943/15438*e^5 - 1887041/15438*e^4 - 265595/15438*e^3 + 10033511/15438*e^2 - 2299136/7719*e - 76036/7719, -1008/2573*e^7 + 11493/5146*e^6 + 34463/2573*e^5 - 476813/5146*e^4 + 25325/2573*e^3 + 1252416/2573*e^2 - 755361/2573*e + 68360/2573, -995/7719*e^7 + 12011/15438*e^6 + 63907/15438*e^5 - 247417/7719*e^4 + 221719/15438*e^3 + 2502791/15438*e^2 - 1216685/7719*e + 198926/7719, 10325/15438*e^7 - 28667/7719*e^6 - 351845/15438*e^5 + 2373085/15438*e^4 - 157693/7719*e^3 - 12184459/15438*e^2 + 4355623/7719*e - 461104/7719, -24403/61752*e^7 + 67153/30876*e^6 + 206743/15438*e^5 - 2777017/30876*e^4 + 941539/61752*e^3 + 7062251/15438*e^2 - 5619601/15438*e + 259679/7719, -4840/7719*e^7 + 108899/30876*e^6 + 333323/15438*e^5 - 1131446/7719*e^4 + 151961/15438*e^3 + 23958893/30876*e^2 - 3531547/7719*e + 167812/7719, 5501/30876*e^7 - 16157/15438*e^6 - 46499/7719*e^5 + 668219/15438*e^4 - 227453/30876*e^3 - 1729912/7719*e^2 + 1099985/7719*e - 289544/7719, -17407/30876*e^7 + 46591/15438*e^6 + 151456/7719*e^5 - 1932835/15438*e^4 - 10325/30876*e^3 + 4983626/7719*e^2 - 2969920/7719*e + 338932/7719, 11723/15438*e^7 - 126059/30876*e^6 - 206353/7719*e^5 + 2625493/15438*e^4 + 190081/15438*e^3 - 27868979/30876*e^2 + 3490768/7719*e - 52291/7719, 12733/30876*e^7 - 71705/30876*e^6 - 214871/15438*e^5 + 1483063/15438*e^4 - 567859/30876*e^3 - 15198641/30876*e^2 + 2952163/7719*e - 444055/7719, -839/996*e^7 + 1189/249*e^6 + 7214/249*e^5 - 49357/249*e^4 + 15155/996*e^3 + 260641/249*e^2 - 154988/249*e + 9290/249, -6031/30876*e^7 + 7220/7719*e^6 + 54313/7719*e^5 - 601417/15438*e^4 - 315617/30876*e^3 + 3075379/15438*e^2 - 756295/7719*e + 37258/7719, -609/2573*e^7 + 2909/2573*e^6 + 44323/5146*e^5 - 242779/5146*e^4 - 83147/5146*e^3 + 1258609/5146*e^2 - 233317/2573*e - 26026/2573, 4624/7719*e^7 - 25442/7719*e^6 - 161482/7719*e^5 + 1059683/7719*e^4 + 23177/7719*e^3 - 5650499/7719*e^2 + 2885041/7719*e - 42892/7719, 20911/30876*e^7 - 28703/7719*e^6 - 359075/15438*e^5 + 1191416/7719*e^4 - 401785/30876*e^3 - 6194804/7719*e^2 + 4158700/7719*e - 330952/7719, -64381/61752*e^7 + 87401/15438*e^6 + 562429/15438*e^5 - 7271881/30876*e^4 - 376967/61752*e^3 + 38368201/30876*e^2 - 5174885/7719*e + 187589/7719, -7547/15438*e^7 + 20714/7719*e^6 + 266255/15438*e^5 - 1726945/15438*e^4 - 73250/7719*e^3 + 9303331/15438*e^2 - 2019271/7719*e - 174956/7719, 15271/30876*e^7 - 41743/15438*e^6 - 134470/7719*e^5 + 1739677/15438*e^4 + 261437/30876*e^3 - 4663823/7719*e^2 + 2113924/7719*e - 35248/7719, -1346/7719*e^7 + 13463/15438*e^6 + 99073/15438*e^5 - 564035/15438*e^4 - 221165/15438*e^3 + 1525957/7719*e^2 - 393470/7719*e + 23690/7719, 1273/7719*e^7 - 7889/7719*e^6 - 87317/15438*e^5 + 657115/15438*e^4 - 65921/15438*e^3 - 3642535/15438*e^2 + 855319/7719*e + 45116/7719, 26/249*e^7 - 209/498*e^6 - 1987/498*e^5 + 8861/498*e^4 + 7565/498*e^3 - 23455/249*e^2 + 4130/249*e + 346/249, 17389/61752*e^7 - 13177/7719*e^6 - 142423/15438*e^5 + 2173315/30876*e^4 - 1508809/61752*e^3 - 11143693/30876*e^2 + 2374112/7719*e - 397805/7719, 2833/5146*e^7 - 7702/2573*e^6 - 99077/5146*e^5 + 640577/5146*e^4 + 8828/2573*e^3 - 3373029/5146*e^2 + 910991/2573*e - 58030/2573, 12907/15438*e^7 - 135883/30876*e^6 - 457393/15438*e^5 + 2832461/15438*e^4 + 166771/7719*e^3 - 30061807/30876*e^2 + 3686282/7719*e + 44461/7719, 3643/7719*e^7 - 20642/7719*e^6 - 251795/15438*e^5 + 857585/7719*e^4 - 82487/15438*e^3 - 4558442/7719*e^2 + 2528902/7719*e - 8158/7719, 1019/15438*e^7 - 3209/7719*e^6 - 17551/7719*e^5 + 269971/15438*e^4 - 13811/15438*e^3 - 1581337/15438*e^2 + 233866/7719*e + 230660/7719, 19021/30876*e^7 - 51295/15438*e^6 - 330143/15438*e^5 + 1064828/7719*e^4 - 65803/30876*e^3 - 11068807/15438*e^2 + 3324358/7719*e - 131020/7719, -17935/30876*e^7 + 47269/15438*e^6 + 159124/7719*e^5 - 986258/7719*e^4 - 501245/30876*e^3 + 10520587/15438*e^2 - 2490187/7719*e - 119912/7719, -1799/2573*e^7 + 20351/5146*e^6 + 62168/2573*e^5 - 845529/5146*e^4 + 20022/2573*e^3 + 2239503/2573*e^2 - 1240526/2573*e + 97846/2573, -5836/7719*e^7 + 32765/7719*e^6 + 198907/7719*e^5 - 1357289/7719*e^4 + 176203/7719*e^3 + 7026995/7719*e^2 - 4819624/7719*e + 563722/7719, -3897/10292*e^7 + 22113/10292*e^6 + 32327/2573*e^5 - 228078/2573*e^4 + 255941/10292*e^3 + 4593819/10292*e^2 - 990925/2573*e + 127961/2573, 13973/15438*e^7 - 155159/30876*e^6 - 241531/7719*e^5 + 3223147/15438*e^4 - 145205/15438*e^3 - 33949727/30876*e^2 + 5049811/7719*e - 309247/7719, -27925/61752*e^7 + 39785/15438*e^6 + 119999/7719*e^5 - 3303013/30876*e^4 + 498349/61752*e^3 + 17469985/30876*e^2 - 2449427/7719*e + 96821/7719, -7121/20584*e^7 + 9411/5146*e^6 + 61839/5146*e^5 - 782307/10292*e^4 + 28773/20584*e^3 + 4053447/10292*e^2 - 697133/2573*e + 62477/2573, -1634/7719*e^7 + 7822/7719*e^6 + 60302/7719*e^5 - 657629/15438*e^4 - 144331/7719*e^3 + 3552551/15438*e^2 - 437264/7719*e - 195700/7719, -13749/10292*e^7 + 18754/2573*e^6 + 239703/5146*e^5 - 779534/2573*e^4 - 29669/10292*e^3 + 4099413/2573*e^2 - 2277101/2573*e + 116662/2573, 560/2573*e^7 - 6385/5146*e^6 - 36291/5146*e^5 + 262609/5146*e^4 - 110189/5146*e^3 - 643469/2573*e^2 + 705248/2573*e - 150618/2573, 307/30876*e^7 - 5759/30876*e^6 + 746/7719*e^5 + 115627/15438*e^4 - 578503/30876*e^3 - 1170371/30876*e^2 + 763027/7719*e - 51034/7719, -17705/61752*e^7 + 52529/30876*e^6 + 150053/15438*e^5 - 2176421/30876*e^4 + 710225/61752*e^3 + 5771023/15438*e^2 - 3556877/15438*e + 27409/7719, -13337/15438*e^7 + 76297/15438*e^6 + 225865/7719*e^5 - 3158077/15438*e^4 + 534443/15438*e^3 + 8190374/7719*e^2 - 5851510/7719*e + 663094/7719, 3916/7719*e^7 - 22922/7719*e^6 - 132283/7719*e^5 + 950108/7719*e^4 - 174769/7719*e^3 - 5000558/7719*e^2 + 3447004/7719*e - 369310/7719, -11945/30876*e^7 + 33905/15438*e^6 + 100085/7719*e^5 - 1399691/15438*e^4 + 659609/30876*e^3 + 3542977/7719*e^2 - 3005990/7719*e + 518810/7719, 8813/61752*e^7 - 12661/15438*e^6 - 39931/7719*e^5 + 1066595/30876*e^4 + 482923/61752*e^3 - 6221999/30876*e^2 + 337957/7719*e + 179285/7719, -1779/5146*e^7 + 18377/10292*e^6 + 64047/5146*e^5 - 192336/2573*e^4 - 45718/2573*e^3 + 4169679/10292*e^2 - 343753/2573*e - 106952/2573, -24767/61752*e^7 + 35623/15438*e^6 + 105079/7719*e^5 - 2957057/30876*e^4 + 898295/61752*e^3 + 15589961/30876*e^2 - 2619322/7719*e + 160345/7719, 5759/10292*e^7 - 7981/2573*e^6 - 49895/2573*e^5 + 664013/5146*e^4 - 35523/10292*e^3 - 3517551/5146*e^2 + 991033/2573*e - 52822/2573, 2117/10292*e^7 - 2865/2573*e^6 - 18172/2573*e^5 + 238585/5146*e^4 - 46681/10292*e^3 - 1255737/5146*e^2 + 465424/2573*e - 11260/2573, 4091/7719*e^7 - 20623/7719*e^6 - 297295/15438*e^5 + 864340/7719*e^4 + 525101/15438*e^3 - 4670800/7719*e^2 + 1513793/7719*e + 310816/7719, 5453/20584*e^7 - 7229/5146*e^6 - 22784/2573*e^5 + 594205/10292*e^4 - 305765/20584*e^3 - 2853285/10292*e^2 + 725009/2573*e - 133583/2573, -14023/61752*e^7 + 38737/30876*e^6 + 60278/7719*e^5 - 1600975/30876*e^4 + 230875/61752*e^3 + 2037922/7719*e^2 - 2541199/15438*e + 279905/7719, -695/2573*e^7 + 13689/10292*e^6 + 25403/2573*e^5 - 143029/2573*e^4 - 51946/2573*e^3 + 3030519/10292*e^2 - 215840/2573*e - 33753/2573, 5545/5146*e^7 - 62281/10292*e^6 - 191125/5146*e^5 + 646439/2573*e^4 - 40525/2573*e^3 - 13606915/10292*e^2 + 2013235/2573*e - 155259/2573, 6439/10292*e^7 - 17303/5146*e^6 - 55794/2573*e^5 + 718509/5146*e^4 - 37639/10292*e^3 - 1863462/2573*e^2 + 1204391/2573*e - 106540/2573, -12429/20584*e^7 + 8310/2573*e^6 + 109687/5146*e^5 - 1386535/10292*e^4 - 258687/20584*e^3 + 7408565/10292*e^2 - 889770/2573*e - 49959/2573, -15045/20584*e^7 + 42213/10292*e^6 + 130837/5146*e^5 - 1758919/10292*e^4 + 22373/20584*e^3 + 2367324/2573*e^2 - 2446657/5146*e - 38381/2573, 8183/30876*e^7 - 23285/15438*e^6 - 137215/15438*e^5 + 961619/15438*e^4 - 429137/30876*e^3 - 2448310/7719*e^2 + 1890140/7719*e - 434168/7719, -12893/30876*e^7 + 16684/7719*e^6 + 115256/7719*e^5 - 1393571/15438*e^4 - 501103/30876*e^3 + 7462799/15438*e^2 - 1639583/7719*e - 283270/7719, 241/996*e^7 - 308/249*e^6 - 2155/249*e^5 + 25789/498*e^4 + 9275/996*e^3 - 137881/498*e^2 + 35251/249*e + 2540/249, -2489/7719*e^7 + 13351/7719*e^6 + 179941/15438*e^5 - 559165/7719*e^4 - 268811/15438*e^3 + 3086152/7719*e^2 - 898712/7719*e - 264712/7719, 6212/7719*e^7 - 35368/7719*e^6 - 424423/15438*e^5 + 1466200/7719*e^4 - 342547/15438*e^3 - 7674031/7719*e^2 + 4947557/7719*e - 558182/7719, 3145/7719*e^7 - 16907/7719*e^6 - 223409/15438*e^5 + 1412137/15438*e^4 + 175975/15438*e^3 - 7641559/15438*e^2 + 1734343/7719*e + 228392/7719, -4357/15438*e^7 + 12115/7719*e^6 + 72635/7719*e^5 - 999815/15438*e^4 + 261913/15438*e^3 + 5000441/15438*e^2 - 2282165/7719*e + 215690/7719, 12131/10292*e^7 - 16224/2573*e^6 - 214461/5146*e^5 + 675681/2573*e^4 + 274235/10292*e^3 - 3584579/2573*e^2 + 1678880/2573*e + 47374/2573, 93203/61752*e^7 - 257015/30876*e^6 - 403078/7719*e^5 + 10671209/30876*e^4 - 846263/61752*e^3 - 13966901/7719*e^2 + 16661651/15438*e - 634537/7719, 3549/20584*e^7 - 4837/5146*e^6 - 15040/2573*e^5 + 399419/10292*e^4 - 139285/20584*e^3 - 2001507/10292*e^2 + 437629/2573*e - 69699/2573, 3557/5146*e^7 - 10386/2573*e^6 - 120083/5146*e^5 + 860389/5146*e^4 - 79841/2573*e^3 - 4510523/5146*e^2 + 1539495/2573*e - 166182/2573, 9449/10292*e^7 - 12660/2573*e^6 - 82549/2573*e^5 + 526408/2573*e^4 + 53947/10292*e^3 - 2752969/2573*e^2 + 1575716/2573*e - 132200/2573, 8795/20584*e^7 - 26293/10292*e^6 - 36701/2573*e^5 + 1085797/10292*e^4 - 531903/20584*e^3 - 2816681/5146*e^2 + 2014235/5146*e - 144255/2573, 767/2573*e^7 - 8033/5146*e^6 - 54259/5146*e^5 + 166950/2573*e^4 + 37787/5146*e^3 - 1736263/5146*e^2 + 423623/2573*e - 67066/2573, -14827/30876*e^7 + 20411/7719*e^6 + 258149/15438*e^5 - 1697011/15438*e^4 - 191/30876*e^3 + 8939707/15438*e^2 - 2464180/7719*e + 277240/7719, 15649/15438*e^7 - 170317/30876*e^6 - 547909/15438*e^5 + 3545117/15438*e^4 + 60841/7719*e^3 - 37624657/30876*e^2 + 4984586/7719*e - 210677/7719, 3509/15438*e^7 - 42467/30876*e^6 - 56893/7719*e^5 + 877033/15438*e^4 - 343487/15438*e^3 - 8995499/30876*e^2 + 1946239/7719*e - 329839/7719, 6511/10292*e^7 - 18565/5146*e^6 - 55904/2573*e^5 + 770351/5146*e^4 - 136303/10292*e^3 - 2029547/2573*e^2 + 1233823/2573*e - 122096/2573, 20179/30876*e^7 - 27005/7719*e^6 - 176275/7719*e^5 + 2243437/15438*e^4 + 133013/30876*e^3 - 11666167/15438*e^2 + 3259108/7719*e - 222544/7719, 275/498*e^7 - 737/249*e^6 - 9833/498*e^5 + 30788/249*e^4 + 5564/249*e^3 - 166481/249*e^2 + 55102/249*e + 7394/249, 4777/15438*e^7 - 29519/15438*e^6 - 79922/7719*e^5 + 612346/7719*e^4 - 286831/15438*e^3 - 6608087/15438*e^2 + 2160683/7719*e - 84986/7719, 9113/15438*e^7 - 50011/15438*e^6 - 157210/7719*e^5 + 2075479/15438*e^4 - 123725/15438*e^3 - 5415560/7719*e^2 + 3554290/7719*e - 192970/7719, 4531/30876*e^7 - 12163/15438*e^6 - 82601/15438*e^5 + 510265/15438*e^4 + 307571/30876*e^3 - 1415624/7719*e^2 + 290647/7719*e + 161606/7719, 3547/10292*e^7 - 4748/2573*e^6 - 32507/2573*e^5 + 198918/2573*e^4 + 271705/10292*e^3 - 1108137/2573*e^2 + 147425/2573*e + 134058/2573] hecke_eigenvalues = {} for i in range(len(hecke_eigenvalues_array)): hecke_eigenvalues[primes[i]] = hecke_eigenvalues_array[i] AL_eigenvalues = {} AL_eigenvalues[ZF.ideal([61, 61, -w^5 + w^4 + 5*w^3 - 3*w^2 - 7*w + 1])] = 1 # EXAMPLE: # pp = ZF.ideal(2).factor()[0][0] # hecke_eigenvalues[pp]