""" 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([3, -1, 1]) F = NumberField(g, "a") a = F.gen() ZF = F.ring_of_integers() NN = ZF.ideal((99, 9*a + 45)) primes_array = [ (-a,),(a-1,),(2,),(-a-1,),(a-2,),(-2*a+1,),(a+4,),(a-5,),(-3*a+4,),(3*a+1,),(-3*a-2,),(3*a-5,),(-2*a+7,),(2*a+5,),(7,),(-4*a+5,),(4*a+1,),(a+7,),(a-8,),(-3*a-5,),(3*a-8,),(-5*a+1,),(5*a-4,),(5*a+2,),(5*a-7,),(-3*a+10,),(3*a+7,),(-6*a+1,),(6*a-5,),(a+10,),(a-11,),(7*a-5,),(7*a-2,),(-3*a+13,),(3*a+10,),(-6*a-5,),(6*a-11,),(13,),(-5*a+13,),(-5*a-8,),(-3*a-11,),(3*a-14,),(-7*a+11,),(-7*a-4,),(-6*a+13,),(6*a+7,),(9*a-5,),(9*a-4,),(9*a-7,),(9*a-2,),(-5*a+16,),(5*a+11,),(-8*a-5,),(-8*a+13,),(-4*a+17,),(4*a+13,),(17,),(-10*a+11,),(10*a+1,),(-9*a+14,),(-9*a-5,),(7*a+10,),(7*a-17,),(-3*a+19,),(3*a+16,),(-11*a+1,),(11*a-10,),(19,),(-3*a-17,),(3*a-20,),(-9*a-8,),(9*a-17,),(a+19,),(a-20,),(11*a+2,),(11*a-13,),(-12*a+5,),(12*a-7,),(-8*a+19,),(-8*a-11,),(10*a-17,),(10*a+7,),(-12*a+1,),(12*a-11,),(-9*a+19,),(9*a+10,),(11*a+5,),(11*a-16,),(5*a+17,),(5*a-22,),(9*a+11,),(9*a-20,),(-13*a+8,),(13*a-5,),(-3*a-20,),(3*a-23,),(-6*a-17,),(6*a-23,),(a+22,),(a-23,),(-13*a+14,),(13*a+1,),(-3*a+25,),(3*a+22,),(-2*a+25,),(2*a+23,),(10*a+13,),(10*a-23,),(-8*a+25,),(8*a+17,),(15*a-8,),(15*a-7,),(-15*a+4,),(-15*a+11,),(7*a-26,),(7*a+19,),(9*a-25,),(9*a+16,),(-13*a+20,),(-13*a-7,),(a+25,),(a-26,),(-15*a+1,),(15*a-14,),(-14*a+19,),(-14*a-5,),(-15*a+16,),(15*a+1,),(15*a+2,),(15*a-17,),(-5*a+28,),(-5*a-23,),(-3*a+28,),(3*a+25,),(-15*a+19,),(-15*a-4,),(-12*a+25,),(12*a+13,),(-4*a+29,),(4*a+25,),(-17*a+7,),(17*a-10,),(9*a+20,),(9*a-29,),(15*a+7,),(15*a-22,),(-11*a+28,),(-11*a-17,),(29,),(-15*a+23,),(-15*a-8,),(-14*a-11,),(-14*a+25,),(-5*a+31,),(5*a+26,),(-6*a+31,),(6*a+25,),(-18*a+13,),(18*a-5,),(-2*a+31,),(2*a+29,),(-16*a+23,),(16*a+7,),(-7*a+32,),(-7*a-25,),(13*a+16,),(13*a-29,),(-17*a+22,),(17*a+5,),(11*a-31,),(11*a+20,),(-18*a+19,),(18*a+1,),(-19*a+5,),(-19*a+14,),(12*a+19,),(-12*a+31,),(15*a-28,),(15*a+13,),(19*a-17,),(19*a-2,),(-5*a-29,),(5*a-34,),(-18*a-5,),(18*a-23,),(9*a-34,),(9*a+25,),(-19*a+20,),(19*a+1,),(-20*a+7,),(-20*a+13,),(-6*a-29,),(6*a-35,),(-9*a-26,),(9*a-35,),(-15*a+31,),(15*a+16,),(-20*a+1,),(20*a-19,),(a+34,),(a-35,),(21*a-11,),(21*a-10,),(-12*a-23,),(12*a-35,),(5*a+32,),(5*a-37,),(13*a-35,),(13*a+22,),(-9*a+37,),(9*a+28,),(18*a-29,),(-18*a-11,),(-17*a-14,),(-17*a+31,),(-21*a+1,),(21*a-20,),(-2*a+37,),(2*a+35,),(-15*a+34,),(-15*a-19,),(-22*a+5,),(22*a-17,),(-19*a+29,),(-19*a-10,),(a+37,),(a-38,),(21*a+4,),(21*a-25,),(16*a+19,),(16*a-35,),(-14*a-23,),(-14*a+37,),(21*a+5,),(21*a-26,),(9*a+31,),(9*a-40,),(15*a+22,),(15*a-37,),(19*a-32,),(19*a+13,),(-23*a+4,),(-23*a+19,),(-11*a-29,),(-11*a+40,),(-6*a-35,),(6*a-41,),(-15*a+38,),(-15*a-23,),(-18*a-17,),(18*a-35,),(-10*a+41,),(10*a+31,),(-17*a+37,),(-17*a-20,),(-24*a+7,),(24*a-17,),(-12*a+41,),(12*a+29,),(23*a+2,),(23*a-25,),(41,),(-8*a+43,),(-8*a-35,),(-6*a+43,),(6*a+37,),(-5*a+43,),(-5*a-38,),(-25*a+14,),(25*a-11,),(-15*a-26,),(-15*a+41,),(-3*a+43,),(3*a+40,),(-24*a+25,),(24*a+1,),(-9*a-35,),(9*a-44,),(-17*a+40,),(-17*a-23,),(-3*a-41,),(3*a-44,),(43,),(-13*a-31,),(13*a-44,),(-24*a+29,),(-24*a-5,),(15*a-43,),(15*a+28,),(-25*a+26,),(25*a+1,),(22*a+13,),(-22*a+35,),(-15*a-29,),(15*a-44,),(11*a+35,),(11*a-46,),(-26*a+1,),(26*a-25,),(-27*a+11,),(27*a-16,),(27*a-17,),(-27*a+10,),(7*a-47,),(7*a+40,),(9*a+38,),(9*a-47,),(10*a-47,),(10*a+37,),(-4*a-43,),(4*a-47,),(21*a-40,),(21*a+19,),(-25*a-7,),(25*a-32,),(-24*a+35,),(24*a+11,),(27*a-25,),(27*a-2,),(-21*a-20,),(21*a-41,),(-27*a+1,),(27*a-26,),(15*a+32,),(15*a-47,),(9*a+40,),(9*a-49,),(-28*a+23,),(28*a-5,),(-23*a-17,),(-23*a+40,),(-21*a+43,),(21*a+22,),(-3*a+49,),(3*a+46,),(-9*a+50,),(-9*a-41,),(-7*a+50,),(7*a+43,),(-27*a+31,),(-27*a-4,),(-29*a+10,),(-29*a+19,),(-15*a+49,),(-15*a-34,),(-27*a+32,),(27*a+5,),(13*a-50,),(13*a+37,),(-3*a-47,),(3*a-50,),(-28*a+29,),(28*a+1,),(19*a+28,),(19*a-47,),(29*a-25,),(29*a-4,),(-23*a-20,),(-23*a+43,),(-27*a-8,),(27*a-35,),(21*a+25,),(21*a-46,),(25*a-41,),(-25*a-16,),(-30*a+7,),(30*a-23,),(27*a+10,),(-27*a+37,),(10*a+43,),(10*a-53,),(-20*a+49,),(20*a+29,),(19*a-50,),(-19*a-31,),(31*a-20,),(-31*a+11,),(-30*a+1,),(30*a-29,),(-3*a-50,),(3*a-53,),(-17*a+52,),(17*a+35,),(-15*a+53,),(-15*a-38,),(-29*a+34,),(-29*a-5,),(-31*a+8,),(-31*a+23,),(27*a+13,),(27*a-40,),(25*a-44,),(25*a+19,),(16*a+37,),(16*a-53,),(-30*a+31,),(30*a+1,),(31*a-26,),(31*a-5,),(-8*a-47,),(8*a-55,),(12*a+43,),(-12*a+55,),(-6*a+55,),(6*a+49,),(29*a-37,),(-29*a-8,),(-14*a-41,),(14*a-55,),(-23*a+49,),(-23*a-26,),(-3*a+55,),(3*a+52,),(-32*a+25,),(32*a-7,),(25*a-47,),(25*a+22,),(-2*a+55,),(-2*a-53,),(-24*a+49,),(24*a+25,),(17*a+38,),(17*a-55,),(29*a-40,),(-29*a-11,),(-15*a-41,),(-15*a+56,),(-33*a+19,),(33*a-14,),(-21*a+53,),(-21*a-32,),(-31*a+35,),(-31*a-4,),(-33*a+10,),(33*a-23,),(-32*a+1,),(32*a-31,),(-27*a+46,),(27*a+19,),(33*a-25,),(33*a-8,),(a+55,),(a-56,),(-11*a+58,),(-11*a-47,),(15*a-58,),(15*a+43,),(-10*a-49,),(10*a-59,),(-3*a+58,),(3*a+55,),(-13*a+59,),(-13*a-46,),(-32*a+37,),(32*a+5,),(-30*a+43,),(30*a+13,),(-15*a-44,),(15*a-59,),(-33*a+34,),(33*a+1,),(-34*a+5,),(-34*a+29,),(-3*a-56,),(3*a-59,),(-23*a-32,),(23*a-55,),(25*a+28,),(25*a-53,),(-35*a+16,),(35*a-19,),(35*a-22,),(-35*a+13,),(-18*a-41,),(18*a-59,),(-11*a+61,),(-11*a-50,),(-24*a+55,),(24*a+31,),(-33*a-5,),(33*a-38,),(-6*a+61,),(6*a+55,),(21*a-58,),(21*a+37,),(-5*a+61,),(5*a+56,),(30*a+17,),(-30*a+47,),(-9*a-53,),(9*a-62,),(33*a+7,),(-33*a+40,),(-7*a-55,),(7*a-62,),(-36*a+25,),(36*a-11,),(-23*a+58,),(-23*a-35,),(-26*a+55,),(-26*a-29,),(30*a+19,),(-30*a+49,),(28*a-53,),(28*a+25,),(-33*a+43,),(33*a+10,),(-20*a+61,),(20*a+41,),(-29*a-23,),(-29*a+52,),(61,),(-27*a+55,),(27*a+28,),(36*a-31,),(36*a-5,),(-37*a+20,),(37*a-17,),(-24*a+59,),(24*a+35,),(-37*a+26,),(37*a-11,),(-31*a-19,),(-31*a+50,),(-5*a-59,),(5*a-64,),(-36*a+1,),(36*a-35,),(-12*a+65,),(12*a+53,),(25*a+34,),(-25*a+59,),(7*a+58,),(7*a-65,),(-30*a-23,),(30*a-53,),(-3*a+64,),(3*a+61,),(-6*a-59,),(6*a-65,),(-37*a+5,),(37*a-32,),(-38*a+13,),(-38*a+25,),(-4*a+65,),(4*a+61,),(-35*a-8,),(35*a-43,),(18*a-65,),(-18*a-47,),(-31*a-22,),(31*a-53,),(33*a+16,),(33*a-49,),(-3*a-62,),(3*a-65,),(-19*a-46,),(19*a-65,),(-34*a-13,),(-34*a+47,),(36*a+5,),(36*a-41,),(9*a+58,),(9*a-67,),(-14*a-53,),(-14*a+67,),(15*a+52,),(15*a-67,),(-23*a+64,),(23*a+41,),(-17*a-50,),(17*a-67,),(5*a+62,),(5*a-67,),(-27*a+61,),(-27*a-34,),(37*a+4,),(37*a-41,),(-39*a+10,),(-39*a+29,),(31*a-56,),(31*a+25,),(33*a-53,),(-33*a-20,),(-32*a+55,),(32*a+23,),(-39*a+32,),(39*a-7,),(-20*a+67,),(-20*a-47,),(-27*a-35,),(27*a-62,),(-40*a+23,),(40*a-17,),(-39*a+4,),(-39*a+35,),(-3*a-65,),(3*a-68,),(40*a-11,),(-40*a+29,),(-11*a+70,),(-11*a-59,),(9*a-70,),(9*a+61,),(21*a+47,),(21*a-68,),(-38*a-5,),(38*a-43,),(-30*a+61,),(30*a+31,),(-39*a+40,),(39*a+1,),(-12*a-59,),(12*a-71,),(41*a-16,),(41*a-25,),(-15*a-56,),(-15*a+71,),(-27*a+65,),(27*a+38,),(-16*a+71,),(16*a+55,),(-41*a+13,),(41*a-28,),(-7*a+71,),(7*a+64,),(-6*a-65,),(6*a-71,),(41*a-31,),(41*a-10,),(-39*a+44,),(-39*a-5,),(-36*a+53,),(36*a+17,),(-25*a+68,),(25*a+43,),(33*a-59,),(-33*a-26,),(-38*a+49,),(38*a+11,),(-23*a+70,),(23*a+47,),(-11*a-62,),(-11*a+73,),(15*a-73,),(15*a+58,),(-22*a+71,),(22*a+49,),(36*a+19,),(-36*a+55,),(-8*a+73,),(8*a+65,),(34*a-59,),(-34*a-25,),(42*a-31,),(-42*a+11,),(a+70,),(a-71,),(-18*a+73,),(18*a+55,),(-6*a+73,),(6*a+67,),(-41*a+1,),(41*a-40,),(-35*a-23,),(-35*a+58,),(13*a-74,),(13*a+61,),(-5*a+73,),(-5*a-68,),(-43*a+23,),(43*a-20,),(-42*a+5,),(42*a-37,),(-39*a-11,),(39*a-50,),(21*a+52,),(21*a-73,),(19*a-74,),(19*a+55,),(-37*a+56,),(-37*a-19,),(-30*a+67,),(30*a+37,),(27*a+43,),(-27*a+70,),(-23*a+73,),(-23*a-50,),(-35*a-26,),(-35*a+61,),(41*a+5,),(41*a-46,),(-3*a-71,),(3*a-74,),(-11*a-65,),(11*a-76,),(73,),(-44*a+19,),(44*a-25,),(-33*a-32,),(33*a-65,),(17*a+59,),(17*a-76,),(29*a+41,),(29*a-70,),(31*a+37,),(31*a-68,),(-36*a+61,),(36*a+25,),(-32*a+67,),(-32*a-35,),(-12*a+77,),(12*a+65,),(39*a+16,),(39*a-55,),(15*a+62,),(15*a-77,),(-5*a+76,),(5*a+71,),(-9*a+77,),(-9*a-68,),(34*a-65,),(34*a+31,),(-25*a-49,),(25*a-74,),(21*a+55,),(-21*a+76,),(-42*a+47,),(42*a+5,),(-35*a-29,),(-35*a+64,),(45*a-23,),(45*a-22,),(45*a-19,),(45*a-26,),(-43*a+44,),(43*a+1,),(-45*a+31,),(45*a-14,),(33*a+35,),(33*a-68,),(37*a-62,),(37*a+25,),(-45*a+13,),(45*a-32,),(-4*a+77,),(4*a+73,),(45*a-34,),(45*a-11,),(-39*a+59,),(-39*a-20,),(45*a-8,),(-45*a+37,),(-18*a-61,),(18*a-79,),(-8*a-71,),(8*a-79,),(-41*a+55,),(-41*a-14,),(-30*a+73,),(30*a+43,),(33*a+37,),(33*a-70,),(-20*a-59,),(20*a-79,),(13*a+67,),(13*a-80,),(25*a+52,),(25*a-77,),(43*a+7,),(43*a-50,),(-9*a-71,),(9*a-80,),(37*a-65,),(37*a+28,),(7*a+73,),(7*a-80,),(-42*a+55,),(42*a+13,),(-23*a+79,),(23*a+56,),(41*a+17,),(41*a-58,),(-27*a-50,),(-27*a+77,),(21*a-80,),(21*a+59,),(-44*a+49,),(-44*a-5,),(-24*a+79,),(24*a+55,),(-45*a+46,),(45*a+1,),(-47*a+16,),(-47*a+31,),(46*a-41,),(46*a-5,),(39*a+25,),(-39*a+64,),(-17*a-65,),(-17*a+82,),(-9*a+82,),(9*a+73,),(79,),(47*a-37,),(-47*a+10,),(41*a+20,),(41*a-61,),(45*a+4,),(45*a-49,),(33*a+41,),(33*a-74,),(-13*a-70,),(13*a-83,),(a+79,),(a-80,),(16*a+67,),(16*a-83,),(-48*a+23,),(48*a-25,),(10*a+73,),(10*a-83,),(-48*a+29,),(48*a-19,),(18*a-83,),(-18*a-65,),(-36*a-35,),(36*a-71,),(5*a+77,),(5*a-82,),(-27*a-53,),(27*a-80,),(-35*a+73,),(-35*a-38,),(-42*a-19,),(42*a-61,),(-21*a-62,),(21*a-83,),(29*a+50,),(-29*a+79,),(43*a+16,),(-43*a+59,),(37*a-71,),(37*a+34,),(30*a+49,),(-30*a+79,),(-47*a+1,),(47*a-46,),(-12*a+85,),(12*a+73,),(-11*a-74,),(-11*a+85,),(49*a-32,),(-49*a+17,),(25*a+58,),(25*a-83,),(45*a+11,),(45*a-56,),(9*a+76,),(9*a-85,),(-46*a-7,),(46*a-53,),(-39*a-31,),(-39*a+70,),(-8*a-77,),(-8*a+85,),(-21*a+85,),(21*a+64,),(34*a+43,),(-34*a+77,),(-15*a-71,),(-15*a+86,),(-35*a+76,),(-35*a-41,),(31*a+49,),(31*a-80,),(-6*a+85,),(6*a+79,),(-45*a+58,),(45*a+13,),(-23*a-62,),(23*a-85,),(-29*a-53,),(-29*a+82,),(83,),(-50*a+31,),(-50*a+19,),(-28*a-55,),(28*a-83,),(-48*a+49,),(48*a+1,),(42*a+25,),(-42*a+67,),(-43*a+65,),(-43*a-22,),(-49*a+5,),(-49*a+44,),(-3*a+85,),(3*a+82,),(-40*a-31,),(40*a-71,),(50*a-37,),(-50*a+13,),(-33*a-47,),(33*a-80,),(26*a+59,),(-26*a+85,),(49*a-47,),(49*a-2,),(-25*a-61,),(25*a-86,),(45*a-62,),(-45*a-17,),(-35*a+79,),(-35*a-44,),(-51*a+23,),(-51*a+28,),(-48*a-5,),(48*a-53,),(37*a+40,),(37*a-77,),(21*a+67,),(21*a-88,),(-51*a+16,),(51*a-35,),(43*a+25,),(43*a-68,),(-49*a+50,),(49*a+1,),(29*a-85,),(29*a+56,),(-48*a+55,),(-48*a-7,),(-23*a-65,),(-23*a+88,),(-51*a+13,),(-51*a+38,),(-10*a-79,),(10*a-89,),(44*a+23,),(-44*a+67,),(-42*a-29,),(42*a-71,),(51*a-41,),(51*a-10,),(-33*a+83,),(-33*a-50,),(-50*a+1,),(50*a-49,),(-51*a+43,),(51*a-8,),(-47*a-14,),(47*a-61,),(-39*a-38,),(39*a-77,),(-3*a+88,),(3*a+85,),(52*a-35,),(52*a-17,),(-35*a+82,),(-35*a-47,),(37*a+43,),(37*a-80,),(45*a+22,),(45*a-67,),(-48*a-11,),(48*a-59,),(51*a-46,),(51*a-5,),(-32*a-53,),(-32*a+85,),(-46*a+65,),(-46*a-19,),(-15*a+91,),(15*a+76,),(12*a+79,),(-12*a+91,),(-45*a+68,),(-45*a-23,),(-11*a+91,),(-11*a-80,),(40*a-77,),(40*a+37,),(-3*a-86,),(3*a-89,),(33*a-85,),(-33*a-52,),(-41*a-35,),(-41*a+76,),(-39*a+79,),(39*a+40,),(-53*a+25,),(53*a-28,),(-51*a+1,),(51*a-50,),(15*a+77,),(15*a-92,),(-36*a-47,),(36*a-83,),(-49*a+59,)] primes = [ZF.ideal(I) for I in primes_array] heckePol = x K = QQ e = 1 hecke_eigenvalues_array = [0, 0, -3, -4, -4, -1, 4, 4, 4, 4, -6, -6, -8, -8, -10, 0, 0, 4, 4, 8, 8, 0, 0, 0, 0, 2, 2, 8, 8, 12, 12, 4, 4, -10, -10, -20, -20, -22, -24, -24, 10, 10, 16, 16, 12, 12, -8, -8, 6, 6, 8, 8, 8, 8, -16, -16, -30, 12, 12, -34, -34, -4, -4, 4, 4, 24, 24, -2, 16, 16, 4, 4, -20, -20, 36, 36, -14, -14, 28, 28, -32, -32, 34, 34, -2, -2, -4, -4, -32, -32, 16, 16, 36, 36, -4, -4, -16, -16, -24, -24, -12, -12, 18, 18, -4, -4, -28, -28, -12, -12, 44, 44, 4, 4, -24, -24, -4, -4, 28, 28, -16, -16, -50, -50, -32, -32, 20, 20, -10, -10, 24, 24, 12, 12, -20, -20, 2, 2, -24, -24, 28, 28, -48, -48, -2, -2, 20, 20, -22, -36, -36, 36, 36, -20, -20, -32, -32, -12, -12, 48, 48, -12, -12, -48, -48, 4, 4, -36, -36, -36, -36, -44, -44, 48, 48, 34, 34, 56, 56, -44, -44, -32, -32, 44, 44, -30, -30, 24, 24, -24, -24, 36, 36, -34, -34, -48, -48, -36, -36, 48, 48, -14, -14, 42, 42, 40, 40, 20, 20, 0, 0, -8, -8, 0, 0, 36, 36, -28, -28, -34, -34, -72, -72, 24, 24, 12, 12, -40, -40, 36, 36, -12, -12, 46, 46, -56, -56, -66, -66, -16, -16, 68, 68, -52, -52, 12, 12, 54, 54, -28, -28, 40, 40, -24, -24, 2, 2, 22, 22, 12, 12, 18, 0, 0, -32, -32, -24, -24, -36, -36, 50, 50, -36, -36, 70, 70, 20, 20, 48, 48, 68, 68, -50, -60, -60, 66, 66, 28, 28, 52, 52, 28, 28, -20, -20, 8, 8, -52, -52, 32, 32, -38, -38, 72, 72, -54, -54, 12, 12, 44, 44, -16, -16, -44, -44, -2, -2, -38, -38, -52, -52, -34, -34, -24, -24, 32, 32, -36, -36, 60, 60, 34, 34, 70, 70, -22, -22, -72, -72, 32, 32, -56, -56, -38, -38, -28, -28, -24, -24, 6, 6, -48, -48, 24, 24, -32, -32, 36, 36, 0, 0, -86, -86, 84, 84, 36, 36, 10, 10, -8, -8, -76, -76, 96, 96, 0, 0, -12, -12, 86, 86, -32, -32, 50, 50, -64, -64, -56, -56, -80, -80, 36, 36, -24, -24, 28, 28, -28, -28, -72, -72, -18, -18, 80, 80, 88, 88, -88, -88, 36, 36, 48, 48, 40, 40, -8, -8, -96, -96, 10, 10, -24, -24, 24, 24, 76, 76, 18, 18, -32, -32, 0, 0, -26, -26, -60, -60, 10, 10, 28, 28, 52, 52, 20, 20, 30, 30, -76, -76, -22, -22, -44, -44, -100, -100, 72, 72, 0, 0, 38, 38, 64, 64, 20, 20, 44, 44, -60, -60, -44, -44, 0, 0, -40, -40, -36, -36, 66, 66, -54, -54, 96, 96, -94, -94, -32, -32, -44, -44, -26, -26, 56, 56, 84, 84, -74, -74, -48, -48, 8, 8, 8, 8, -4, -4, 38, 38, -84, -84, -8, -8, -86, 8, 8, 6, 6, -36, -36, 94, 94, -84, -84, -88, -88, -8, -8, -46, -46, -38, -38, -64, -64, 72, 72, -12, -12, 8, 8, 72, 72, 68, 68, 116, 116, 60, 60, -60, -60, 112, 112, 44, 44, -36, -36, -50, -50, -44, -44, -36, -36, -2, -2, 38, 38, 64, 64, 28, 28, 36, 36, -108, -108, 52, 52, -26, -26, -76, -76, 106, 106, 48, 48, -116, -116, -112, -112, -20, -20, -48, -48, -42, -42, 12, 12, -104, -104, -88, -88, 32, 32, -68, -68, 50, 50, 80, 80, 24, 24, 52, 52, 44, 44, 14, 14, -48, -48, -112, -112, 130, 130, -96, -96, 8, 8, 64, 64, -60, -60, 84, 84, 64, 64, -22, -22, -84, -84, -94, -94, 132, 132, -84, -84, -116, -116, -14, -14, 100, 100, -26, -26, -24, -24, -116, -116, 36, 36, -32, -32, -44, -44, 16, 16, -56, -56, 24, 24, 36, 36, 24, 24, 0, 0, 4, 4, 74, 74, 36, 36, -84, -84, -28, -28, 72, 72, 2, 2, 96, 96, 48, 48, -96, -96, -126, -126, -4, -4, -142, 24, 24, -52, -52, -8, -8, 92, 92, 96, 96, 50, 50, 128, 128, -50, -50, 64, 64, -98, -98, 24, 24, 124, 124, 16, 16, 72, 72, 64, 64, -28, -28, 132, 132, -82, -82, 34, 34, -96, -96, -70, -70, 32, 32, 24, 24, -80, -80, -40, -40, 50, 50, -20, -20, -140, -140, -88, -88, -36, -36, -8, -8, -56, -56, 46, 46, 20, 20, -132, -132, -140, -140, -60, -60, 104, 104, -84, -84, 8, 8, 80, 80, -60, -60, 36, 36, -54, -54, 64, 64, -40, -40, -26, -26, 22, 22, -60, -60, 56, 56, -16, -16, 52, 52, 14, 14, -58, 44, 44, 8, 8, 52, 52, -98, -98, 12, 12, 76, 76, 52, 52, 2, 2, -108, -108, -78, -78, -72, -72, -98, -98, -108, -108, -52, -52, 12, 12, -104, -104, 2, 2, 148, 148, 24, 24, -108, -108, 92, 92, 0, 0, 22, 22, -132, -132, 116, 116, -96, -96, -140, -140, 8, 8, -120, -120, -82, -82, -64, -64, 92, 92, -24, -24, 34, 34, -108, -108, 56, 56, -128, -128, -10, -10, 124, 124, -76, -76, -22, 64, 64, 28, 28, 62, 62, -28, -28, 40, 40, 68, 68, 122, 122, -64, -64, 12, 12, -112, -112, 52, 52, -144, -144, -84, -84, 50, 50, 28, 28, 84, 84, 86, 86, 36, 36, -80, -80, 72, 72, 0, 0, 16, 16, -48, -48, -126, -126, 52, 52, 62, 62, 8, 8, -60, -60, 120, 120, 78, 78, -86, -86, -116, -116, 84, 84, 100, 100, 130, 130, 12, 12, 132, 132, 140, 140, -132, -132, 114, 114, -138, -138, -170, -170, -112, -112, 104, 104, 144, 144, 22, 22, 136, 136, 60, 60, 28, 28, 38, 38, 52, 52, 96, 96, -40, -40, 96, 96, -74, -74, 88, 88, -66, -66, 168] hecke_eigenvalues = {} for i in range(len(hecke_eigenvalues_array)): hecke_eigenvalues[primes[i]] = hecke_eigenvalues_array[i] AL_eigenvalues = {} AL_eigenvalues[ZF.ideal((-a,))] = 1 AL_eigenvalues[ZF.ideal((a - 1,))] = 1 AL_eigenvalues[ZF.ideal((-2*a + 1,))] = 1 # EXAMPLE: # pp = ZF.ideal(2).factor()[0][0] # hecke_eigenvalues[pp]