""" 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([2, 0, 1]) F = NumberField(g, "a") a = F.gen() ZF = F.ring_of_integers() NN = ZF.ideal((16, 16*a)) primes_array = [ (a,),(-a-1,),(a-1,),(a+3,),(a-3,),(-2*a+3,),(2*a+3,),(-3*a+1,),(3*a+1,),(5,),(-4*a-3,),(4*a-3,),(-3*a-5,),(3*a-5,),(7,),(-5*a+3,),(-5*a-3,),(-3*a+7,),(3*a+7,),(-6*a+1,),(6*a+1,),(a+9,),(a-9,),(-2*a+9,),(2*a+9,),(-6*a-5,),(6*a-5,),(7*a+3,),(7*a-3,),(-4*a+9,),(4*a+9,),(-5*a-9,),(5*a-9,),(-8*a+3,),(-8*a-3,),(-3*a-11,),(3*a-11,),(-9*a+1,),(9*a+1,),(13,),(7*a+9,),(7*a-9,),(-6*a-11,),(6*a-11,),(9*a-7,),(9*a+7,),(a+15,),(a-15,),(-2*a+15,),(2*a+15,),(-6*a+13,),(6*a+13,),(-11*a+3,),(-11*a-3,),(-4*a-15,),(4*a-15,),(-10*a-9,),(10*a-9,),(9*a+11,),(9*a-11,),(-3*a-17,),(3*a-17,),(-12*a+5,),(12*a+5,),(9*a+13,),(9*a-13,),(12*a+7,),(-12*a+7,),(13*a+3,),(13*a-3,),(-8*a-15,),(8*a-15,),(-3*a+19,),(3*a+19,),(-14*a+3,),(-14*a-3,),(-12*a-11,),(12*a-11,),(13*a-9,),(13*a+9,),(-6*a+19,),(6*a+19,),(a+21,),(a-21,),(-2*a+21,),(2*a+21,),(-12*a+13,),(12*a+13,),(-11*a+15,),(-11*a-15,),(-5*a+21,),(5*a+21,),(15*a+7,),(15*a-7,),(16*a+3,),(16*a-3,),(-9*a+19,),(9*a+19,),(23,),(-3*a-23,),(3*a-23,),(13*a+15,),(13*a-15,),(-8*a-21,),(-8*a+21,),(-15*a-11,),(-15*a+11,),(-12*a+17,),(12*a+17,),(-17*a+3,),(-17*a-3,),(16*a+9,),(-16*a+9,),(-6*a-23,),(6*a-23,),(-14*a+15,),(14*a+15,),(15*a-13,),(15*a+13,),(-10*a+21,),(10*a+21,),(-3*a+25,),(3*a+25,),(-17*a+9,),(-17*a-9,),(-18*a-5,),(18*a-5,),(-11*a-21,),(11*a-21,),(-9*a+23,),(-9*a-23,),(15*a+17,),(15*a-17,),(-4*a-27,),(4*a-27,),(18*a-11,),(-18*a-11,),(9*a-25,),(9*a+25,),(-20*a+3,),(-20*a-3,),(-15*a+19,),(-15*a-19,),(-7*a-27,),(7*a-27,),(29,),(-8*a+27,),(-8*a-27,),(-3*a-29,),(3*a-29,),(-20*a+9,),(20*a+9,),(-21*a+1,),(21*a+1,),(21*a+5,),(21*a-5,),(10*a-27,),(10*a+27,),(-18*a-17,),(18*a-17,),(-19*a-15,),(-19*a+15,),(16*a+21,),(16*a-21,),(31,),(11*a+27,),(11*a-27,),(22*a+3,),(22*a-3,),(-18*a+19,),(18*a+19,),(17*a+21,),(17*a-21,),(-6*a+31,),(6*a+31,),(-22*a+9,),(22*a+9,),(21*a+13,),(-21*a+13,),(a+33,),(a-33,),(-2*a+33,),(2*a+33,),(9*a+31,),(9*a-31,),(-12*a+29,),(12*a+29,),(-24*a+1,),(24*a+1,),(19*a+21,),(19*a-21,),(21*a-17,),(21*a+17,),(7*a-33,),(7*a+33,),(22*a-15,),(22*a+15,),(-24*a+7,),(24*a+7,),(-8*a+33,),(8*a+33,),(12*a+31,),(-12*a+31,),(25*a+3,),(25*a-3,),(-23*a-15,),(-23*a+15,),(10*a+33,),(10*a-33,),(-15*a-29,),(15*a-29,),(-6*a-35,),(6*a-35,),(17*a+27,),(-17*a+27,),(24*a+13,),(-24*a+13,),(-26*a+3,),(-26*a-3,),(37,),(-22*a-21,),(22*a-21,),(-13*a+33,),(-13*a-33,),(-26*a+9,),(-26*a-9,),(-19*a-27,),(19*a-27,),(-27*a+1,),(27*a+1,),(-14*a+33,),(-14*a-33,),(-27*a+5,),(27*a+5,),(18*a-29,),(-18*a-29,),(23*a-21,),(23*a+21,),(a+39,),(a-39,),(-9*a+37,),(9*a+37,),(-4*a-39,),(4*a-39,),(-5*a-39,),(5*a-39,),(-27*a+11,),(27*a+11,),(-16*a+33,),(16*a+33,),(-18*a+31,),(18*a+31,),(-7*a+39,),(-7*a-39,),(27*a+13,),(27*a-13,),(-12*a+37,),(12*a+37,),(-17*a-33,),(17*a-33,),(-22*a+27,),(22*a+27,),(-3*a-41,),(3*a-41,),(-10*a-39,),(10*a-39,),(21*a-29,),(-21*a-29,),(27*a-17,),(-27*a-17,),(-6*a-41,),(6*a-41,),(-24*a+25,),(24*a+25,),(-23*a+27,),(-23*a-27,),(-30*a+1,),(30*a+1,),(-19*a-33,),(-19*a+33,),(-3*a+43,),(3*a+43,),(-18*a-35,),(18*a-35,),(-20*a-33,),(-20*a+33,),(-29*a+15,),(-29*a-15,),(-14*a-39,),(-14*a+39,),(31*a+3,),(31*a-3,),(25*a+27,),(25*a-27,),(-27*a-23,),(-27*a+23,),(-24*a+29,),(-24*a-29,),(-31*a+9,),(31*a+9,),(9*a-43,),(9*a+43,),(-18*a+37,),(18*a+37,),(a+45,),(a-45,),(-26*a+27,),(26*a+27,),(27*a-25,),(27*a+25,),(30*a+17,),(-30*a+17,),(-17*a+39,),(17*a+39,),(-24*a+31,),(24*a+31,),(-32*a-9,),(32*a-9,),(-15*a-41,),(-15*a+41,),(12*a+43,),(-12*a+43,),(-8*a-45,),(-8*a+45,),(30*a+19,),(-30*a+19,),(-33*a+1,),(33*a+1,),(-33*a-5,),(33*a-5,),(47,),(-19*a+39,),(19*a+39,),(21*a-37,),(21*a+37,),(-11*a+45,),(11*a+45,),(-32*a+15,),(32*a+15,),(-6*a-47,),(6*a-47,),(-28*a-27,),(28*a-27,),(25*a+33,),(25*a-33,),(-33*a-13,),(33*a-13,),(9*a+47,),(9*a-47,),(-24*a+35,),(24*a+35,),(34*a+9,),(-34*a+9,),(29*a-27,),(29*a+27,),(-14*a+45,),(-14*a-45,),(26*a+33,),(-26*a+33,),(-35*a+3,),(-35*a-3,),(-33*a+17,),(-33*a-17,),(-6*a+49,),(6*a+49,),(24*a+37,),(-24*a+37,),(-35*a+9,),(-35*a-9,),(33*a-19,),(-33*a-19,),(-23*a-39,),(23*a-39,),(-36*a+1,),(36*a+1,),(-2*a+51,),(-2*a-51,),(36*a+5,),(36*a-5,),(-4*a-51,),(4*a-51,),(-28*a-33,),(28*a-33,),(15*a+47,),(15*a-47,),(-27*a-35,),(27*a-35,),(-12*a+49,),(12*a+49,),(7*a+51,),(7*a-51,),(-33*a-23,),(33*a-23,),(-36*a-11,),(36*a-11,),(-8*a+51,),(-8*a-51,),(-21*a+43,),(21*a+43,),(34*a-21,),(34*a+21,),(-32*a-27,),(32*a-27,),(-10*a+51,),(10*a+51,),(33*a-25,),(33*a+25,),(53,),(37*a+9,),(37*a-9,),(-24*a-41,),(24*a-41,),(-11*a-51,),(-11*a+51,),(-15*a+49,),(-15*a-49,),(18*a-47,),(-18*a-47,),(-38*a+3,),(-38*a-3,),(-13*a-51,),(13*a-51,),(36*a+19,),(-36*a+19,),(-37*a+15,),(37*a+15,),(-38*a+9,),(38*a+9,),(-9*a-53,),(9*a-53,),(-24*a-43,),(-24*a+43,),(31*a+33,),(31*a-33,),(33*a-29,),(33*a+29,),(-34*a-27,),(-34*a+27,),(-18*a+49,),(18*a+49,),(-39*a+5,),(-39*a-5,),(-23*a-45,),(23*a-45,),(-28*a-39,),(28*a-39,),(36*a-23,),(-36*a-23,),(-32*a+33,),(32*a+33,),(-39*a-11,),(39*a-11,),(-30*a+37,),(30*a+37,),(-9*a+55,),(9*a+55,),(-29*a+39,),(-29*a-39,),(40*a+3,),(40*a-3,),(-36*a+25,),(36*a+25,),(a+57,),(a-57,),(-2*a+57,),(-2*a-57,),(-15*a+53,),(-15*a-53,),(5*a+57,),(5*a-57,),(27*a+43,),(-27*a+43,),(12*a+55,),(-12*a+55,),(19*a-51,),(19*a+51,),(38*a+21,),(-38*a+21,),(39*a+17,),(39*a-17,),(-7*a+57,),(7*a+57,),(-24*a-47,),(24*a-47,),(-41*a+3,),(-41*a-3,),(36*a-29,),(36*a+29,),(10*a-57,),(10*a+57,),(-18*a-53,),(18*a-53,),(37*a-27,),(-37*a-27,),(11*a+57,),(11*a-57,),(-3*a-59,),(3*a-59,),(-42*a+1,),(42*a+1,),(35*a-33,),(35*a+33,),(33*a+37,),(33*a-37,),(-39*a+23,),(-39*a-23,),(28*a-45,),(-28*a-45,),(-38*a-27,),(38*a-27,),(-9*a+59,),(-9*a-59,),(-23*a-51,),(23*a-51,),(-18*a+55,),(18*a+55,),(-21*a+53,),(-21*a-53,),(-42*a+13,),(42*a+13,),(61,),(-3*a+61,),(3*a+61,),(16*a+57,),(-16*a+57,),(-12*a-59,),(12*a-59,),(43*a+9,),(-43*a+9,),(-6*a+61,),(6*a+61,),(-41*a+21,),(-41*a-21,),(-34*a+39,),(-34*a-39,),(-25*a+51,),(25*a+51,),(-44*a+3,),(-44*a-3,),(-42*a-19,),(42*a-19,),(21*a+55,),(-21*a+55,),(43*a+15,),(-43*a+15,),(40*a-27,),(40*a+27,),(-15*a-59,),(15*a-59,),(-31*a-45,),(31*a-45,),(-4*a-63,),(4*a-63,),(-39*a-31,),(-39*a+31,),(-5*a+63,),(-5*a-63,),(-33*a+43,),(33*a+43,),(-20*a-57,),(-20*a+57,),(-45*a+1,),(45*a+1,),(42*a-23,),(-42*a-23,),(-32*a+45,),(32*a+45,),(-41*a-27,),(-41*a+27,),(-45*a+7,),(45*a+7,),(-18*a-59,),(18*a-59,),(43*a+21,),(43*a-21,),(42*a+25,),(-42*a+25,),(-24*a+55,),(24*a+55,),(30*a+49,),(-30*a+49,),(-11*a-63,),(-11*a+63,),(22*a+57,),(-22*a+57,),(-45*a+13,),(45*a+13,),(46*a+3,),(46*a-3,),(-3*a-65,),(3*a-65,),(37*a+39,),(37*a-39,),(36*a+41,),(36*a-41,),(29*a-51,),(29*a+51,),(40*a-33,),(-40*a-33,),(-6*a-65,),(6*a-65,),(34*a+45,),(34*a-45,),(45*a-17,),(-45*a-17,),(21*a-59,),(21*a+59,),(-38*a+39,),(38*a+39,),(36*a+43,),(36*a-43,),(41*a-33,),(41*a+33,),(46*a+15,),(46*a-15,),(-16*a-63,),(16*a-63,),(-27*a+55,),(27*a+55,),(-3*a+67,),(3*a+67,),(-12*a+65,),(12*a+65,),(31*a-51,),(-31*a-51,),(-17*a-63,),(17*a-63,),(-6*a+67,),(6*a+67,),(21*a-61,),(21*a+61,),(-47*a+15,),(47*a+15,),(32*a+51,),(-32*a+51,),(9*a+67,),(9*a-67,),(-48*a+7,),(-48*a-7,),(-46*a+21,),(46*a+21,),(19*a+63,),(19*a-63,),(-40*a-39,),(40*a-39,),(39*a+41,),(39*a-41,),(-48*a-11,),(48*a-11,),(-43*a-33,),(43*a-33,),(-4*a+69,),(4*a+69,),(-36*a-47,),(36*a-47,),(-28*a+57,),(28*a+57,),(-8*a-69,),(-8*a+69,),(-29*a-57,),(29*a-57,),(22*a-63,),(22*a+63,),(-48*a-19,),(48*a-19,),(33*a-53,),(-33*a-53,),(36*a+49,),(-36*a+49,),(-11*a+69,),(-11*a-69,),(-50*a+3,),(-50*a-3,),(-45*a+31,),(45*a+31,),(71,),(-35*a+51,),(35*a+51,),(-3*a-71,),(3*a-71,),(-50*a-9,),(50*a-9,),(13*a+69,),(13*a-69,),(21*a+65,),(21*a-65,),(-6*a-71,),(6*a-71,),(47*a-27,),(-47*a-27,),(-14*a-69,),(14*a-69,),(31*a-57,),(31*a+57,),(-27*a+61,),(-27*a-61,),(-42*a-41,),(42*a-41,),(51*a+5,),(51*a-5,),(48*a+25,),(-48*a+25,),(16*a+69,),(16*a-69,),(-30*a-59,),(30*a-59,),(-32*a+57,),(32*a+57,),(51*a-11,),(-51*a-11,),(-3*a+73,),(3*a+73,),(41*a+45,),(41*a-45,),(-44*a-39,),(-44*a+39,),(52*a+3,),(52*a-3,),(45*a+37,),(-45*a+37,),(-50*a-21,),(-50*a+21,),(-39*a+49,),(-39*a-49,),(48*a-29,),(-48*a-29,),(19*a-69,),(-19*a-69,),(-47*a+33,),(47*a+33,),(-30*a+61,),(30*a+61,),(-49*a+27,),(-49*a-27,),(51*a+19,),(-51*a+19,),(48*a+31,),(-48*a+31,),(-24*a-67,),(-24*a+67,),(-29*a+63,),(-29*a-63,),(-4*a-75,),(4*a-75,),(33*a-59,),(-33*a-59,),(-27*a+65,),(27*a+65,),(-18*a-71,),(18*a-71,),(-42*a+47,),(42*a+47,),(15*a-73,),(15*a+73,),(40*a-51,),(-40*a-51,),(51*a+25,),(51*a-25,),(-53*a-15,),(53*a-15,),(-52*a+21,),(52*a+21,),(39*a-53,),(-39*a-53,),(-54*a+5,),(-54*a-5,),(11*a-75,),(11*a+75,),(54*a+7,),(-54*a+7,),(-44*a+45,),(44*a+45,),(21*a-71,),(-21*a-71,),(-47*a-39,),(-47*a+39,),(-54*a+11,),(-54*a-11,),(37*a-57,),(-37*a-57,),(25*a-69,),(25*a+69,),(51*a+29,),(-51*a+29,),(39*a+55,),(39*a-55,),(36*a-59,),(-36*a-59,),(-50*a-33,),(-50*a+33,),(-9*a+77,),(-9*a-77,),(-26*a-69,),(-26*a+69,),(-54*a-17,),(54*a-17,),(55*a+9,),(55*a-9,),(-51*a-31,),(-51*a+31,),(-17*a+75,),(17*a+75,),(21*a+73,),(21*a-73,),(-12*a+77,),(12*a+77,),(79,),(-46*a-45,),(46*a-45,),(-43*a-51,),(43*a-51,),(-49*a-39,),(-49*a+39,),(-28*a+69,),(28*a+69,),(42*a+53,),(-42*a+53,),(-56*a+9,),(56*a+9,),(-54*a-23,),(54*a-23,),(15*a+77,),(15*a-77,),(-51*a-35,),(51*a-35,),(-40*a-57,),(40*a-57,),(45*a+49,),(45*a-49,),(-44*a+51,),(44*a+51,),(-24*a+73,),(24*a+73,),(55*a-21,),(55*a+21,),(-50*a+39,),(50*a+39,),(12*a+79,),(-12*a+79,),(57*a+7,),(57*a-7,),(-42*a+55,),(42*a+55,),(a+81,),(a-81,),(-2*a+81,),(-2*a-81,),(51*a+37,),(-51*a+37,),(-18*a-77,),(18*a-77,),(-57*a+11,),(57*a+11,),(-7*a+81,),(-7*a-81,),(54*a+29,),(-54*a+29,),(-8*a+81,),(8*a+81,),(-15*a+79,),(-15*a-79,),(58*a+3,),(58*a-3,),(-10*a+81,),(10*a+81,),(-39*a+61,),(-39*a-61,),(55*a+27,),(55*a-27,),(54*a-31,),(-54*a-31,),(-11*a+81,),(-11*a-81,),(49*a-45,),(49*a+45,),(46*a+51,),(46*a-51,),(30*a-71,),(-30*a-71,),(-38*a-63,),(-38*a+63,),(51*a-41,),(51*a+41,),(13*a+81,),(13*a-81,),(-3*a-83,),(3*a-83,),(43*a+57,),(43*a-57,),(-6*a-83,),(6*a-83,),(-59*a+3,),(-59*a-3,),(-26*a-75,),(-26*a+75,),(-56*a+27,),(56*a+27,),(-47*a+51,),(-47*a-51,),(-57*a+23,),(57*a+23,),(-59*a-9,),(59*a-9,),(54*a-35,),(-54*a-35,),(-44*a+57,),(-44*a-57,),(-30*a+73,),(30*a+73,),(-12*a-83,),(12*a-83,),(-59*a+15,),(-59*a-15,),(28*a-75,),(28*a+75,),(-35*a-69,),(35*a-69,),(-33*a-71,),(33*a-71,),(-3*a+85,),(3*a+85,),(-19*a+81,),(-19*a-81,),(-6*a+85,),(6*a+85,),(-29*a+75,),(-29*a-75,),(-60*a+11,),(60*a+11,),(41*a+63,),(-41*a+63,),(-60*a-13,),(-60*a+13,),(-24*a+79,),(24*a+79,),(-51*a-47,),(-51*a+47,),(-48*a-53,),(48*a-53,),(-52*a-45,),(52*a-45,),(61*a+3,),(61*a-3,),(-58*a-27,),(58*a-27,),(57*a+31,),(-57*a+31,),(-46*a+57,),(46*a+57,),(-60*a-17,),(60*a-17,),(-37*a-69,),(37*a-69,),(33*a+73,),(-33*a+73,),(61*a+9,),(-61*a+9,),(22*a-81,),(22*a+81,),(18*a-83,),(-18*a-83,),(-31*a+75,),(-31*a-75,),(-60*a+19,),(60*a+19,),(-2*a+87,),(-2*a-87,),(51*a-49,),(-51*a-49,),(53*a+45,),(-53*a+45,),(-38*a-69,),(38*a-69,),(-32*a+75,),(-32*a-75,),(-54*a-43,),(-54*a+43,),(59*a+27,),(59*a-27,),(27*a-79,),(27*a+79,),(-57*a-35,),(-57*a+35,),(42*a-65,),(-42*a-65,),(56*a-39,),(56*a+39,),(58*a+33,),(-58*a+33,),(-44*a+63,),(44*a+63,),(57*a+37,),(-57*a+37,),(-18*a+85,),(18*a+85,),(61*a+21,),(-61*a+21,),(13*a-87,),(13*a+87,),(-34*a+75,)] primes = [ZF.ideal(I) for I in primes_array] heckePol = x K = QQ e = 1 hecke_eigenvalues_array = [0, 2, 2, -2, -2, -2, -2, 2, 2, -6, -6, -6, 6, 6, 2, 14, 14, 10, 10, 14, 14, -6, -6, -2, -2, -2, -2, -2, -2, 2, 2, -6, -6, 10, 10, -10, -10, 2, 2, -22, -6, -6, -2, -2, -22, -22, 18, 18, -18, -18, -2, -2, -18, -18, 18, 18, -18, -18, 6, 6, 18, 18, 10, 10, 14, 14, -14, -14, -18, -18, 18, 18, -2, -2, 30, 30, 10, 10, 26, 26, 30, 30, 6, 6, -34, -34, -6, -6, -14, -14, -10, -10, -22, -22, -22, -22, 14, 14, -30, -38, -38, 18, 18, 26, 26, 38, 38, 2, 2, -34, -34, 18, 18, 30, 30, -2, -2, 46, 46, 30, 30, 42, 42, -6, -6, -2, -2, -42, -42, -6, -6, 18, 18, 10, 10, -34, -34, -22, -22, -6, -6, -18, -18, 22, 22, -22, -6, -6, -50, -50, -46, -46, 34, 34, 38, 38, 30, 30, 46, 46, -14, -14, 58, 58, -62, 38, 38, 30, 30, -34, -34, 6, 6, -34, -34, -18, -18, 30, 30, -30, -30, -2, -2, 2, 2, -38, -38, -14, -14, 54, 54, -14, -14, 34, 34, -34, -34, 50, 50, 2, 2, -14, -14, 30, 30, -14, -14, 14, 14, -2, -2, -34, -34, 22, 22, 10, 10, -2, -2, 26, 30, 30, -62, -62, -34, -34, -26, -26, 2, 2, -2, -2, 38, 38, -34, -34, 6, 6, -54, -54, -10, -10, -14, -14, -54, -54, 22, 22, -14, -14, 46, 46, 74, 74, 30, 30, 42, 42, 2, 2, -66, -66, -6, -6, 30, 30, -50, -50, 50, 50, 46, 46, 66, 66, -10, -10, -18, -18, 66, 66, 22, 22, -2, -2, 34, 34, 18, 18, -66, -66, -66, -66, 54, 54, 58, 58, -22, -22, -6, -6, -26, -26, -66, -66, -50, -50, 30, 30, -86, -86, -18, -18, -22, -22, 66, 66, -46, -46, -70, -70, -22, -22, -54, -54, 62, 62, -30, -30, -10, -10, -30, 42, 42, 70, 70, 30, 30, -46, -46, 30, 30, 74, 74, 2, 2, -18, -18, -14, -14, -22, -22, 14, 14, 6, 6, 30, 30, 78, 78, 14, 14, -14, -14, -34, -34, -70, -70, 58, 58, -50, -50, -22, -22, -14, -14, -66, -66, -86, -86, -6, -6, -78, -78, -14, -14, -82, -82, -62, -62, 46, 46, 58, 58, 10, 10, -86, -86, -42, -42, 30, 30, -102, -102, 30, 30, 74, 74, -70, -70, -70, -30, -30, 94, 94, 50, 50, 62, 62, -66, -66, -66, -66, 90, 90, -14, -14, 30, 30, 102, 102, 26, 26, -30, -30, 62, 62, -34, -34, -2, -2, -74, -74, 14, 14, 34, 34, -62, -62, -14, -14, 102, 102, 62, 62, -38, -38, -86, -86, 42, 42, 34, 34, 10, 10, -2, -2, 70, 70, 42, 42, 22, 22, 2, 2, 94, 94, -2, -2, 18, 18, 10, 10, 82, 82, -98, -98, 26, 26, -34, -34, 30, 30, -58, -58, -22, -22, 70, 70, -34, -34, 34, 34, -74, -74, 58, 58, 58, 58, 94, 94, -10, -10, 14, 14, 14, 14, 22, 22, -2, -2, -118, -82, -82, -78, -78, -86, -86, -38, -38, 62, 62, 6, 6, -114, -114, -114, -114, -38, -38, -66, -66, 58, 58, -46, -46, 90, 90, -74, -74, 14, 14, 34, 34, 2, 2, -30, -30, 102, 102, -14, -14, -30, -30, 30, 30, 42, 42, 54, 54, 74, 74, 30, 30, -42, -42, -18, -18, -30, -30, -82, -82, -30, -30, -18, -18, -2, -2, 126, 126, -62, -62, -54, -54, -46, -46, -2, -2, -78, -78, -50, -50, -2, -2, 114, 114, -26, -26, 30, 30, -86, -86, 66, 66, 126, 126, 2, 2, -70, -70, -82, -82, 114, 114, 78, 78, 2, 2, -34, -34, 14, 14, 114, 114, 10, 10, -98, -98, -14, -14, -2, -2, -62, -62, 2, 2, -38, -38, 90, 90, 66, 66, 106, 106, -62, -62, -30, -30, 90, 90, -86, -86, -34, -34, 10, 10, 70, 70, -46, -46, 102, 102, 62, 62, 34, 34, 2, -98, -98, -86, -86, -2, -2, -90, -90, -94, -94, -18, -18, -106, -106, 94, 94, -86, -86, -50, -50, 30, 30, 38, 38, -14, -14, -6, -6, -98, -98, 66, 66, -138, -138, -38, -38, 78, 78, -94, -94, -102, -102, -90, -90, -34, -34, -14, -14, 138, 138, -26, -26, -126, -126, -130, -130, 54, 54, -34, -34, 114, 114, 74, 74, -94, -94, 74, 74, -10, -10, 2, 2, -2, -2, -50, -50, 26, 26, 42, 42, 74, 74, 50, 50, 42, 42, -122, -122, -34, -34, 54, 54, 110, 110, -102, -102, 74, 74, 106, 106, -66, -66, -150, -150, 54, 54, -82, -82, 26, 26, 10, 10, -82, -82, 78, 78, -66, -66, -98, -98, 90, 90, 66, 66, 102, 102, -134, -134, 90, 90, -94, 30, 30, -66, -66, -22, -22, -54, -54, 94, 94, -30, -30, 30, 30, -50, -50, -18, -18, 130, 130, 82, 82, 58, 58, 34, 34, 102, 102, -114, -114, -110, -110, -86, -86, -34, -34, -14, -14, -66, -66, 70, 70, -98, -98, -58, -58, 50, 50, -130, -130, 34, 34, 50, 50, -130, -130, 158, 158, -98, -98, -10, -10, -34, -34, 114, 114, 110, 110, 30, 30, -50, -50, 78, 78, -70, -70, 146, 146, -2, -2, -54, -54, 30, 30, 78, 78, -130, -130, 26, 26, 78, 78, 58, 58, -102, -102, -66, -66, -78, -78, 14, 14, -38, -38, -14, -14, 74, 74, 38, 38, -22, -22, -74, -74, -14, -14, 62, 62, 54, 54, -150, -150, 162, 162, 90, 90, 146, 146, 50, 50, 26, 26, -6, -6, 110, 110, -34, -34, -62, -62, 142, 142, -46, -46, 166, 166, -38, -38, 154, 154, 78, 78, 30, 30, -26, -26, -38, -38, 78, 78, -142, -142, 30, 30, 126, 126, -134, -134, 62, 62, -26, -26, 18, 18, 126, 126, -114, -114, -14, -14, -162, -162, 98, 98, -42, -42, 126, 126, 54, 54, 26, 26, 62] 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 # EXAMPLE: # pp = ZF.ideal(2).factor()[0][0] # hecke_eigenvalues[pp]