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