gp: [N,k,chi] = [220,3,Mod(31,220)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
magma: //Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("220.31");
S:= CuspForms(chi, 3);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(220, base_ring=CyclotomicField(10))
chi = DirichletCharacter(H, H._module([5, 0, 6]))
N = Newforms(chi, 3, names="a")
Newform invariants
sage: traces = [96,2,0,-4]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(4)] == traces)
gp: f = lf[1] \\ Warning: the index may be different
The algebraic \(q\)-expansion of this newform has not been computed, but we have computed the trace expansion .
For each embedding \(\iota_m\) of the coefficient field, the values \(\iota_m(a_n)\) are shown below.
For more information on an embedded modular form you can click on its label.
gp: mfembed(f)
Refresh table
This newform subspace can be constructed as the kernel of the linear operator
\( T_{3}^{96} - 140 T_{3}^{94} + 11350 T_{3}^{92} - 698554 T_{3}^{90} + 36300215 T_{3}^{88} + \cdots + 34\!\cdots\!00 \)
T3^96 - 140*T3^94 + 11350*T3^92 - 698554*T3^90 + 36300215*T3^88 - 1629290692*T3^86 + 64468410123*T3^84 - 2290020253608*T3^82 + 73896358724369*T3^80 - 2174945637104664*T3^78 + 58704376944903087*T3^76 - 1459858466462874298*T3^74 + 33522528422166884210*T3^72 - 711095858972700153588*T3^70 + 13957868397168158728674*T3^68 - 253753613549315782445794*T3^66 + 4270473021866155631774605*T3^64 - 66469845389569369009205068*T3^62 + 957337104112323941997846719*T3^60 - 12752771463272821503522339192*T3^58 + 156868302895071079422558488712*T3^56 - 1779509005711032262967130170432*T3^54 + 18627058490518003877762467519995*T3^52 - 179655562063583826294038360149652*T3^50 + 1591683687521213342275277379456921*T3^48 - 12921950676973801013895221450421828*T3^46 + 96077137621886450203156718887680821*T3^44 - 649396172717742039117710682643720818*T3^42 + 3962689706824399547021812428617512592*T3^40 - 21733129872756135318984119401374506312*T3^38 + 106493612556386427731623587319294558590*T3^36 - 455467321477882350924241316892707886518*T3^34 + 1681428555426183516573967127275944417861*T3^32 - 5386237609447165159350980374568859888264*T3^30 + 15045641699084424486247210748161324441643*T3^28 - 35519642370187047075966022337134003085976*T3^26 + 68104196859250664621695707563434788802145*T3^24 - 104268661758257456753699107090069696045876*T3^22 + 132174699549263207020606623738514205735119*T3^20 - 144122216270777861301958715719169248627574*T3^18 + 130061175415915424913096028649630847234641*T3^16 - 82202516715701027343313548451698204549440*T3^14 + 35835518291609245758634495251907208987200*T3^12 - 12043994375179488751785473541101707632000*T3^10 + 4402947270224886901228824099490443200000*T3^8 - 871317642073685752376054721526028800000*T3^6 + 79400598533021315340789507990592000000*T3^4 + 725678188337037814341006103040000000*T3^2 + 34727881891980155783718937600000000
acting on \(S_{3}^{\mathrm{new}}(220, [\chi])\).