""" This code can be loaded, or copied and paste using cpaste, into Sage. It will load the data associated to the BMF, including the field, level, and Hecke and Atkin-Lehner eigenvalue data (if known). """ P = PolynomialRing(QQ, "x") x = P.gen() g = P([1, 0, 1]) F = NumberField(g, "i") i = F.gen() ZF = F.ring_of_integers() NN = ZF.ideal((25010, 2*i + 14906)) primes_array = [ (i+1,),(-i-2,),(2*i+1,),(3,),(-3*i-2,),(2*i+3,),(i+4,),(i-4,),(-2*i+5,),(2*i+5,),(i+6,),(i-6,),(-5*i-4,),(4*i+5,),(7,),(-2*i+7,),(2*i+7,),(-6*i-5,),(5*i+6,),(-3*i-8,),(3*i-8,),(-5*i+8,),(-8*i+5,),(-4*i+9,),(4*i+9,),(i+10,),(i-10,),(-3*i+10,),(3*i+10,),(-8*i-7,),(7*i+8,),(11,),(-4*i-11,),(4*i-11,),(10*i-7,),(7*i-10,),(-6*i-11,),(6*i-11,),(-2*i+13,),(2*i+13,),(-10*i-9,),(9*i+10,),(7*i-12,),(7*i+12,),(i+14,),(i-14,),(-2*i+15,),(2*i+15,),(-8*i-13,),(-8*i+13,),(-4*i-15,),(4*i-15,),(i+16,),(i-16,),(13*i-10,),(10*i-13,),(-9*i+14,),(-14*i+9,),(-5*i+16,),(5*i+16,),(-2*i+17,),(2*i+17,),(-13*i-12,),(12*i+13,),(-11*i+14,),(-14*i+11,),(9*i-16,),(9*i+16,),(-5*i+18,),(-5*i-18,),(-8*i+17,),(8*i+17,),(19,),(-7*i+18,),(-7*i-18,),(10*i-17,),(10*i+17,),(-6*i+19,),(6*i+19,),(i+20,),(i-20,),(-3*i-20,),(3*i-20,),(-15*i-14,),(14*i+15,),(-17*i-12,),(12*i+17,),(-7*i-20,),(7*i-20,),(-4*i+21,),(4*i+21,),(-10*i-19,),(10*i-19,),(5*i+22,),(5*i-22,),(11*i-20,),(11*i+20,),(23,),(-10*i+21,),(10*i+21,),(-14*i+19,),(-19*i+14,),(-13*i+20,),(-20*i+13,),(i+24,),(i-24,),(-8*i-23,),(8*i-23,),(-5*i-24,),(5*i-24,),(-18*i-17,),(17*i+18,),(19*i-16,),(16*i-19,),(-4*i+25,),(4*i+25,),(13*i-22,),(13*i+22,),(-6*i+25,),(6*i+25,),(-12*i-23,),(12*i-23,),(i+26,),(i-26,),(-5*i+26,),(5*i+26,),(22*i-15,),(15*i-22,),(-2*i+27,),(2*i+27,),(-9*i-26,),(9*i-26,),(-20*i-19,),(19*i+20,),(-12*i+25,),(12*i+25,),(-22*i-17,),(17*i+22,),(-11*i+26,),(-11*i-26,),(-5*i+28,),(-5*i-28,),(-14*i-25,),(-14*i+25,),(10*i-27,),(10*i+27,),(-18*i-23,),(23*i+18,),(-4*i+29,),(4*i+29,),(-6*i-29,),(6*i-29,),(16*i+25,),(-25*i-16,),(-20*i+23,),(-23*i+20,),(-19*i+24,),(-24*i+19,),(-10*i-29,),(10*i-29,),(13*i+28,),(13*i-28,),(31,),(-4*i-31,),(4*i-31,),(-6*i+31,),(6*i+31,),(15*i-28,),(15*i+28,),(-23*i-22,),(22*i+23,),(-11*i-30,),(-11*i+30,),(-3*i-32,),(3*i-32,),(5*i+32,),(5*i-32,),(-10*i+31,),(10*i+31,),(13*i+30,),(13*i-30,),(-2*i+33,),(2*i+33,),(16*i-29,),(16*i+29,),(25*i-22,),(22*i-25,),(26*i-21,),(21*i-26,),(-20*i+27,),(-27*i+20,),(-8*i+33,),(8*i+33,),(-5*i-34,),(5*i-34,),(13*i+32,),(13*i-32,),(-25*i-24,),(24*i+25,),(-27*i-22,)] primes = [ZF.ideal(I) for I in primes_array] heckePol = x K = QQ e = 1 hecke_eigenvalues_array = [0, -2, 1, 1, -2, -2, 7, -6, -4, -4, -9, -2, 0, -1, 10, 8, 9, 1, 5, 2, -10, -9, 7, 13, 2, -6, 6, 3, -4, 1, -6, -3, -3, 13, -2, 21, -10, 3, 0, 6, 5, 25, -7, 4, 7, -2, 1, 20, 10, 3, 21, -17, 22, 12, 10, 16, -2, 24, -6, 11, 30, -12, -27, 4, -9, -15, -18, 16, -17, -28, -31, 36, -20, -9, 29, 14, 22, 30, -33, 22, 0, -18, 26, 22, -15, 6, -28, -19, 21, -33, 24, -19, 5, 36, 14, 6, -1, 26, 34, 2, -38, -15, -38, -6, 23, 38, 6, 1, 10, -18, 44, 41, 40, -2, -10, -12, 18, 32, -40, -7, -14, -23, -21, 6, 46, 45, 20, -4, -4, 46, -2, 45, -43, -30, -22, -43, -35, -39, 30, 0, 22, 16, -26, 43, 3, -26, -16, 53, 28, 18, -10, -22, -15, -15, -46, 16, -17, 35, -45, 24, -31, -19, 26, -42, 18, 23, 44, -2, -20, 3, -28, -4, 20, 2, -31, -15, 20, 9, 6, -50, 42, -30, 46, -24, -21, -21, -6, -20, 31, -41, 29, 54, 2, -13, 2, 34, 26, 14, 40, 3] hecke_eigenvalues = {} for i in range(len(hecke_eigenvalues_array)): hecke_eigenvalues[primes[i]] = hecke_eigenvalues_array[i] AL_eigenvalues = {} AL_eigenvalues[ZF.ideal((i + 1,))] = -1 AL_eigenvalues[ZF.ideal((2*i + 1,))] = -1 AL_eigenvalues[ZF.ideal((4*i + 5,))] = 1 AL_eigenvalues[ZF.ideal((-6*i - 5,))] = -1 # EXAMPLE: # pp = ZF.ideal(2).factor()[0][0] # hecke_eigenvalues[pp]