""" 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((44, 4*a + 20)) 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, 1, 0, -3, -3, -1, -3, -3, 5, 5, -1, -1, 0, 0, -10, -6, -6, 3, 3, -1, -1, 15, 15, -9, -9, -7, -7, 8, 8, -15, -15, 9, 9, 5, 5, -4, -4, -10, -9, -9, -13, -13, -21, -21, 8, 8, 17, 17, -13, -13, -9, -9, -18, -18, -6, -6, 2, 12, 12, -1, -1, 33, 33, -7, -7, -21, -21, 26, -19, -19, 29, 29, -27, -27, -27, -27, -34, -34, 18, 18, 12, 12, -10, -10, 29, 29, -21, -21, 3, 3, 23, 23, 3, 3, 29, 29, -4, -4, -21, -21, -27, -27, 17, 17, -12, -12, 0, 0, 18, 18, 17, 17, -43, -43, 39, 39, -13, -13, 3, 3, 3, 3, 17, 17, 48, 48, -1, -1, -37, -37, 45, 45, 17, 17, 35, 35, -22, -22, 42, 42, 9, 9, -43, -43, -19, -19, -39, -39, -58, -25, -25, 48, 48, -27, -27, -4, -4, -4, -4, 12, 12, 18, 18, 27, 27, -15, -15, 45, 45, 45, 45, -16, -16, 51, 51, -58, -58, 23, 23, 33, 33, -33, -33, 32, 32, 41, 41, -9, -9, -30, -30, -40, -40, 41, 41, 35, 35, 30, 30, -21, -21, 11, 11, 2, 2, 9, 9, -3, -3, -37, -37, 8, 8, -33, -33, -67, -67, -60, -60, -1, -1, 48, 48, -21, -21, -39, -39, -25, -25, -42, -42, -24, -24, 5, 5, -25, -25, -7, -7, 9, 9, 15, 15, -15, -15, -52, -52, 53, 53, -52, -52, 12, 12, 3, 3, 38, 38, 38, 38, 45, 45, -82, 6, 6, 8, 8, -9, -9, 45, 45, 5, 5, 17, 17, -46, -46, -31, -31, -63, -63, 23, 23, 14, -57, -57, 26, 26, -25, -25, -15, -15, -60, -60, 83, 83, 27, 27, -84, -84, -67, -67, 47, 47, 57, 57, -79, -79, -36, -36, -42, -42, -49, -49, -51, -51, 26, 26, 17, 17, 47, 47, -13, -13, 29, 29, 89, 89, -18, -18, -21, -21, 5, 5, -49, -49, -55, -55, -9, -9, -79, -79, -33, -33, -25, -25, 53, 53, 51, 51, -37, -37, 78, 78, 15, 15, -21, -21, -15, -15, 53, 53, -19, -19, -9, -9, 80, 80, 41, 41, -36, -36, -42, -42, 15, 15, -27, -27, 80, 80, 77, 77, 93, 93, -19, -19, -45, -45, 63, 63, 41, 41, 69, 69, -18, -18, -76, -76, -39, -39, 6, 6, -58, -58, 68, 68, -15, -15, 60, 60, 69, 69, 77, 77, 6, 6, 51, 51, -48, -48, 74, 74, 63, 63, -39, -39, 29, 29, 11, 11, 59, 59, -3, -3, -31, -31, -6, -6, -7, -7, -37, -37, -21, -21, 9, 9, 53, 53, 96, 96, 23, 23, -3, -3, -6, -6, -52, -52, 23, 23, -37, -37, -84, -84, -61, -61, -15, -15, -15, -15, 39, 39, 51, 51, 44, 44, -51, -51, -34, -34, -97, -97, 8, 8, -97, -97, -57, -57, 44, 44, 77, 77, -13, -13, -111, -111, -58, -58, -105, -105, -12, -12, -40, -40, 66, 66, 47, 47, -90, -90, 51, 51, -106, -43, -43, 50, 50, -9, -9, 50, 50, 57, 57, 51, 51, 105, 105, -70, -70, 74, 74, -57, -57, -45, -45, 56, 56, -43, -43, 56, 56, -21, -21, 72, 72, 6, 6, 9, 9, -76, -76, -15, -15, 11, 11, -1, -1, -87, -87, 84, 84, -34, -34, -1, -1, -84, -84, -25, -25, -129, -129, -15, -15, -3, -3, -85, -85, 33, 33, 47, 47, 33, 33, -49, -49, -18, -18, -7, -7, 66, 66, -73, -73, 18, 18, 131, 131, -103, -103, 18, 18, 57, 57, 131, 131, -25, -25, 12, 12, -16, -16, -1, -1, 26, 26, -15, -15, 17, 17, -103, -103, 18, 18, 75, 75, -81, -81, 32, 32, 69, 69, -55, -55, 14, 14, -45, -45, -43, -43, 96, 96, -63, -63, -51, -51, 95, 95, 96, 96, -34, -34, -42, -42, 36, 36, 8, 8, 75, 75, -124, -124, -64, -64, 81, 81, 3, 3, -39, -39, 93, 93, -57, -57, -16, -16, -115, -115, -67, -67, -15, -15, -105, -105, -52, -52, -13, -13, -45, -45, -117, -117, 75, 75, 41, 41, -123, -123, -130, -126, -126, -7, -7, -57, -57, 69, 69, 3, 3, -130, -130, 126, 126, -34, -34, 131, 131, 59, 59, -105, -105, 83, 83, 84, 84, -57, -57, -31, -31, -16, -16, 93, 93, -73, -73, 11, 11, 69, 69, -7, -7, 11, 11, 63, 63, 77, 77, -30, -30, 65, 65, 113, 113, -49, -49, 44, 44, -90, -90, 51, 51, 116, 116, -145, -145, 90, 90, -33, -33, 27, 27, -3, -3, 149, 149, 57, 57, -57, -57, -112, -112, -57, -57, -51, -51, 71, 71, 149, 149, 6, 6, -58, -58, 137, 137, 135, 135, 36, 36, 53, 53, -99, -99, -7, -7, -154, 105, 105, 57, 57, -127, -127, -115, -115, 9, 9, 39, 39, 66, 66, 38, 38, 12, 12, -10, -10, 20, 20, 14, 14, -87, -87, -43, -43, 105, 105, -100, -100, -19, -19, -51, -51, 123, 123, -27, -27, -148, -148, -57, -57, 38, 38, 33, 33, -81, -81, -57, -57, -37, -37, 119, 119, -48, -48, 41, 41, -138, -138, 131, 131, 36, 36, -13, -13, 39, 39, -21, -21, 80, 80, -115, -115, -111, -111, -39, -39, -130, -96, -96, 54, 54, 14, 14, 128, 128, 75, 75, -111, -111, -13, -13, 78, 78, -24, -24, -7, -7, -84, -84, -93, -93, -27, -27, 119, 119, 165, 165, 29, 29, 50, 50, -33, -33, 95, 95, -139, -139, -123, -123, 111, 111, -27, -27, 122, 122, 63, 63, -85, -85, -108, -108, 138, 138, -40, -40, -43, -43, 23, 23, -60, -60, 113, 113, -27, -27, -79, -79, 143, 143, -42, -42, 105, 105, 69, 69, -121, -121, 134, 134, 17, 17, 126, 126, 120, 120, 29, 29, -10, -10, 107, 107, -63, -63, -66, -66, -37, -37, -115, -115, -105, -105, -97, -97, 147, 147, 59, 59, 173, 173, -70, -70, -45] hecke_eigenvalues = {} for i in range(len(hecke_eigenvalues_array)): hecke_eigenvalues[primes[i]] = hecke_eigenvalues_array[i] AL_eigenvalues = {} AL_eigenvalues[ZF.ideal((2,))] = 1 AL_eigenvalues[ZF.ideal((-2*a + 1,))] = 1 # EXAMPLE: # pp = ZF.ideal(2).factor()[0][0] # hecke_eigenvalues[pp]