CoCalc Shared Filescode / nicholas_test_book.ipynb
In [5]:
load("modular_symbol_map.pyx")


Compiling ./modular_symbol_map.pyx...
In [15]:
d = 3
# much more ms, since this code is massively faster...
ms = [m for m in prime_range(3,50000) if gcd(m, 11) == 1 and euler_phi(m) % d == 0]
print(ms)

[7, 13, 19, 31, 37, 43, 61, 67, 73, 79, 97, 103, 109, 127, 139, 151, 157, 163, 181, 193, 199, 211, 223, 229, 241, 271, 277, 283, 307, 313, 331, 337, 349, 367, 373, 379, 397, 409, 421, 433, 439, 457, 463, 487, 499, 523, 541, 547, 571, 577, 601, 607, 613, 619, 631, 643, 661, 673, 691, 709, 727, 733, 739, 751, 757, 769, 787, 811, 823, 829, 853, 859, 877, 883, 907, 919, 937, 967, 991, 997, 1009, 1021, 1033, 1039, 1051, 1063, 1069, 1087, 1093, 1117, 1123, 1129, 1153, 1171, 1201, 1213, 1231, 1237, 1249, 1279, 1291, 1297, 1303, 1321, 1327, 1381, 1399, 1423, 1429, 1447, 1453, 1459, 1471, 1483, 1489, 1531, 1543, 1549, 1567, 1579, 1597, 1609, 1621, 1627, 1657, 1663, 1669, 1693, 1699, 1723, 1741, 1747, 1753, 1759, 1777, 1783, 1789, 1801, 1831, 1861, 1867, 1873, 1879, 1933, 1951, 1987, 1993, 1999, 2011, 2017, 2029, 2053, 2083, 2089, 2113, 2131, 2137, 2143, 2161, 2179, 2203, 2221, 2239, 2251, 2269, 2281, 2287, 2293, 2311, 2341, 2347, 2371, 2377, 2383, 2389, 2437, 2467, 2473, 2503, 2521, 2539, 2551, 2557, 2593, 2617, 2647, 2659, 2671, 2677, 2683, 2689, 2707, 2713, 2719, 2731, 2749, 2767, 2791, 2797, 2803, 2833, 2851, 2857, 2887, 2917, 2953, 2971, 3001, 3019, 3037, 3049, 3061, 3067, 3079, 3109, 3121, 3163, 3169, 3181, 3187, 3217, 3229, 3253, 3259, 3271, 3301, 3307, 3313, 3319, 3331, 3343, 3361, 3373, 3391, 3433, 3457, 3463, 3469, 3499, 3511, 3517, 3529, 3541, 3547, 3559, 3571, 3583, 3607, 3613, 3631, 3637, 3643, 3673, 3691, 3697, 3709, 3727, 3733, 3739, 3769, 3793, 3823, 3847, 3853, 3877, 3889, 3907, 3919, 3931, 3943, 3967, 4003, 4021, 4027, 4051, 4057, 4093, 4099, 4111, 4129, 4153, 4159, 4177, 4201, 4219, 4231, 4243, 4261, 4273, 4297, 4327, 4339, 4357, 4363, 4423, 4441, 4447, 4483, 4507, 4513, 4519, 4549, 4561, 4567, 4591, 4597, 4603, 4621, 4639, 4651, 4657, 4663, 4723, 4729, 4759, 4783, 4789, 4801, 4813, 4831, 4861, 4903, 4909, 4933, 4951, 4957, 4969, 4987, 4993, 4999, 5011, 5023, 5059, 5077, 5101, 5107, 5113, 5119, 5167, 5179, 5197, 5209, 5227, 5233, 5281, 5323, 5347, 5407, 5413, 5419, 5431, 5437, 5443, 5449, 5479, 5503, 5521, 5527, 5557, 5563, 5569, 5581, 5623, 5641, 5647, 5653, 5659, 5683, 5689, 5701, 5737, 5743, 5749, 5779, 5791, 5821, 5827, 5839, 5851, 5857, 5869, 5881, 5923, 5953, 6007, 6037, 6043, 6067, 6073, 6079, 6091, 6121, 6133, 6151, 6163, 6199, 6211, 6217, 6229, 6247, 6271, 6277, 6301, 6337, 6343, 6361, 6367, 6373, 6379, 6397, 6421, 6427, 6451, 6469, 6481, 6529, 6547, 6553, 6571, 6577, 6607, 6619, 6637, 6661, 6673, 6679, 6691, 6703, 6709, 6733, 6763, 6781, 6793, 6823, 6829, 6841, 6871, 6883, 6907, 6949, 6961, 6967, 6991, 6997, 7027, 7039, 7057, 7069, 7129, 7159, 7177, 7207, 7213, 7219, 7237, 7243, 7297, 7309, 7321, 7333, 7351, 7369, 7393, 7411, 7417, 7459, 7477, 7489, 7507, 7537, 7549, 7561, 7573, 7591, 7603, 7621, 7639, 7669, 7681, 7687, 7699, 7717, 7723, 7741, 7753, 7759, 7789, 7867, 7873, 7879, 7927, 7933, 7951, 7963, 7993, 8011, 8017, 8053, 8059, 8089, 8101, 8161, 8167, 8179, 8191, 8209, 8221, 8233, 8263, 8269, 8287, 8293, 8311, 8317, 8329, 8353, 8377, 8389, 8419, 8431, 8443, 8461, 8467, 8521, 8527, 8539, 8563, 8581, 8599, 8623, 8629, 8641, 8647, 8677, 8689, 8707, 8713, 8719, 8731, 8737, 8761, 8779, 8803, 8821, 8839, 8863, 8887, 8893, 8923, 8929, 8941, 8971, 9001, 9007, 9013, 9043, 9049, 9067, 9091, 9103, 9109, 9127, 9133, 9151, 9157, 9181, 9187, 9199, 9241, 9277, 9283, 9319, 9337, 9343, 9349, 9391, 9397, 9403, 9421, 9433, 9439, 9463, 9511, 9547, 9601, 9613, 9619, 9631, 9643, 9649, 9661, 9679, 9697, 9721, 9733, 9739, 9769, 9781, 9787, 9811, 9817, 9829, 9859, 9871, 9883, 9901, 9907, 9931, 9949, 9967, 9973, 10009, 10039, 10069, 10093, 10099, 10111, 10141, 10159, 10177, 10243, 10267, 10273, 10303, 10321, 10333, 10357, 10369, 10399, 10429, 10453, 10459, 10477, 10501, 10513, 10531, 10567, 10597, 10627, 10639, 10651, 10657, 10663, 10687, 10711, 10723, 10729, 10753, 10771, 10789, 10831, 10837, 10861, 10867, 10891, 10903, 10909, 10939, 10957, 10987, 10993, 11047, 11059, 11071, 11083, 11113, 11119, 11131, 11149, 11161, 11173, 11197, 11239, 11251, 11257, 11287, 11299, 11311, 11317, 11329, 11353, 11383, 11437, 11443, 11467, 11491, 11497, 11503, 11527, 11551, 11587, 11593, 11617, 11677, 11689, 11701, 11719, 11731, 11743, 11779, 11821, 11827, 11833, 11839, 11863, 11887, 11923, 11941, 11953, 11959, 11971, 12007, 12037, 12043, 12049, 12073, 12097, 12109, 12157, 12163, 12211, 12241, 12253, 12277, 12289, 12301, 12343, 12373, 12379, 12391, 12409, 12421, 12433, 12451, 12457, 12487, 12511, 12517, 12541, 12547, 12553, 12577, 12583, 12589, 12601, 12613, 12619, 12637, 12697, 12703, 12721, 12739, 12757, 12763, 12781, 12799, 12823, 12829, 12841, 12853, 12889, 12907, 12919, 12967, 12973, 12979, 13003, 13009, 13033, 13063, 13093, 13099, 13147, 13159, 13171, 13177, 13183, 13219, 13249, 13267, 13291, 13297, 13309, 13327, 13339, 13381, 13399, 13411, 13417, 13441, 13477, 13513, 13537, 13567, 13591, 13597, 13627, 13633, 13669, 13681, 13687, 13693, 13711, 13723, 13729, 13759, 13789, 13807, 13831, 13873, 13879, 13903, 13921, 13933, 13963, 13999, 14011, 14029, 14071, 14083, 14107, 14143, 14149, 14173, 14197, 14221, 14251, 14281, 14293, 14323, 14341, 14347, 14389, 14401, 14407, 14419, 14431, 14437, 14449, 14461, 14479, 14503, 14533, 14551, 14557, 14563, 14593, 14629, 14653, 14683, 14713, 14731, 14737, 14767, 14779, 14797, 14821, 14827, 14851, 14869, 14887, 14923, 14929, 14947, 14983, 15013, 15031, 15061, 15073, 15091, 15121, 15139, 15187, 15193, 15199, 15217, 15241, 15259, 15271, 15277, 15289, 15307, 15313, 15319, 15331, 15349, 15361, 15373, 15391, 15427, 15439, 15451, 15493, 15511, 15541, 15559, 15583, 15601, 15607, 15619, 15643, 15649, 15661, 15667, 15679, 15727, 15733, 15739, 15787, 15817, 15823, 15859, 15877, 15889, 15901, 15907, 15913, 15919, 15937, 15973, 15991, 16033, 16057, 16063, 16069, 16087, 16111, 16141, 16183, 16189, 16231, 16249, 16267, 16273, 16333, 16339, 16363, 16369, 16381, 16411, 16417, 16447, 16453, 16477, 16519, 16561, 16567, 16573, 16603, 16633, 16651, 16657, 16693, 16699, 16729, 16741, 16747, 16759, 16831, 16843, 16879, 16903, 16921, 16927, 16963, 16981, 16987, 16993, 17011, 17029, 17041, 17047, 17053, 17077, 17107, 17137, 17167, 17191, 17203, 17209, 17239, 17257, 17293, 17299, 17317, 17341, 17359, 17377, 17383, 17389, 17401, 17419, 17431, 17443, 17449, 17467, 17491, 17497, 17509, 17539, 17551, 17569, 17581, 17599, 17623, 17659, 17683, 17707, 17713, 17737, 17749, 17761, 17791, 17827, 17839, 17851, 17863, 17881, 17911, 17923, 17929, 17959, 17971, 17977, 17989, 18013, 18043, 18049, 18061, 18097, 18121, 18127, 18133, 18169, 18181, 18199, 18211, 18217, 18223, 18229, 18253, 18289, 18301, 18307, 18313, 18367, 18379, 18397, 18427, 18433, 18439, 18451, 18457, 18481, 18493, 18517, 18523, 18541, 18553, 18583, 18637, 18661, 18679, 18691, 18757, 18787, 18793, 18859, 18913, 18919, 18973, 18979, 19009, 19051, 19069, 19081, 19087, 19141, 19183, 19207, 19213, 19219, 19231, 19237, 19249, 19267, 19273, 19309, 19333, 19381, 19387, 19417, 19423, 19429, 19441, 19447, 19471, 19477, 19483, 19489, 19501, 19507, 19531, 19543, 19597, 19603, 19609, 19681, 19687, 19699, 19717, 19753, 19759, 19777, 19801, 19813, 19819, 19843, 19861, 19867, 19891, 19927, 19963, 19993, 20011, 20023, 20029, 20047, 20071, 20089, 20101, 20107, 20113, 20143, 20149, 20161, 20173, 20233, 20269, 20287, 20323, 20341, 20347, 20353, 20359, 20389, 20407, 20431, 20443, 20479, 20509, 20521, 20533, 20551, 20563, 20593, 20599, 20611, 20641, 20707, 20719, 20731, 20743, 20749, 20773, 20809, 20857, 20887, 20899, 20929, 20947, 20959, 20983, 21001, 21013, 21019, 21031, 21061, 21067, 21121, 21139, 21157, 21163, 21169, 21187, 21193, 21211, 21247, 21277, 21283, 21313, 21319, 21379, 21391, 21397, 21433, 21481, 21487, 21493, 21499, 21517, 21523, 21529, 21559, 21577, 21589, 21601, 21613, 21649, 21661, 21673, 21727, 21739, 21751, 21757, 21787, 21799, 21817, 21841, 21859, 21871, 21937, 21943, 21961, 21991, 21997, 22003, 22027, 22039, 22051, 22063, 22093, 22111, 22123, 22129, 22147, 22153, 22159, 22171, 22189, 22273, 22279, 22291, 22303, 22369, 22381, 22441, 22447, 22453, 22483, 22501, 22531, 22543, 22549, 22567, 22573, 22621, 22639, 22651, 22669, 22699, 22717, 22741, 22777, 22783, 22807, 22861, 22921, 22963, 22993, 23011, 23017, 23029, 23041, 23053, 23059, 23071, 23131, 23143, 23167, 23173, 23197, 23203, 23209, 23227, 23251, 23269, 23293, 23311, 23371, 23431, 23473, 23497, 23509, 23539, 23557, 23563, 23581, 23593, 23599, 23623, 23629, 23671, 23677, 23689, 23719, 23743, 23761, 23767, 23773, 23827, 23833, 23857, 23869, 23887, 23893, 23899, 23911, 23917, 23929, 23971, 23977, 24001, 24007, 24019, 24043, 24049, 24061, 24091, 24097, 24103, 24109, 24121, 24133, 24151, 24169, 24181, 24223, 24229, 24247, 24337, 24373, 24379, 24391, 24421, 24439, 24469, 24481, 24499, 24517, 24547, 24571, 24631, 24691, 24697, 24709, 24733, 24763, 24781, 24793, 24799, 24841, 24847, 24859, 24877, 24889, 24907, 24919, 24943, 24967, 24979, 25033, 25057, 25087, 25111, 25117, 25147, 25153, 25171, 25183, 25189, 25219, 25237, 25243, 25261, 25303, 25309, 25321, 25339, 25357, 25411, 25423, 25447, 25453, 25471, 25537, 25561, 25579, 25603, 25609, 25621, 25633, 25639, 25657, 25693, 25717, 25741, 25747, 25759, 25771, 25801, 25819, 25849, 25867, 25873, 25903, 25933, 25939, 25951, 25969, 25981, 25999, 26017, 26029, 26041, 26053, 26083, 26107, 26113, 26119, 26161, 26203, 26209, 26227, 26251, 26263, 26293, 26317, 26347, 26371, 26407, 26431, 26437, 26449, 26479, 26497, 26539, 26557, 26641, 26647, 26683, 26701, 26713, 26731, 26737, 26821, 26833, 26839, 26863, 26881, 26893, 26947, 26953, 26959, 27031, 27043, 27061, 27067, 27073, 27091, 27103, 27109, 27127, 27211, 27241, 27253, 27259, 27271, 27277, 27283, 27337, 27361, 27367, 27397, 27409, 27427, 27457, 27481, 27487, 27529, 27541, 27583, 27631, 27673, 27691, 27697, 27733, 27739, 27751, 27763, 27793, 27799, 27817, 27823, 27847, 27883, 27901, 27919, 27943, 27961, 27967, 27997, 28027, 28051, 28057, 28069, 28081, 28087, 28099, 28111, 28123, 28183, 28201, 28219, 28279, 28297, 28309, 28351, 28387, 28393, 28411, 28429, 28447, 28477, 28513, 28537, 28549, 28573, 28579, 28591, 28597, 28603, 28621, 28627, 28657, 28663, 28669, 28687, 28711, 28723, 28729, 28753, 28759, 28771, 28789, 28807, 28813, 28837, 28843, 28867, 28879, 28909, 28921, 28927, 28933, 29017, 29023, 29059, 29077, 29101, 29131, 29137, 29167, 29173, 29179, 29191, 29209, 29221, 29251, 29269, 29287, 29311, 29347, 29383, 29389, 29401, 29437, 29443, 29473, 29527, 29569, 29581, 29587, 29599, 29611, 29629, 29641, 29671, 29683, 29761, 29803, 29833, 29851, 29863, 29881, 29917, 29947, 29959, 29983, 29989, 30013, 30091, 30097, 30103, 30109, 30133, 30139, 30169, 30181, 30187, 30211, 30223, 30241, 30253, 30259, 30271, 30307, 30313, 30319, 30367, 30391, 30403, 30427, 30469, 30493, 30517, 30529, 30553, 30559, 30577, 30631, 30637, 30643, 30649, 30661, 30697, 30703, 30727, 30757, 30763, 30781, 30817, 30829, 30841, 30853, 30859, 30871, 30931, 30937, 30949, 31033, 31039, 31051, 31063, 31069, 31081, 31123, 31147, 31153, 31159, 31177, 31183, 31189, 31219, 31231, 31237, 31249, 31267, 31321, 31327, 31333, 31357, 31387, 31393, 31477, 31489, 31513, 31531, 31543, 31567, 31573, 31627, 31657, 31663, 31687, 31699, 31723, 31729, 31741, 31771, 31849, 31873, 31891, 31957, 31963, 31981, 32029, 32059, 32077, 32083, 32089, 32119, 32143, 32173, 32191, 32203, 32233, 32251, 32257, 32299, 32323, 32341, 32353, 32359, 32371, 32377, 32401, 32413, 32443, 32467, 32479, 32491, 32497, 32503, 32533, 32563, 32569, 32587, 32611, 32647, 32653, 32707, 32713, 32719, 32749, 32779, 32797, 32803, 32833, 32839, 32869, 32887, 32911, 32917, 32941, 32971, 32983, 33013, 33037, 33049, 33073, 33091, 33151, 33181, 33199, 33211, 33223, 33247, 33289, 33301, 33331, 33343, 33349, 33391, 33403, 33409, 33427, 33457, 33469, 33487, 33493, 33529, 33547, 33577, 33589, 33601, 33613, 33619, 33637, 33679, 33703, 33721, 33739, 33751, 33757, 33769, 33811, 33829, 33871, 33889, 33931, 33937, 33961, 33967, 33997, 34033, 34039, 34057, 34123, 34129, 34141, 34147, 34159, 34171, 34183, 34213, 34231, 34261, 34267, 34273, 34297, 34303, 34327, 34351, 34369, 34381, 34429, 34471, 34483, 34501, 34513, 34519, 34537, 34543, 34549, 34591, 34603, 34651, 34687, 34693, 34729, 34747, 34759, 34807, 34819, 34843, 34849, 34897, 34939, 34963, 34981, 35023, 35053, 35059, 35083, 35089, 35107, 35149, 35221, 35227, 35251, 35257, 35281, 35311, 35317, 35323, 35353, 35401, 35407, 35419, 35437, 35449, 35461, 35491, 35509, 35521, 35527, 35533, 35569, 35593, 35617, 35671, 35677, 35731, 35797, 35803, 35809, 35839, 35851, 35863, 35869, 35899, 35911, 35923, 35977, 35983, 36007, 36013, 36037, 36061, 36067, 36073, 36097, 36109, 36151, 36187, 36217, 36229, 36241, 36277, 36307, 36313, 36319, 36343, 36373, 36433, 36451, 36457, 36469, 36493, 36523, 36529, 36541, 36559, 36571, 36583, 36607, 36637, 36643, 36691, 36697, 36709, 36721, 36739, 36781, 36787, 36793, 36847, 36871, 36877, 36901, 36913, 36919, 36931, 36943, 36973, 36979, 36997, 37003, 37021, 37039, 37057, 37087, 37117, 37123, 37159, 37171, 37189, 37201, 37243, 37273, 37309, 37321, 37339, 37357, 37363, 37369, 37423, 37441, 37447, 37483, 37489, 37501, 37507, 37537, 37549, 37561, 37567, 37573, 37579, 37591, 37633, 37657, 37663, 37693, 37699, 37717, 37747, 37783, 37813, 37831, 37861, 37879, 37897, 37951, 37957, 37963, 37987, 37993, 38011, 38047, 38053, 38083, 38113, 38119, 38149, 38167, 38197, 38239, 38281, 38287, 38299, 38317, 38329, 38371, 38377, 38431, 38449, 38461, 38557, 38569, 38593, 38611, 38629, 38653, 38671, 38677, 38707, 38713, 38737, 38749, 38767, 38791, 38803, 38821, 38833, 38839, 38851, 38917, 38923, 38953, 38959, 38971, 38977, 39019, 39043, 39079, 39097, 39103, 39133, 39139, 39157, 39163, 39181, 39199, 39217, 39229, 39241, 39301, 39313, 39343, 39367, 39373, 39397, 39409, 39439, 39451, 39499, 39511, 39541, 39607, 39619, 39631, 39667, 39679, 39703, 39709, 39727, 39733, 39769, 39799, 39829, 39841, 39847, 39877, 39883, 39901, 39937, 39979, 40009, 40039, 40063, 40087, 40093, 40099, 40111, 40123, 40129, 40153, 40177, 40189, 40213, 40231, 40237, 40351, 40357, 40387, 40423, 40429, 40459, 40471, 40483, 40507, 40519, 40531, 40543, 40591, 40597, 40609, 40627, 40639, 40693, 40699, 40759, 40771, 40801, 40813, 40819, 40849, 40867, 40879, 40897, 40903, 40927, 40933, 40939, 40993, 41011, 41017, 41023, 41047, 41077, 41113, 41131, 41143, 41149, 41161, 41179, 41203, 41221, 41227, 41233, 41257, 41263, 41269, 41281, 41299, 41341, 41389, 41413, 41443, 41467, 41479, 41491, 41521, 41539, 41593, 41611, 41617, 41641, 41647, 41659, 41719, 41737, 41761, 41809, 41851, 41863, 41887, 41893, 41911, 41941, 41947, 41953, 41959, 41983, 42013, 42019, 42043, 42061, 42073, 42139, 42157, 42169, 42181, 42187, 42193, 42223, 42283, 42307, 42331, 42337, 42349, 42373, 42379, 42391, 42397, 42403, 42409, 42433, 42451, 42457, 42463, 42487, 42499, 42571, 42577, 42589, 42643, 42649, 42667, 42697, 42703, 42709, 42727, 42751, 42787, 42793, 42829, 42841, 42853, 42859, 42901, 42937, 42943, 42961, 42967, 42979, 43003, 43051, 43063, 43093, 43117, 43159, 43177, 43189, 43201, 43207, 43237, 43261, 43291, 43321, 43399, 43411, 43441, 43543, 43573, 43579, 43591, 43597, 43609, 43627, 43633, 43651, 43669, 43711, 43717, 43753, 43759, 43777, 43783, 43789, 43801, 43867, 43891, 43933, 43951, 43963, 43969, 43987, 44017, 44029, 44041, 44053, 44059, 44071, 44089, 44101, 44119, 44131, 44179, 44203, 44221, 44257, 44263, 44269, 44281, 44293, 44371, 44383, 44389, 44449, 44491, 44497, 44533, 44563, 44587, 44617, 44623, 44641, 44647, 44683, 44701, 44773, 44797, 44809, 44839, 44851, 44887, 44893, 44917, 44953, 44959, 44971, 44983, 45007, 45013, 45061, 45121, 45127, 45139, 45181, 45247, 45259, 45289, 45307, 45319, 45337, 45343, 45361, 45403, 45427, 45433, 45439, 45481, 45523, 45541, 45553, 45589, 45613, 45631, 45667, 45673, 45691, 45697, 45751, 45757, 45763, 45817, 45823, 45841, 45853, 45943, 45949, 45979, 46021, 46027, 46051, 46093, 46099, 46141, 46147, 46153, 46171, 46183, 46219, 46237, 46261, 46273, 46279, 46309, 46327, 46351, 46381, 46399, 46411, 46441, 46447, 46471, 46477, 46489, 46507, 46549, 46567, 46573, 46591, 46633, 46639, 46663, 46681, 46687, 46723, 46747, 46771, 46807, 46819, 46831, 46861, 46867, 46933, 46957, 46993, 47017, 47041, 47059, 47119, 47137, 47143, 47149, 47161, 47221, 47251, 47269, 47287, 47293, 47317, 47353, 47389, 47407, 47419, 47431, 47491, 47497, 47521, 47527, 47533, 47563, 47569, 47581, 47599, 47623, 47629, 47653, 47659, 47701, 47713, 47737, 47743, 47779, 47791, 47797, 47809, 47857, 47869, 47881, 47911, 47917, 47947, 47977, 48049, 48073, 48079, 48091, 48109, 48121, 48157, 48163, 48187, 48193, 48247, 48259, 48271, 48313, 48337, 48397, 48409, 48463, 48481, 48487, 48523, 48541, 48571, 48589, 48619, 48649, 48661, 48673, 48679, 48733, 48751, 48757, 48781, 48787, 48799, 48817, 48823, 48847, 48859, 48871, 48883, 48889, 48907, 48973, 48991, 49003, 49009, 49033, 49057, 49069, 49081, 49117, 49123, 49171, 49177, 49201, 49207, 49261, 49279, 49297, 49333, 49339, 49363, 49369, 49393, 49411, 49417, 49429, 49459, 49477, 49531, 49537, 49549, 49597, 49603, 49627, 49633, 49639, 49663, 49669, 49681, 49711, 49741, 49747, 49783, 49789, 49801, 49807, 49831, 49843, 49891, 49921, 49927, 49939, 49957, 49993, 49999]
In [16]:
M = ModularSymbols(17,sign=1).cuspidal_submodule()
N = M.level()
ms_map = ModularSymbolMap(M)
ms_denom = ZZ(ms_map.denom)
inf_zero = M.rational_period_mapping()([oo,0])[0]
print ms_denom, inf_zero
def f(a,b):
return ms_map._eval1(a,b)[0] / ms_denom

1 1
In [28]:
ModularSymbols(17,sign=1).cuspidal_submodule()

Modular Symbols subspace of dimension 1 of Modular Symbols space of dimension 2 for Gamma_0(17) of weight 2 with sign 1 over Rational Field
In [29]:
EllipticCurve('17a')

Elliptic Curve defined by y^2 + x*y + y = x^3 - x^2 - x - 14 over Rational Field
In [17]:
def alphas(m, d, normalize=True):
assert d%2 == 1
R = Integers(m)
Npow = R(N)^((d-1)//2)
gen = R(primitive_root(m))
n = euler_phi(m)//d
b = gen
h = gen^d
if normalize:
denom = float(sqrt(euler_phi(m)*log(m)))
else:
denom = 1
alphas = []
for i in range(1, (d-1)//2 + 1):
s = 0
for j in range(n):
period = f((Npow * b^i * h^j).lift(), m) + inf_zero
#print "{0, %s} --> %s"%((b^i * h^j).lift()/ZZ(m), period)
s += period
alphas.append(s / denom)
return alphas

In [18]:
%%time
data = []
for m in ms:
data += alphas(m, d)

CPU times: user 1min 23s, sys: 20 ms, total: 1min 23s Wall time: 1min 23s
In [19]:
print len(data)
t = stats.TimeSeries(data)
print t.mean()
t.plot_histogram(bins=100)

2556 -0.0621739037856
In [20]:
stats.TimeSeries(t[:i].mean() for i in range(5,len(t))).plot(
gridlines='minor')

In [30]:
d = 3
# much more ms, since this code is massively faster...
ms = [m for m in prime_range(3,50000) if gcd(m, 11) == 1 and euler_phi(m) % d == 0]
print(ms)

[7, 13, 19, 31, 37, 43, 61, 67, 73, 79, 97, 103, 109, 127, 139, 151, 157, 163, 181, 193, 199, 211, 223, 229, 241, 271, 277, 283, 307, 313, 331, 337, 349, 367, 373, 379, 397, 409, 421, 433, 439, 457, 463, 487, 499, 523, 541, 547, 571, 577, 601, 607, 613, 619, 631, 643, 661, 673, 691, 709, 727, 733, 739, 751, 757, 769, 787, 811, 823, 829, 853, 859, 877, 883, 907, 919, 937, 967, 991, 997, 1009, 1021, 1033, 1039, 1051, 1063, 1069, 1087, 1093, 1117, 1123, 1129, 1153, 1171, 1201, 1213, 1231, 1237, 1249, 1279, 1291, 1297, 1303, 1321, 1327, 1381, 1399, 1423, 1429, 1447, 1453, 1459, 1471, 1483, 1489, 1531, 1543, 1549, 1567, 1579, 1597, 1609, 1621, 1627, 1657, 1663, 1669, 1693, 1699, 1723, 1741, 1747, 1753, 1759, 1777, 1783, 1789, 1801, 1831, 1861, 1867, 1873, 1879, 1933, 1951, 1987, 1993, 1999, 2011, 2017, 2029, 2053, 2083, 2089, 2113, 2131, 2137, 2143, 2161, 2179, 2203, 2221, 2239, 2251, 2269, 2281, 2287, 2293, 2311, 2341, 2347, 2371, 2377, 2383, 2389, 2437, 2467, 2473, 2503, 2521, 2539, 2551, 2557, 2593, 2617, 2647, 2659, 2671, 2677, 2683, 2689, 2707, 2713, 2719, 2731, 2749, 2767, 2791, 2797, 2803, 2833, 2851, 2857, 2887, 2917, 2953, 2971, 3001, 3019, 3037, 3049, 3061, 3067, 3079, 3109, 3121, 3163, 3169, 3181, 3187, 3217, 3229, 3253, 3259, 3271, 3301, 3307, 3313, 3319, 3331, 3343, 3361, 3373, 3391, 3433, 3457, 3463, 3469, 3499, 3511, 3517, 3529, 3541, 3547, 3559, 3571, 3583, 3607, 3613, 3631, 3637, 3643, 3673, 3691, 3697, 3709, 3727, 3733, 3739, 3769, 3793, 3823, 3847, 3853, 3877, 3889, 3907, 3919, 3931, 3943, 3967, 4003, 4021, 4027, 4051, 4057, 4093, 4099, 4111, 4129, 4153, 4159, 4177, 4201, 4219, 4231, 4243, 4261, 4273, 4297, 4327, 4339, 4357, 4363, 4423, 4441, 4447, 4483, 4507, 4513, 4519, 4549, 4561, 4567, 4591, 4597, 4603, 4621, 4639, 4651, 4657, 4663, 4723, 4729, 4759, 4783, 4789, 4801, 4813, 4831, 4861, 4903, 4909, 4933, 4951, 4957, 4969, 4987, 4993, 4999, 5011, 5023, 5059, 5077, 5101, 5107, 5113, 5119, 5167, 5179, 5197, 5209, 5227, 5233, 5281, 5323, 5347, 5407, 5413, 5419, 5431, 5437, 5443, 5449, 5479, 5503, 5521, 5527, 5557, 5563, 5569, 5581, 5623, 5641, 5647, 5653, 5659, 5683, 5689, 5701, 5737, 5743, 5749, 5779, 5791, 5821, 5827, 5839, 5851, 5857, 5869, 5881, 5923, 5953, 6007, 6037, 6043, 6067, 6073, 6079, 6091, 6121, 6133, 6151, 6163, 6199, 6211, 6217, 6229, 6247, 6271, 6277, 6301, 6337, 6343, 6361, 6367, 6373, 6379, 6397, 6421, 6427, 6451, 6469, 6481, 6529, 6547, 6553, 6571, 6577, 6607, 6619, 6637, 6661, 6673, 6679, 6691, 6703, 6709, 6733, 6763, 6781, 6793, 6823, 6829, 6841, 6871, 6883, 6907, 6949, 6961, 6967, 6991, 6997, 7027, 7039, 7057, 7069, 7129, 7159, 7177, 7207, 7213, 7219, 7237, 7243, 7297, 7309, 7321, 7333, 7351, 7369, 7393, 7411, 7417, 7459, 7477, 7489, 7507, 7537, 7549, 7561, 7573, 7591, 7603, 7621, 7639, 7669, 7681, 7687, 7699, 7717, 7723, 7741, 7753, 7759, 7789, 7867, 7873, 7879, 7927, 7933, 7951, 7963, 7993, 8011, 8017, 8053, 8059, 8089, 8101, 8161, 8167, 8179, 8191, 8209, 8221, 8233, 8263, 8269, 8287, 8293, 8311, 8317, 8329, 8353, 8377, 8389, 8419, 8431, 8443, 8461, 8467, 8521, 8527, 8539, 8563, 8581, 8599, 8623, 8629, 8641, 8647, 8677, 8689, 8707, 8713, 8719, 8731, 8737, 8761, 8779, 8803, 8821, 8839, 8863, 8887, 8893, 8923, 8929, 8941, 8971, 9001, 9007, 9013, 9043, 9049, 9067, 9091, 9103, 9109, 9127, 9133, 9151, 9157, 9181, 9187, 9199, 9241, 9277, 9283, 9319, 9337, 9343, 9349, 9391, 9397, 9403, 9421, 9433, 9439, 9463, 9511, 9547, 9601, 9613, 9619, 9631, 9643, 9649, 9661, 9679, 9697, 9721, 9733, 9739, 9769, 9781, 9787, 9811, 9817, 9829, 9859, 9871, 9883, 9901, 9907, 9931, 9949, 9967, 9973, 10009, 10039, 10069, 10093, 10099, 10111, 10141, 10159, 10177, 10243, 10267, 10273, 10303, 10321, 10333, 10357, 10369, 10399, 10429, 10453, 10459, 10477, 10501, 10513, 10531, 10567, 10597, 10627, 10639, 10651, 10657, 10663, 10687, 10711, 10723, 10729, 10753, 10771, 10789, 10831, 10837, 10861, 10867, 10891, 10903, 10909, 10939, 10957, 10987, 10993, 11047, 11059, 11071, 11083, 11113, 11119, 11131, 11149, 11161, 11173, 11197, 11239, 11251, 11257, 11287, 11299, 11311, 11317, 11329, 11353, 11383, 11437, 11443, 11467, 11491, 11497, 11503, 11527, 11551, 11587, 11593, 11617, 11677, 11689, 11701, 11719, 11731, 11743, 11779, 11821, 11827, 11833, 11839, 11863, 11887, 11923, 11941, 11953, 11959, 11971, 12007, 12037, 12043, 12049, 12073, 12097, 12109, 12157, 12163, 12211, 12241, 12253, 12277, 12289, 12301, 12343, 12373, 12379, 12391, 12409, 12421, 12433, 12451, 12457, 12487, 12511, 12517, 12541, 12547, 12553, 12577, 12583, 12589, 12601, 12613, 12619, 12637, 12697, 12703, 12721, 12739, 12757, 12763, 12781, 12799, 12823, 12829, 12841, 12853, 12889, 12907, 12919, 12967, 12973, 12979, 13003, 13009, 13033, 13063, 13093, 13099, 13147, 13159, 13171, 13177, 13183, 13219, 13249, 13267, 13291, 13297, 13309, 13327, 13339, 13381, 13399, 13411, 13417, 13441, 13477, 13513, 13537, 13567, 13591, 13597, 13627, 13633, 13669, 13681, 13687, 13693, 13711, 13723, 13729, 13759, 13789, 13807, 13831, 13873, 13879, 13903, 13921, 13933, 13963, 13999, 14011, 14029, 14071, 14083, 14107, 14143, 14149, 14173, 14197, 14221, 14251, 14281, 14293, 14323, 14341, 14347, 14389, 14401, 14407, 14419, 14431, 14437, 14449, 14461, 14479, 14503, 14533, 14551, 14557, 14563, 14593, 14629, 14653, 14683, 14713, 14731, 14737, 14767, 14779, 14797, 14821, 14827, 14851, 14869, 14887, 14923, 14929, 14947, 14983, 15013, 15031, 15061, 15073, 15091, 15121, 15139, 15187, 15193, 15199, 15217, 15241, 15259, 15271, 15277, 15289, 15307, 15313, 15319, 15331, 15349, 15361, 15373, 15391, 15427, 15439, 15451, 15493, 15511, 15541, 15559, 15583, 15601, 15607, 15619, 15643, 15649, 15661, 15667, 15679, 15727, 15733, 15739, 15787, 15817, 15823, 15859, 15877, 15889, 15901, 15907, 15913, 15919, 15937, 15973, 15991, 16033, 16057, 16063, 16069, 16087, 16111, 16141, 16183, 16189, 16231, 16249, 16267, 16273, 16333, 16339, 16363, 16369, 16381, 16411, 16417, 16447, 16453, 16477, 16519, 16561, 16567, 16573, 16603, 16633, 16651, 16657, 16693, 16699, 16729, 16741, 16747, 16759, 16831, 16843, 16879, 16903, 16921, 16927, 16963, 16981, 16987, 16993, 17011, 17029, 17041, 17047, 17053, 17077, 17107, 17137, 17167, 17191, 17203, 17209, 17239, 17257, 17293, 17299, 17317, 17341, 17359, 17377, 17383, 17389, 17401, 17419, 17431, 17443, 17449, 17467, 17491, 17497, 17509, 17539, 17551, 17569, 17581, 17599, 17623, 17659, 17683, 17707, 17713, 17737, 17749, 17761, 17791, 17827, 17839, 17851, 17863, 17881, 17911, 17923, 17929, 17959, 17971, 17977, 17989, 18013, 18043, 18049, 18061, 18097, 18121, 18127, 18133, 18169, 18181, 18199, 18211, 18217, 18223, 18229, 18253, 18289, 18301, 18307, 18313, 18367, 18379, 18397, 18427, 18433, 18439, 18451, 18457, 18481, 18493, 18517, 18523, 18541, 18553, 18583, 18637, 18661, 18679, 18691, 18757, 18787, 18793, 18859, 18913, 18919, 18973, 18979, 19009, 19051, 19069, 19081, 19087, 19141, 19183, 19207, 19213, 19219, 19231, 19237, 19249, 19267, 19273, 19309, 19333, 19381, 19387, 19417, 19423, 19429, 19441, 19447, 19471, 19477, 19483, 19489, 19501, 19507, 19531, 19543, 19597, 19603, 19609, 19681, 19687, 19699, 19717, 19753, 19759, 19777, 19801, 19813, 19819, 19843, 19861, 19867, 19891, 19927, 19963, 19993, 20011, 20023, 20029, 20047, 20071, 20089, 20101, 20107, 20113, 20143, 20149, 20161, 20173, 20233, 20269, 20287, 20323, 20341, 20347, 20353, 20359, 20389, 20407, 20431, 20443, 20479, 20509, 20521, 20533, 20551, 20563, 20593, 20599, 20611, 20641, 20707, 20719, 20731, 20743, 20749, 20773, 20809, 20857, 20887, 20899, 20929, 20947, 20959, 20983, 21001, 21013, 21019, 21031, 21061, 21067, 21121, 21139, 21157, 21163, 21169, 21187, 21193, 21211, 21247, 21277, 21283, 21313, 21319, 21379, 21391, 21397, 21433, 21481, 21487, 21493, 21499, 21517, 21523, 21529, 21559, 21577, 21589, 21601, 21613, 21649, 21661, 21673, 21727, 21739, 21751, 21757, 21787, 21799, 21817, 21841, 21859, 21871, 21937, 21943, 21961, 21991, 21997, 22003, 22027, 22039, 22051, 22063, 22093, 22111, 22123, 22129, 22147, 22153, 22159, 22171, 22189, 22273, 22279, 22291, 22303, 22369, 22381, 22441, 22447, 22453, 22483, 22501, 22531, 22543, 22549, 22567, 22573, 22621, 22639, 22651, 22669, 22699, 22717, 22741, 22777, 22783, 22807, 22861, 22921, 22963, 22993, 23011, 23017, 23029, 23041, 23053, 23059, 23071, 23131, 23143, 23167, 23173, 23197, 23203, 23209, 23227, 23251, 23269, 23293, 23311, 23371, 23431, 23473, 23497, 23509, 23539, 23557, 23563, 23581, 23593, 23599, 23623, 23629, 23671, 23677, 23689, 23719, 23743, 23761, 23767, 23773, 23827, 23833, 23857, 23869, 23887, 23893, 23899, 23911, 23917, 23929, 23971, 23977, 24001, 24007, 24019, 24043, 24049, 24061, 24091, 24097, 24103, 24109, 24121, 24133, 24151, 24169, 24181, 24223, 24229, 24247, 24337, 24373, 24379, 24391, 24421, 24439, 24469, 24481, 24499, 24517, 24547, 24571, 24631, 24691, 24697, 24709, 24733, 24763, 24781, 24793, 24799, 24841, 24847, 24859, 24877, 24889, 24907, 24919, 24943, 24967, 24979, 25033, 25057, 25087, 25111, 25117, 25147, 25153, 25171, 25183, 25189, 25219, 25237, 25243, 25261, 25303, 25309, 25321, 25339, 25357, 25411, 25423, 25447, 25453, 25471, 25537, 25561, 25579, 25603, 25609, 25621, 25633, 25639, 25657, 25693, 25717, 25741, 25747, 25759, 25771, 25801, 25819, 25849, 25867, 25873, 25903, 25933, 25939, 25951, 25969, 25981, 25999, 26017, 26029, 26041, 26053, 26083, 26107, 26113, 26119, 26161, 26203, 26209, 26227, 26251, 26263, 26293, 26317, 26347, 26371, 26407, 26431, 26437, 26449, 26479, 26497, 26539, 26557, 26641, 26647, 26683, 26701, 26713, 26731, 26737, 26821, 26833, 26839, 26863, 26881, 26893, 26947, 26953, 26959, 27031, 27043, 27061, 27067, 27073, 27091, 27103, 27109, 27127, 27211, 27241, 27253, 27259, 27271, 27277, 27283, 27337, 27361, 27367, 27397, 27409, 27427, 27457, 27481, 27487, 27529, 27541, 27583, 27631, 27673, 27691, 27697, 27733, 27739, 27751, 27763, 27793, 27799, 27817, 27823, 27847, 27883, 27901, 27919, 27943, 27961, 27967, 27997, 28027, 28051, 28057, 28069, 28081, 28087, 28099, 28111, 28123, 28183, 28201, 28219, 28279, 28297, 28309, 28351, 28387, 28393, 28411, 28429, 28447, 28477, 28513, 28537, 28549, 28573, 28579, 28591, 28597, 28603, 28621, 28627, 28657, 28663, 28669, 28687, 28711, 28723, 28729, 28753, 28759, 28771, 28789, 28807, 28813, 28837, 28843, 28867, 28879, 28909, 28921, 28927, 28933, 29017, 29023, 29059, 29077, 29101, 29131, 29137, 29167, 29173, 29179, 29191, 29209, 29221, 29251, 29269, 29287, 29311, 29347, 29383, 29389, 29401, 29437, 29443, 29473, 29527, 29569, 29581, 29587, 29599, 29611, 29629, 29641, 29671, 29683, 29761, 29803, 29833, 29851, 29863, 29881, 29917, 29947, 29959, 29983, 29989, 30013, 30091, 30097, 30103, 30109, 30133, 30139, 30169, 30181, 30187, 30211, 30223, 30241, 30253, 30259, 30271, 30307, 30313, 30319, 30367, 30391, 30403, 30427, 30469, 30493, 30517, 30529, 30553, 30559, 30577, 30631, 30637, 30643, 30649, 30661, 30697, 30703, 30727, 30757, 30763, 30781, 30817, 30829, 30841, 30853, 30859, 30871, 30931, 30937, 30949, 31033, 31039, 31051, 31063, 31069, 31081, 31123, 31147, 31153, 31159, 31177, 31183, 31189, 31219, 31231, 31237, 31249, 31267, 31321, 31327, 31333, 31357, 31387, 31393, 31477, 31489, 31513, 31531, 31543, 31567, 31573, 31627, 31657, 31663, 31687, 31699, 31723, 31729, 31741, 31771, 31849, 31873, 31891, 31957, 31963, 31981, 32029, 32059, 32077, 32083, 32089, 32119, 32143, 32173, 32191, 32203, 32233, 32251, 32257, 32299, 32323, 32341, 32353, 32359, 32371, 32377, 32401, 32413, 32443, 32467, 32479, 32491, 32497, 32503, 32533, 32563, 32569, 32587, 32611, 32647, 32653, 32707, 32713, 32719, 32749, 32779, 32797, 32803, 32833, 32839, 32869, 32887, 32911, 32917, 32941, 32971, 32983, 33013, 33037, 33049, 33073, 33091, 33151, 33181, 33199, 33211, 33223, 33247, 33289, 33301, 33331, 33343, 33349, 33391, 33403, 33409, 33427, 33457, 33469, 33487, 33493, 33529, 33547, 33577, 33589, 33601, 33613, 33619, 33637, 33679, 33703, 33721, 33739, 33751, 33757, 33769, 33811, 33829, 33871, 33889, 33931, 33937, 33961, 33967, 33997, 34033, 34039, 34057, 34123, 34129, 34141, 34147, 34159, 34171, 34183, 34213, 34231, 34261, 34267, 34273, 34297, 34303, 34327, 34351, 34369, 34381, 34429, 34471, 34483, 34501, 34513, 34519, 34537, 34543, 34549, 34591, 34603, 34651, 34687, 34693, 34729, 34747, 34759, 34807, 34819, 34843, 34849, 34897, 34939, 34963, 34981, 35023, 35053, 35059, 35083, 35089, 35107, 35149, 35221, 35227, 35251, 35257, 35281, 35311, 35317, 35323, 35353, 35401, 35407, 35419, 35437, 35449, 35461, 35491, 35509, 35521, 35527, 35533, 35569, 35593, 35617, 35671, 35677, 35731, 35797, 35803, 35809, 35839, 35851, 35863, 35869, 35899, 35911, 35923, 35977, 35983, 36007, 36013, 36037, 36061, 36067, 36073, 36097, 36109, 36151, 36187, 36217, 36229, 36241, 36277, 36307, 36313, 36319, 36343, 36373, 36433, 36451, 36457, 36469, 36493, 36523, 36529, 36541, 36559, 36571, 36583, 36607, 36637, 36643, 36691, 36697, 36709, 36721, 36739, 36781, 36787, 36793, 36847, 36871, 36877, 36901, 36913, 36919, 36931, 36943, 36973, 36979, 36997, 37003, 37021, 37039, 37057, 37087, 37117, 37123, 37159, 37171, 37189, 37201, 37243, 37273, 37309, 37321, 37339, 37357, 37363, 37369, 37423, 37441, 37447, 37483, 37489, 37501, 37507, 37537, 37549, 37561, 37567, 37573, 37579, 37591, 37633, 37657, 37663, 37693, 37699, 37717, 37747, 37783, 37813, 37831, 37861, 37879, 37897, 37951, 37957, 37963, 37987, 37993, 38011, 38047, 38053, 38083, 38113, 38119, 38149, 38167, 38197, 38239, 38281, 38287, 38299, 38317, 38329, 38371, 38377, 38431, 38449, 38461, 38557, 38569, 38593, 38611, 38629, 38653, 38671, 38677, 38707, 38713, 38737, 38749, 38767, 38791, 38803, 38821, 38833, 38839, 38851, 38917, 38923, 38953, 38959, 38971, 38977, 39019, 39043, 39079, 39097, 39103, 39133, 39139, 39157, 39163, 39181, 39199, 39217, 39229, 39241, 39301, 39313, 39343, 39367, 39373, 39397, 39409, 39439, 39451, 39499, 39511, 39541, 39607, 39619, 39631, 39667, 39679, 39703, 39709, 39727, 39733, 39769, 39799, 39829, 39841, 39847, 39877, 39883, 39901, 39937, 39979, 40009, 40039, 40063, 40087, 40093, 40099, 40111, 40123, 40129, 40153, 40177, 40189, 40213, 40231, 40237, 40351, 40357, 40387, 40423, 40429, 40459, 40471, 40483, 40507, 40519, 40531, 40543, 40591, 40597, 40609, 40627, 40639, 40693, 40699, 40759, 40771, 40801, 40813, 40819, 40849, 40867, 40879, 40897, 40903, 40927, 40933, 40939, 40993, 41011, 41017, 41023, 41047, 41077, 41113, 41131, 41143, 41149, 41161, 41179, 41203, 41221, 41227, 41233, 41257, 41263, 41269, 41281, 41299, 41341, 41389, 41413, 41443, 41467, 41479, 41491, 41521, 41539, 41593, 41611, 41617, 41641, 41647, 41659, 41719, 41737, 41761, 41809, 41851, 41863, 41887, 41893, 41911, 41941, 41947, 41953, 41959, 41983, 42013, 42019, 42043, 42061, 42073, 42139, 42157, 42169, 42181, 42187, 42193, 42223, 42283, 42307, 42331, 42337, 42349, 42373, 42379, 42391, 42397, 42403, 42409, 42433, 42451, 42457, 42463, 42487, 42499, 42571, 42577, 42589, 42643, 42649, 42667, 42697, 42703, 42709, 42727, 42751, 42787, 42793, 42829, 42841, 42853, 42859, 42901, 42937, 42943, 42961, 42967, 42979, 43003, 43051, 43063, 43093, 43117, 43159, 43177, 43189, 43201, 43207, 43237, 43261, 43291, 43321, 43399, 43411, 43441, 43543, 43573, 43579, 43591, 43597, 43609, 43627, 43633, 43651, 43669, 43711, 43717, 43753, 43759, 43777, 43783, 43789, 43801, 43867, 43891, 43933, 43951, 43963, 43969, 43987, 44017, 44029, 44041, 44053, 44059, 44071, 44089, 44101, 44119, 44131, 44179, 44203, 44221, 44257, 44263, 44269, 44281, 44293, 44371, 44383, 44389, 44449, 44491, 44497, 44533, 44563, 44587, 44617, 44623, 44641, 44647, 44683, 44701, 44773, 44797, 44809, 44839, 44851, 44887, 44893, 44917, 44953, 44959, 44971, 44983, 45007, 45013, 45061, 45121, 45127, 45139, 45181, 45247, 45259, 45289, 45307, 45319, 45337, 45343, 45361, 45403, 45427, 45433, 45439, 45481, 45523, 45541, 45553, 45589, 45613, 45631, 45667, 45673, 45691, 45697, 45751, 45757, 45763, 45817, 45823, 45841, 45853, 45943, 45949, 45979, 46021, 46027, 46051, 46093, 46099, 46141, 46147, 46153, 46171, 46183, 46219, 46237, 46261, 46273, 46279, 46309, 46327, 46351, 46381, 46399, 46411, 46441, 46447, 46471, 46477, 46489, 46507, 46549, 46567, 46573, 46591, 46633, 46639, 46663, 46681, 46687, 46723, 46747, 46771, 46807, 46819, 46831, 46861, 46867, 46933, 46957, 46993, 47017, 47041, 47059, 47119, 47137, 47143, 47149, 47161, 47221, 47251, 47269, 47287, 47293, 47317, 47353, 47389, 47407, 47419, 47431, 47491, 47497, 47521, 47527, 47533, 47563, 47569, 47581, 47599, 47623, 47629, 47653, 47659, 47701, 47713, 47737, 47743, 47779, 47791, 47797, 47809, 47857, 47869, 47881, 47911, 47917, 47947, 47977, 48049, 48073, 48079, 48091, 48109, 48121, 48157, 48163, 48187, 48193, 48247, 48259, 48271, 48313, 48337, 48397, 48409, 48463, 48481, 48487, 48523, 48541, 48571, 48589, 48619, 48649, 48661, 48673, 48679, 48733, 48751, 48757, 48781, 48787, 48799, 48817, 48823, 48847, 48859, 48871, 48883, 48889, 48907, 48973, 48991, 49003, 49009, 49033, 49057, 49069, 49081, 49117, 49123, 49171, 49177, 49201, 49207, 49261, 49279, 49297, 49333, 49339, 49363, 49369, 49393, 49411, 49417, 49429, 49459, 49477, 49531, 49537, 49549, 49597, 49603, 49627, 49633, 49639, 49663, 49669, 49681, 49711, 49741, 49747, 49783, 49789, 49801, 49807, 49831, 49843, 49891, 49921, 49927, 49939, 49957, 49993, 49999]
In [31]:
M = ModularSymbols(17,sign=1).cuspidal_submodule()
N = M.level()
ms_map = ModularSymbolMap(M)
ms_denom = ZZ(ms_map.denom)
inf_zero = M.rational_period_mapping()([oo,0])[0]
print ms_denom, inf_zero
def f(a,b):
return ms_map._eval1(a,b)[0] / ms_denom

1 1
In [ ]: