NumberDB Advanced search Tags Tables Help Login

Zagier traces of singular moduli

edit · history · discussion · files · long url · modular function elliptic curves modular form number theory
Numbers
$m$
$d$ 
$t_m(d)$
1
3:
-248
1
4:
492
1
7:
-4119
1
8:
7256
1
11:
-33512
1
12:
53008
1
15:
-192513
1
16:
287244
1
19:
-885480
1
20:
1262512
1
23:
-3493982
1
24:
4833456
1
27:
-12288992
1
28:
16576512
1
31:
-39493539
1
32:
52255768
1
35:
-117966288
1
36:
153541020
1
39:
-331534572
1
40:
425691312
1
43:
-884736744
1
44:
1122626864
1
47:
-2257837845
1
48:
2835861520
1
51:
-5541103056
1
52:
6896878512
1
55:
-13136687601
1
56:
16220381536
1
59:
-30197680312
1
60:
37017882624
1
63:
-67515206970
1
64:
82226601996
1
67:
-147197952744
1
68:
178211037024
1
71:
-313645814923
1
72:
377674773768
1
75:
-654403831496
1
76:
784073551152
1
79:
-1339190286960
1
80:
1597178431536
1
83:
-2691907586232
1
84:
3196800943968
1
87:
-5321761716339
1
88:
6294842638512
1
91:
-10359073015248
1
92:
12207820353536
1
95:
-19874477925452
1
96:
23340149127216
1
99:
-37616060991672
1
100:
44031499225500
1
103:
-70292286283845
1
104:
82028232170000
1
107:
-129783279618232
1
108:
151013216468032
1
111:
-236917342632747
1
112:
274917340545024
1
115:
-427864611227088
1
116:
495202728823568
1
119:
-764872171224401
1
120:
883067971101024
1
123:
-1354146840577488
1
124:
1559739496882176
1
127:
-2375421230602470
1
128:
2729960470560792
1
131:
-4130485792116360
1
132:
4736863498461024
1
135:
-7122306993484602
1
136:
8151279336427872
1
139:
-12183160834033848
1
140:
13916137888471648
1
143:
-20680840776421065
1
144:
23578504122395196
1
147:
-34848505552897736
1
148:
39660183801070512
1
151:
-58309232586868158
1
152:
66246265919275536
1
155:
-96905542950914976
1
156:
109914552555417600
1
159:
-160004137022349585
1
160:
181195520250329136
1
163:
-262537412640768744
1
164:
296853791160434368
1
167:
-428181809075076684
1
168:
483435712076829024
1
171:
-694282057877425800
1
172:
782759105298591024
1
175:
-1119444674984000988
1
176:
1260369121174843440
1
179:
-1795194552944496264
1
180:
2018504138610379536
1
183:
-2863790268422951577
1
184:
3215890895076909408
1
187:
-4545336381788161488
1
188:
5097838273857986560
1
191:
-7178874489555779742
1
192:
8041801040214294544
1
195:
-11284411506057218976
1
196:
12626092121367163212
1
199:
-17656190279770945356
1
200:
19733105507276113512
2
3:
53256
2
4:
287244
2
7:
16572393
2
8:
52255768
2
11:
1122660376
2
12:
2835861024
2
15:
37017690111
2
16:
82226602980
2
19:
784074436632
2
20:
1597178431536
2
23:
12207816859554
2
24:
23340149127216
2
27:
151013228757024
2
28:
274917340536786
2
31:
1559739457388637
2
32:
2729960470575304
2
35:
13916138006437936
2
36:
23578504122395196
2
39:
109914552223883028
2
40:
181195520250329136
2
43:
782759106183327768
2
44:
1260369121174776416
2
47:
5097838271600148715
2
48:
8041801040214400560
2
51:
30703802307926876208
2
52:
47568078798946879536
2
55:
172572544380895698447
2
56:
263096730286803808352
2
59:
911900087980611031112
2
60:
1370337635621865857022
2
63:
4558302700761518203590
2
64:
6761166974864089334820
2
67:
21667237292024856735768
2
68:
31759326200087893119072
2
71:
98373700602463231564661
2
72:
142637765058846237791304
2
75:
428244362959801779859512
2
76:
614772722256620450769504
2
79:
1793430629450583469049232
2
80:
2550974942440025610782608
2
83:
7246366527782385877471304
2
84:
10219547616983661465145440
2
87:
28321147554727055193806733
2
88:
39625012256724286375999536
2
91:
107310393727516367835684912
2
92:
149030963654438410208567108
2
95:
394994873978607843661982644
2
96:
544762334416909123072164240
2
99:
1414968042064378971795443784
2
100:
1938773508354916749344893500
2
103:
4941005510420693664637046715
2
104:
6728629394455320627506653328
2
107:
16843699681607004946629087304
2
108:
22804995243537746841810516096
2
111:
56129827213179219416955221205
2
112:
75579535015741863005891715072
2
115:
183068125539610033421078028336
2
116:
245225764751687872560599029904
2
119:
585029438443768944348124488367
2
120:
779808988929607359307993215072
2
123:
1833713665546358542159577407536
2
124:
2432787421339921972221564469434
2
127:
5642626022844042845866862520090
2
128:
7452683886314847768927597410376
2
131:
17060912880192883509751561072760
2
132:
22437876453496777849029678207072
2
135:
50727256906489034901226359377094
2
136:
66443353348592341373088891629664
2
139:
148429407908006153298687802429512
2
140:
193658897020870437085095187633344
2
143:
427697175231708533730554257056055
2
144:
555945849395316042744888696869748
2
147:
1214418339247561600451288629620792
2
148:
1572930194931239891587788997183536
2
151:
3399966604866752879616417618774594
2
152:
4388567714199717487921623472318608
2
155:
9390684254700150350482257609343072
2
156:
12081208936232946945889080583609896
2
159:
25601323864103588692408692139216623
2
160:
32831816404527409202224620799889808
2
163:
68925893036109279891085639286943768
2
164:
88122173650198652217546971463295168
2
167:
183339661623419938094589054407872948
2
168:
233710087038209530559911125610623072
2
171:
482027575889279639112758753068068984
2
172:
612711818312922196461744186904767072
2
175:
1253156380350127683226473321338688036
2
176:
1588530318783830552745824216157837968
2
179:
3222723482925979661402106121789649016
2
180:
4074358963317658039678003475547838608
2
183:
8201294701505533973153549388741852519
2
184:
10341954237504564980306554122325880928
2
187:
20660082823607096260557693839278399536
2
188:
25987955089449122833145753831523369430
2
191:
51536238936823453217821189443340263266
2
192:
64670563924749466402189515757096771632
2
195:
127337943037985804323078099045319295072
2
196:
159418202346978959358843609900592231020
2
199:
311741055195475140856599676483007084724
2
200:
389395452786080668273863849703842874536
3
3:
-12288992
3
4:
153540528
3
7:
-67515202851
3
8:
377674781024
3
11:
-37616061025184
3
12:
151013216468032
3
15:
-7122306993484602
3
16:
23578504122107952
3
19:
-694282057876540320
3
20:
2018504138611642048
3
23:
-42653766018401010803
3
24:
112760061542461457088
3
27:
-1855762905734676483968
3
28:
4558302700829016834048
3
31:
-61599632504312736071370
3
32:
142637765058846290047072
3
35:
-1641640623633326009554752
3
36:
3620548496603402162501232
3
39:
-36440371547969824547025297
3
40:
77129618436806598479110848
3
43:
-692535742940813486100482976
3
44:
1414968042064341356857078976
3
47:
-11510099572680400882318117755
3
48:
22804995243537746841835094080
3
51:
-170132875256900610750750332736
3
52:
328075211021936819361135546048
3
55:
-2267031494569903497104654506029
3
56:
4267496525087796057439019926912
3
59:
-27537270228600020374894573757152
3
60:
50727256906489042023533352861696
3
63:
-307754734372799631847663406891880
3
64:
555945849395316042744806163185712
3
67:
-3189372971004509360884026494978976
3
68:
5659876044371959794523797926772096
3
71:
-30854500023395538445049299248127483
3
72:
53870596955882124816323657991255072
3
75:
-280244748103684391377173184181213984
3
76:
482027575889279638418475911117092032
3
79:
-2401744882491158577542409272933526861
3
80:
4074358963317658039678005072726270144
3
83:
-19506549129659843880518878114000904928
3
84:
32669877597364144386883724991427747200
3
87:
-150718398258800428819705891125090707481
3
88:
249433117287892229270918840407682106048
3
91:
-1111636203878351887090798016351101065024
3
92:
1819343755551914380077922245112183046144
3
95:
-7850316915175623024761194263416284544183
3
96:
12714831476663838926693078754488894152896
3
99:
-53225524125202190209686089336143045173984
3
100:
85367117095565698138593773880519711078000
3
103:
-347314573847849226007185357287389279759380
3
104:
551937513515712907151397536156878582294592
3
107:
-2186030586436385809493739169039702847496928
3
108:
3443855962300764146091361166051653878608128
3
111:
-13298129502585439839811795720082054155070622
3
112:
20778123513000618808248661414923040380420096
3
115:
-78328372361885062472335721723782252181919552
3
116:
121436473359175550209319949520849049961425984
3
119:
-447472736862487661105002939316225171959276823
3
120:
688624318451493947752152998688087732127860096
3
123:
-2483117566520491605893690385975103573008389952
3
124:
3794514724666382084971855333409228877781106688
3
127:
-13403613651069663343559495232928533844355021130
3
128:
20345532020874860576659490067169795165905027168
3
131:
-70469858254893225668577982811632714186928863776
3
132:
106285159496080069168877559558320772223456116096
3
135:
-361295096614869416493060965726527059795184418208
3
136:
541598327194488943489692354862570290506985489792
3
139:
-1808339349044079834158438821202582471803831821024
3
140:
2694983937163214764302142867468771110186548881792
3
143:
-8845137181616402314715714755880223922468893642135
3
144:
13108371416270932659697141110857974552483257034992
3
147:
-42320664238412524773562978234934669952119918598944
3
148:
62382700950473563258623202773871826575469575098048
3
151:
-198249443550680244770035709319175955839708366808724
3
152:
290726222671856851119549927938644474411293410478144
3
155:
-910009356386615602117442517710776307905194737675904
3
156:
1327900678554088682953116332412720834582126362935296
3
159:
-4096317731492520096016415439811668685906607955841677
3
160:
5948978040206021593779486217236430755994817526423744
3
163:
-18095625621654510801615355531263454706630064771074976
3
164:
26159401381431493061736204079065565686534042724268800
3
167:
-78502707989259922611893726980188489765909097331522736
3
168:
112983802184173271655204118017282676056903917559924096
3
171:
-334663097341647874051859213391271941091304299897862688
3
172:
479605755250584496245539339561854854497290981110396096
3
175:
-1402839236905227347234316878250941990534074423445902827
3
176:
2002134560063502136161357728744200500035240250900332736
3
179:
-5785415642198974324645230801522163418853369695514442272
3
180:
8224110435424434366803684553981734952828450824106798144
3
183:
-23486787954628139734568657412421077273794845546849359558
3
184:
33258596451146947903314000551583409688235504850974606720
3
187:
-93907026108898024012187950088014490666792047895666693952
3
188:
132482392173017546888889981230295772707592995608995594240
3
191:
-369972190991316171493012108336393135684217486977104105831
3
192:
520067808057772369547996441204114697978514742735332442176
3
195:
-1436933749575219417720275654880570961758589979888959499904
3
196:
2012828909222170604358045758611423088454060623948932453680
3
199:
-5504159388547860585267547824765523493835042757472450312520
3
200:
7683981552152563465496377012872710791560940764127713606048
4
3:
2835808264
4
4:
82226601996
4
7:
274917357117417
4
8:
2729960470560792
4
11:
1260369120052183064
4
12:
8041801040214401056
4
15:
1370337635658883932159
4
16:
6761166974864089334820
4
19:
614772722255836378103832
4
20:
2550974942440025608257584
4
23:
149030963654450618032414626
4
24:
544762334416909123062497328
4
27:
22804995243537595828606337056
4
28:
75579535015741863005891706834
4
31:
2432787421339923531961100845149
4
32:
7452683886314847768927597410376
4
35:
193658897020870423168957417127984
4
36:
555945849395316042744888389787708
4
39:
12081208936232947055803633470562068
4
40:
32831816404527409202224619948507184
4
43:
612711818312922195678985082490912792
4
44:
1588530318783830552745824216157904992
4
47:
25987955089449122838243592107639193835
4
48:
64670563924749466402189515757096770640
4
51:
942723476164064268709859901979876786224
4
52:
2262722119966669232209275310103711809584
4
55:
29781283083164337628878028678533691350543
4
56:
69219889479075578543772046562204864282720
4
59:
831561770459063808477825430745905333469256
4
60:
1877825235500241645560786116435358176133118
4
63:
20778123513000618808253219717898719239168710
4
64:
45713378860880921566308709979981326911850452
4
67:
469469171868912646848380230233174834270240792
4
68:
1008654800672271552479974244500529365557379168
4
71:
9677384970346501861658998809056137409908136821
4
72:
20345532020874860576659490067167065205434466376
4
75:
183393234406846382045882997606216500976928489528
4
76:
377945500029851737282419338394497175769673490528
4
79:
3216393422661123009197327274939849186892151506320
4
80:
6507473156948743944064472907651852846135950020752
4
83:
52509827854964954201492052588456320079963189346376
4
84:
104439153495731089626833752476167040934626917548128
4
87:
802087398817225114093744694678792295450607114196877
4
88:
1570141596345051056353618324443567139362244849729584
4
91:
11515520601954584222094569162069996452608338857426992
4
92:
22210228127766903896039652774715689517477003035197252
4
95:
156020950469407693652893762864913591684848730465446836
4
96:
296766000999334899512245003518924329204828318590857360
4
99:
2002134560063502136161357727329232456710492157930045512
4
100:
3758842716698661712241372736333114614609259757942333500
4
103:
24413535454009048788460057291259688989216599911279611835
4
104:
45274453527927070902455008065022973068954173045807218832
4
107:
283710218964167919899525493980149096404511790021832802376
4
108:
520067808057772369547996441204114697978515044761789956224
4
111:
3150557502981407649271156894998192217223953875049681843413
4
112:
5712266113195708816033763055553175361044476046967161077668
4
115:
33513938588586419390346910176964369234813160949757799694384
4
116:
60135675698049919371573499779726436833043382864353209385104
4
119:
342259443845833426325336432687708259118674078438760971444911
4
120:
608102059215415115799813075304323905391859941680921829507168
4
123:
3362505807211462474748610191779538527065518615592303829057584
4
124:
5918454637429739448370745474323787039035489078551234718826682
4
127:
31839228433676834350709599713147505184133370791863370224445210
4
128:
55542497109336942093384193040664859071992364563045887123845544
4
131:
291074748305531431912635745843492670500045267445120182302343288
4
132:
503458299742384928639892073966098072391873339807922191507587168
4
135:
2573254593256940936153889515517642498362707548190876514760281286
4
136:
4414719204205896020217266428488134485408093172155043276149555296
4
139:
22031289131921279597425822700186533099501538268999175810186149960
4
140:
37503768395340095262105058044267341031498611415447508090260537536
4
143:
182924873701182831034202552806474764613271605674288985266263466295
4
144:
309075787459879400953695044146614662471915253261832908175081460916
4
147:
1474811902700805616301498789853623007113327125393098046635435425848
4
148:
2474109398126428198773245665479240634658471179307049362016555073584
4
151:
11559772914209155298982339281080340484541200483632376923962552601154
4
152:
19259526582116132653416922213941852680086441653293196364416602308752
4
155:
88184950771473318259906808485479401906260847618002075836972744835168
4
156:
145955609360914810888825516797002208758126095544200489613298098421288
4
159:
655427783594719922207272976983690690814638318071406421486265069391599
4
160:
1077928168420595083512759740558165622287941420899911951037460371959952
4
163:
4750778730825177725463920948909726618214491718039471366318747406368792
4
164:
7765517488835765600602578720592578936048517572816839961798008126177472
4
167:
33613431524190121924469345816865506863848492816460452218011156914508212
4
168:
54620404783407474198264051697761724012384657819677125712598182387843168
4
171:
232350583917695241667614027273789760111768110718781850634592994183413880
4
172:
375415772300327378911965689124331433541227940125923648255140558908547168
4
175:
1570400913612233885833694397211165878643976109178934249246467051233858084
4
176:
2523428573695458315033004745793042719436941564513788327737103176459670768
4
179:
10385946647402557122167400739666489734440108994627013260598186409298821240
4
180:
16600400961966941114914838933284983052419529248625262886119980840612036752
4
183:
67261234780942745685602045060984193128759012508682491234787591514425572711
4
184:
106956017450638627974583770845250773401728174438018397984793754350673789024
4
187:
426839022278304967378679651648336145269240587591197239209803479432536129584
4
188:
675373809731224565690709663492004405758300537340900328858382666168402739670
4
191:
2655983923753357777149068967696080626544605641465794244310330445814376619874
4
192:
4182281838345107106479800308537355245077631569553845329810484284083588381808
4
195:
16214951737145317372845465170353550477186337906082375410713065931040833667168
4
196:
25414163239542327782004582598407782039831237800657475432470511091938079891564
4
199:
97182485494388278334047141966022437195768447404078099245667128708970662590644
4
200:
151628818650476778864481406700333223368298657340988337399166388168491887804584
Definition
Zagier's trace of singular moduli is $t_m(d)=\sum_{[Q]\in\mathcal Q_d/\Gamma}J_m(\alpha_Q)/w_Q$ [1], equation (16). Here $\mathcal Q_d$ contains all positive definite integral forms of discriminant $-d$, including imprimitive forms, and $\Gamma=\mathrm{PSL}_2(\mathbb Z)$.
Parameters
$m$
—   Hecke order ($m\geq1$)
$d$
—   discriminant magnitude ($d>0$, $d\equiv0,3\pmod4$)
Formulas
(1)
Let $H_{-e}(x)$ be the primitive-order Hilbert class polynomial, and let $\operatorname{Tr}_{\mathbb Q[x]/(H_{-e})}$ denote the trace of multiplication in this quotient algebra. Then $t_m(d)=\sum_{f\geq1,\ f^2\mid d,\ e=d/f^2\equiv0,3\ (\mathrm{mod}\ 4)}\frac{1}{w(e)}\operatorname{Tr}_{\mathbb Q[x]/(H_{-e})}\!\bigl(P_{m,1A}(x-744)\bigr)$, where $w(3)=3$, $w(4)=2$ and $w(e)=1$ otherwise. Here $P_{m,1A}(X)$ is the identity-class Faber polynomial.
(2)
$J_m(\tau)=\sum_{ab=m,\ a,b>0}\sum_{r=0}^{b-1}J\!\left(\frac{a\tau+r}{b}\right)$, where $J=j-744$ [1], proof of Theorem 5(ii).
(3)
$$\begin{aligned}&-q^{-1}+2+\sum_{d>0}t_1(d)q^d\\&=-q^{-1}\left(\sum_{r\in\mathbb Z}(-1)^r q^{r^2}\right)\left(1+240\sum_{n\geq1}\sigma_3(n)q^{4n}\right)\prod_{n\geq1}(1-q^{4n})^{-6},\end{aligned}$$ where $\sigma_3(n)=\sum_{a\mid n,\ a>0}a^3$ and $t_1(d)=0$ when $d\equiv1,2\pmod4$ [1], equation (3) and Theorem 1.
(4)
$\sum_{[Q]\in\mathcal Q_d/\mathrm{PSL}_2(\mathbb Z)}j(\alpha_Q)/w_Q=t_1(d)+744H(d)$, where $H(d)=\sum_{[Q]\in\mathcal Q_d/\mathrm{PSL}_2(\mathbb Z)}1/w_Q$ is the Hurwitz–Kronecker class number [1], §1.
Comments
(5)
For $Q=[a,b,c]$, the CM root is $\alpha_Q=(-b+i\sqrt d)/(2a)$, with $\sqrt d>0$. The discriminant of the form is $-d$. Forms are equivalent under $\mathrm{PSL}_2(\mathbb Z)$.
(6)
The stabilizer order $w_Q$ is $3$ for a form equivalent to a positive integer multiple of $[1,1,1]$, $2$ for a multiple of $[1,0,1]$, and $1$ otherwise. These are stabilizers in $\mathrm{PSL}_2$, so the central sign of $\mathrm{SL}_2$ contributes no additional factor. The exceptional weights also apply to imprimitive forms [1], §1.
(7)
The function $J_m$ is the unique level-one modular function holomorphic on the upper half-plane with expansion $J_m(\tau)=q^{-m}+O(q)$, where $q=e^{2\pi i\tau}$ [1], §6. With the classical $j$-invariant, put $J=j-744$. Then $J_1=J$ and $J_m=P_{m,1A}(J)$, using the identity-class Hecke-type Faber polynomials; $P_{1,1A}(X)=X$. No division by $m$ is made.
(8)
The ordinary traces are Fourier coefficients of a weakly holomorphic modular form of weight $3/2$ for $\Gamma_0(4)$ [2]. More generally, $t_m(d)$ is the negative of the coefficient denoted $B_m(1,d)$ in [1], Theorem 5(ii), using that paper's Hecke normalization.
(9)
The rational singular moduli give the smallest cases: $j(\alpha_{[1,1,1]})=0$ yields $t_1(3)=-248$, and $j(i)=1728$ yields $t_1(4)=492$. At $d=12$, the form $[2,2,2]$ contributes $-248$ in addition to the primitive form $[1,0,3]$, giving $t_1(12)=53008$.
Programs
(P1)
Sage
# Exact traces for Hecke orders 1 through 4.
R.<x> = PolynomialRing(QQ)
F = [x-744,
     x^2-1488*x+159768,
     x^3-2232*x^2+1069956*x-36866976,
     x^4-2976*x^3+2533680*x^2-561444608*x+8507424792]
def zagier_trace(m, d):
    assert 1 <= m <= 4 and d > 0 and d % 4 in (0, 3)
    result = QQ(0)
    for f in divisors(d):
        if d % f^2:
            continue
        e = d // f^2
        if e % 4 not in (0, 3):
            continue
        H = R(hilbert_class_polynomial(-e, algorithm='arb'))
        w = 3 if e == 3 else 2 if e == 4 else 1
        result += sum(((x^k*F[m-1]) % H)[k] for k in range(H.degree())) / QQ(w)
    return ZZ(result)
zagier_trace(1, 203)  # another discriminant beyond the stored range
References
[1]
Don Zagier, Traces of singular moduli, in Motives, Polylogarithms and Hodge Theory, Part I, International Press Lecture Series 3, 2002, 211–244, §§1, 2 and 6. https://people.mpim-bonn.mpg.de/zagier/files/tex/TracesSingModuli/fulltext.pdf
[2]
Jan Hendrik Bruinier and Jens Funke, Traces of CM values of modular functions, Introduction, equations (1.1)–(1.2). https://www.maths.dur.ac.uk/users/jens.funke/cmtraces.pdf
Links
Similar tables
Hilbert class polynomials —   Their roots are the primitive CM orbits used in the square-divisor decomposition of these weighted traces.
Rational singular moduli —   The degree-one CM orbits provide exact special cases, with the same classical j normalization.
Hecke-type Faber polynomials —   The identity-class polynomial of degree m evaluates to the modular function J_m whose CM trace is stored here.
$q$-expansion of the $j$-invariant —   These coefficients determine J=j-744 and its identity-class Faber polynomials.
McKay–Thompson values at rectangular CM points —   These are individual principal CM values for nonidentity Monster classes, whereas this table sums full classical CM orbits.
Zeros of Hecke-type Faber polynomials —   These are roots of the same polynomial family, rather than weighted sums of its CM evaluations.
Data properties
Entries are of type: integer
How well the digits are known: exact
Table is complete: no (it holds every $1\leq m\leq4$ and every $3\leq d\leq200$ with $d\equiv0,3\pmod4$, including all nonfundamental discriminants and all imprimitive contributions. These noncanonical finite bounds cover the ordinary trace, the first two prime Hecke orders and the first composite order across small CM discriminants of varied class number and conductor. The choice balances breadth across this discrete arithmetic family with rapidly growing integers; the longest entry has 78 characters)
How they were obtained:

Computed from certified Hilbert class polynomials using SageMath's FLINT/Arb implementation [3]. Faber polynomials, quotient-algebra traces and square-divisor weights use exact integer or rational arithmetic, and every final result is required to be an integer.

more

All 400 entries agree with an independent exact calculation from the weight-$3/2$ coefficient recurrences and Hecke operators in [1], §§2 and 6. They also lie in direct CM orbit sums computed by summing Hecke translates of $j-744$ in 1024-bit complex ball arithmetic. Each component is finite with radius less than $10^{-110}$; each real interval isolates the recorded integer. Known-answer controls and deliberately incorrect answers precede these comparisons. The integers are stored exactly, not inferred by rounding those balls.

The checks compare 100 class polynomials with the companion table, all thirteen rational CM cases with the rational singular moduli, and the three higher Faber polynomials with the identity-class polynomials. They check the Laurent principal parts against the stored j expansion, all sixteen ordinary traces printed in [1], §1, the explicit polynomials in §6, and the displayed generating identity through discriminant 200. The attached checker repeats these checks on values read from the draft.



API Python package Skill for AI Privacy Legal notice Source
Data licensed CC BY-SA 4.0. No tracking, no analytics, essential cookies only.