""" 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((45, 3*a + 24)) 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 = [1, 0, -1, 0, -1, 6, 6, 6, 8, -4, -10, 2, 0, 0, 2, 6, 0, -6, -6, -4, -4, -12, -12, 0, 6, 2, -10, -16, 8, 6, -12, 18, -12, 2, -22, -16, 20, -10, 0, 12, 2, -10, -12, 12, 8, -4, 8, -16, 14, -10, -12, -24, 6, 0, 18, 12, -10, 30, -30, -10, 2, 24, -18, -28, 8, 24, 18, 14, 32, -4, -28, 20, 6, 6, 30, -24, 2, 38, -6, -12, -24, -12, -10, 26, -10, 2, 18, 30, 30, 24, -4, 8, 6, 18, 8, 20, 20, -28, -18, 0, -18, 24, 2, -22, 6, 18, -30, 30, -36, -18, 32, -28, -16, 20, 36, 18, -40, -4, 6, -42, -36, 6, -22, -46, 36, -48, -4, -16, 26, -22, -48, -48, 8, 32, 8, 8, 38, 2, 18, 24, 18, 12, -40, 8, 2, 2, 30, -30, -22, -4, 44, -6, 18, -30, 0, 20, 20, -28, -16, 36, 12, -24, -6, 48, -36, 30, 6, 48, -42, 54, -18, 8, -40, 6, -24, -10, 14, -40, 32, -6, 0, 6, 48, 8, 8, -22, 38, 24, 24, -42, -60, 32, 44, 50, 14, 20, -40, 48, 6, -18, 48, -10, -46, 2, -58, 24, -36, 36, 66, -52, -16, -64, -4, 36, -42, -28, 8, 6, -54, 62, -34, 0, -24, -6, 24, -24, 18, 32, 8, -6, -36, 66, 30, 26, -58, 44, 68, 38, 50, -36, -48, 30, 42, 54, 18, 32, 32, -34, 38, 32, -16, -36, -24, 48, -72, 26, -46, 2, -46, -6, 12, -22, -54, -24, -76, -28, 6, -36, 54, 60, -22, -46, -4, -52, -70, -58, -28, -16, 36, 48, -64, 68, -46, 18, 30, -70, 38, 32, 80, -30, 36, -78, 30, 80, 32, 12, 30, 30, -30, -40, 20, -34, 26, -36, -48, -58, 50, 54, -78, 66, 12, 44, 44, 6, -42, -46, 14, -22, 2, -4, -16, 2, 62, -4, 44, -4, 20, -36, -66, 18, -18, 26, 50, -22, -34, 62, -46, 36, 54, 80, 44, 84, 54, 26, -58, 80, -4, -78, 48, 38, -22, 90, 0, 96, 0, 36, 12, 78, -66, -52, -16, 38, 62, -30, -54, -16, -76, 38, -46, 24, 36, -24, -18, -60, -6, -36, 84, 32, 44, 14, 50, -60, 84, -10, 38, 84, 42, -12, -24, 8, -28, -18, -6, 12, -42, -40, 20, 48, -78, -36, 42, -46, -82, 32, 68, -36, -72, 36, 0, 24, -54, -64, 68, 0, -6, -24, 66, 36, 36, 14, -10, -48, -78, -48, 12, -4, 56, 14, 86, 44, -76, 60, 12, 62, 86, 24, 30, 38, 38, -100, -4, -18, 42, 78, -84, -70, 74, -90, 42, 14, 50, -12, -42, 48, -18, 44, -28, 32, -40, -82, 38, 108, 0, 68, -52, 42, 54, -6, 30, -78, 42, -30, -96, -16, -64, -60, 66, 38, -22, 2, 38, 32, 116, 38, 50, -108, 48, 116, -28, 38, 62, 92, -16, 6, 12, -10, 62, -66, -108, -96, -72, 20, 32, 102, -48, -46, 62, -60, -30, 24, -96, -22, 56, -88, 14, 50, 6, -90, -22, -58, 78, -12, 6, 48, -36, -48, 50, 14, -22, -34, 78, -36, -84, 30, -64, 116, -52, -16, -16, 20, 18, -18, 78, -66, 30, 72, 54, 30, 68, 68, -108, -90, 20, 80, 50, -10, 36, 102, -102, -114, -46, -10, -10, 38, -24, 84, 56, -112, 30, 30, 24, -30, -12, -66, -70, -118, 90, 54, -82, 2, -36, 24, 8, 92, -18, -24, -16, 68, -90, 84, -58, -34, -120, -90, -112, -16, 32, 80, 132, 30, 30, 24, -130, 86, -100, -16, 48, -60, 32, 92, -76, -100, 86, -34, 36, 120, 116, -88, 122, 38, -12, -18, 24, -48, 60, -48, -124, -76, -126, -72, -64, -64, 2, -70, -30, 78, 50, -46, 66, -42, -114, 84, 126, -84, 14, -94, -66, -18, -34, -70, 36, 42, -54, 42, 92, -88, -90, -96, -52, 92, -40, -40, -60, -48, 96, -18, -18, -36, -24, -24, -108, -12, 44, 68, 86, -58, -40, -28, -24, -6, -18, -138, -88, -124, -58, 122, 72, 42, 90, 12, 90, -96, 62, 14, 18, -6, 110, -126, 120, 68, -124, -96, 120, 66, -36, 36, 132, 26, 86, -42, 36, -70, 14, -64, -124, 2, 50, -24, -72, -64, 56, 24, 12, -48, -42, -40, -4, -88, -124, -54, -78, 134, -46, 2, -118, -12, -12, -22, 98, 32, 32, 18, -24, -28, 20, 18, -36, -130, -70, 56, -16, -100, 20, -40, 32, 36, 90, -78, -84, -88, -4, -82, 146, 60, 42, 138, 78, 54, 42, -42, 36, -28, -100, 6, -18, -96, 108, 68, -64, -42, -66, 66, -12, -70, -10, -4, 68, 36, 66, 86, 2, 2, -106, 78, -90, 96, 48, -88, 140, 30, 60, -10, -10, 110, -96, -42, -144, 24, 80, 44, -142, 2, -18, 36, 126, 114, -30, 96, 74, -46, 54, 42, -82, 86, -112, -88, 74, -70, -6, 120, -4, 128, 0, -114, -52, 116, 74, -10, -12, 42, -60, 96, -84, -150, -28, -4, 48, 66, -46, 146, 54, 36, -6, -78, -126, -36, -124, -4, -16, -4, -24, -120, 86, 2, 6, -108, -52, -148, 120, 36, -10, -94, 138, 54, 72, -84, -64, 92, 134, -130, -102, -72, -78, -36, 50, 36, 60, -162, -132, 50, -106, 128, -16, -6, 156, 54, 126, 74, -58, 54, 12, 138, -126, 116, -4, -54, 102, -36, -30, -12, 54, -106, -34, -18, 18, -160, -16, 134, -46, 18, 102, 68, -76, -124, -76, -12, -108, 138, 156, -24, -156, 26, -106, -102, 78, -46, 74, 12, -24, -96, -42, -136, 32, -106, -94, -106, 14, -138, -162, -100, 104, -18, -48, -142, -22, -52, -160, -36, 138, 54, -144, -30, -18, -82, -34, -82, -70, -58, 146, -66, 12, -24, 24, -112, 44, 2, 98, -64, -112, 30, -78, -30, -108, 146, 2, 116, 56, -84, -156, -124, 80, 60, 12, -58, -22, 80, 92, 50, -22, -96] 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((a - 2,))] = 1 # EXAMPLE: # pp = ZF.ideal(2).factor()[0][0] # hecke_eigenvalues[pp]