gp: [N,k,chi] = [80,14,Mod(47,80)]
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("80.47");
S:= CuspForms(chi, 14);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(80, base_ring=CyclotomicField(4))
chi = DirichletCharacter(H, H._module([2, 0, 1]))
N = Newforms(chi, 14, names="a")
Newform invariants
sage: traces = [52]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(1)] == 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}^{52} + 96512937596228 T_{3}^{48} + \cdots + 18\!\cdots\!56 \)
T3^52 + 96512937596228*T3^48 + 3780243324523414185895171648*T3^44 + 77356494657950075377741376004879725481216*T3^40 + 892381769139525157200029501530223638673116146284183040*T3^36 + 5933092010835129442203898554990947658256656010453180376327718746112*T3^32 + 22988326129951944504949885688284106477035544303704481356958241284875344308944896*T3^28 + 51268150985052498655867436138848839343784573692782681079219300077304375400713827743978029056*T3^24 + 61967988431595453944858760220917958831080341174902917750691669152355690682688888908589611972383262441472*T3^20 + 34200717288157616482196106641455775362162281224504596521880292101885863946303392460205323567575270265989849097175040*T3^16 + 4635610856543587427363127096800784366561394652664719188469547454750803532476381759038378733804397833791542195022348422779764736*T3^12 + 109265144409853545377104658688655010933114092937990612855524355766868869728320416792520580516454760801399982400113148163215743086302855168*T3^8 + 91456127157917332943624685194012409417561001966766553644762310752230666273007778968983424126712701275447427740158033860694017342215363466423697408*T3^4 + 18758839845166113789607563234737094679148629975686880909106068999995050861137629701526692894931291626553830641152913475709415171410092923835562062832992256
acting on \(S_{14}^{\mathrm{new}}(80, [\chi])\).