""" 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((242, a + 226)) 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 = [-1, 0, 2, -2, 3, 0, 3, 3, 2, 3, 0, 8, 5, -10, -1, -12, 9, -4, -4, 6, 12, 14, -10, 9, 6, -7, -4, -18, -12, -7, 11, 6, -3, -6, -6, -16, -13, -1, -16, 8, -18, -9, 18, -6, -4, -16, 18, -18, 8, -22, 21, 21, 0, 24, -12, 12, 11, 8, -15, -27, 2, 9, -12, -19, 14, 8, 20, -15, 6, -3, 9, 20, 11, -22, 8, -16, -6, 30, 6, 30, 26, 2, 0, -3, -12, 15, 39, 21, -22, -40, -4, -4, -7, 32, -42, -9, 5, -4, 8, 11, -28, -28, 33, -30, -6, -6, 29, -40, 6, 30, 11, 2, 18, -48, 38, 8, -12, -18, 27, 30, 33, 0, -10, -19, 36, -30, 39, -24, -43, 50, -10, -19, 39, -15, -31, -40, 20, -1, -18, 0, -42, -9, -46, -34, -12, -12, 12, 12, 44, 2, -31, 2, -16, 23, 9, -57, -16, -4, 24, 24, 9, 30, 41, -40, -37, -27, 54, 2, 2, 20, -16, 42, -36, -24, -60, -10, -1, -28, 5, 12, 6, 17, 32, 29, 38, 24, -9, 5, 38, 35, -31, -60, -24, -10, -43, -18, 51, 32, 32, 26, 2, -60, 9, -33, 36, -54, -30, -10, -34, 56, -49, 14, 44, -18, 54, 54, 39, 59, 44, 18, 18, 41, -25, -1, -10, -24, -45, -12, 12, -37, -4, 44, 68, 63, 75, -6, -6, -12, -18, 12, -54, -34, 20, -49, -4, 48, -48, 14, 23, -30, 36, 30, 33, 71, -70, -43, -19, -72, -6, 53, -69, 60, -22, -19, 48, 33, 20, -79, -37, -7, -36, 72, 2, 2, 2, -22, 50, -58, 24, 24, 2, 26, -30, -66, 21, -60, -66, 0, 2, 11, 66, -18, 38, -28, 57, 24, 32, -13, 29, 71, -9, -18, -15, -39, 14, 11, 69, -30, -69, 33, -58, 5, 66, -42, 0, 66, 15, 66, 65, 59, -46, 20, 24, 66, -4, -4, 3, -33, 53, -30, 12, -34, 56, 63, -6, 74, -79, -67, -40, -58, -16, -78, 72, 80, 80, 84, 51, 66, 69, -61, 62, 47, -19, -27, 12, 32, -34, -9, 33, 57, 81, 83, -4, -21, 12, -48, -93, 50, -34, -61, 71, 44, -58, 18, 51, 12, 36, -57, 6, -25, -16, 0, 15, -48, -6, 74, 20, -33, 15, 50, 32, 62, -7, -16, -10, 60, -15, -93, -21, 41, 86, 92, -34, -96, -21, -9, 81, -22, -40, 98, -73, 0, -96, -84, 18, 72, -36, -10, -52, -79, 17, 24, 66, 12, 6, 84, 18, -36, 96, -15, 81, 60, -39, -58, -49, -52, -76, 2, -40, 32, 20, 42, 54, 20, -58, -6, -6, -12, 54, 50, 20, 12, -30, -10, 50, 21, 6, -82, 62, 84, 18, -67, -40, -61, -25, 18, -51, 80, 47, 107, 11, 35, 77, 0, 102, 32, 89, -42, 57, 50, -4, 45, -60, -108, -9, -42, 24, -102, 0, -58, -91, 56, -1, 65, -79, 65, -75, -66, -3, 30, 68, 2, 33, -84, 9, -69, -100, -109, -10, 56, 60, 18, 74, 53, -108, -9, 29, 116, -70, -37, -96, -96, 68, -37, 38, 32, 23, -84, 84, -60, -54, -24, -27, -88, 92, -69, 39, 20, 116, -30, 36, -94, 38, -52, 122, 24, 90, 36, -54, -28, -58, -16, -25, -75, 33, -90, 42, -15, -6, -52, 47, -46, 32, -85, 110, 20, 17, 12, 3, -117, -42, 104, -94, 29, 95, 26, 62, -24, 75, -54, -87, 86, -16, 66, -96, 48, -75, 62, 104, -12, -18, -102, 30, -64, -64, -96, 45, -6, 93, -54, -111, 2, 68, -72, -6, 60, -36, 0, -129, -16, 32, 30, 33, -102, 93, -85, -55, -76, 83, 62, -103, -15, 18, -33, -30, 41, -127, -106, 62, 21, -93, 45, -54, 89, -1, 15, 120, 86, 98, -28, 74, -42, 48, 116, -37, 33, 33, 113, -43, 134, -130, 54, 72, -36, -69, -70, 128, -46, 41, -27, 117, -103, 125, -49, -76, -6, 96, -102, 105, 68, 2, -63, -120, -16, 29, 68, 92, -94, -70, 78, -111, 72, -36, -97, -88, 39, 108, 44, 26, 48, -66, -112, 50, 57, -42, -78, 114, -72, 18, -51, -15, 36, -96, 23, 57, 0, 72, -144, -31, -130, 74, 20, -36, -90, -100, -82, 96, -102, -93, -120, 68, -40, -124, -82, -12, 72, 134, -106, -102, 141, -70, 38, -55, -91, 24, -75, 99, -42, -4, -7, 15, 57, 39, 18, 62, -49, -21, -144, -91, -46, -4, 5, 108, 72, 122, 116, -84, -114, -100, -1, -34, 50, 123, -99, -27, -12, 117, -72, 44, -52, 96, -90, 17, 74, -12, -84, -52, 14, -30, -30, 41, -94, -4, 62, 116, -13, -135, 42, -132, 24, 11, 92, 105, -3, 30, 30, -16, -103, 87, -54, -124, 20, -55, 107, 15, 150, 72, 18, -16, 65, 93, -39, 75, -24, -138, -15, 146, 80, -55, 80, 84, 138, -79, -67, -88, 143, 104, 38, 59, -34, 114, 90, -109, -16, 62, -70, 51, 84, -90, -45, -88, 140, 68, -88, -90, 96, 44, 44, 87, 114, -145, 50, -58, 41, -6, 96, -88, 59, 86, 74, 56, -52, -114, 117, -30, 45, 128, -28, -100, -13, -72, 30, 3, -132, -34, -82, -66, -69, -70, -106, 18, -6, 144, 111, 80, -121, 71, 38, -64, 0, -36, 48, 120, -12, 141, 132, -30, 140, 38, -24, 54, -4, -37, 39, -3, -88, 110, -12, 114, 38, 137, 0, -51, -9, 156, -147, 93, 51, 48, -48, -48, -82, -76, 54, 12, -88, 8, -72, 60, 101, 26, 75, 108, -36, 159, 74, 50, -69, 138, -46, -91, 125, -1, -85, 14, -40, 68, -45, -54, -4, 128, 134, -154, 9, 96, -132, -42, -60, 144, 150, 6, 3, -96, 38, -25, -69, -105, 45, 54, 44, -91, 23, -109, -151, -142, 114, 0, -40, -100, -112, 152, 2, -31, -34, 20, 21, -12, -126, -21, -78, -144, -78, 108, -42, -42, -64, -130, 102, 33, -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((a,))] = 1 AL_eigenvalues[ZF.ideal((2*a + 1,))] = -1 # EXAMPLE: # pp = ZF.ideal(2).factor()[0][0] # hecke_eigenvalues[pp]