gp: [N,k,chi] = [112,5,Mod(13,112)]
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("112.13");
S:= CuspForms(chi, 5);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(112, base_ring=CyclotomicField(4))
chi = DirichletCharacter(H, H._module([0, 3, 2]))
N = Newforms(chi, 5, names="a")
Newform invariants
sage: traces = [120]
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}^{120} + 613820 T_{3}^{116} + 172101311152 T_{3}^{112} + \cdots + 47\!\cdots\!00 \)
T3^120 + 613820*T3^116 + 172101311152*T3^112 + 29276932358775744*T3^108 + 3384956994438319020224*T3^104 + 282343097125652746501062400*T3^100 + 17600874569019552336896071362048*T3^96 + 838269367217925286609654180043182080*T3^92 + 30926042718762789687814858634906808419840*T3^88 + 891205921739980303609406258139834047419451392*T3^84 + 20151008509904723386343987974810233606378934206464*T3^80 + 358122237568783934411431565075090548393911717076631552*T3^76 + 5001026510878298677527633097678958530132126606724578131968*T3^72 + 54777714472313014709782818111929677180413035503663289790300160*T3^68 + 469182256018119596125443091243881184782795192352420491964498182144*T3^64 + 3128852066065350474990624022019711939174163707763160215306727490322432*T3^60 + 16148909125198915014077673274704379126085739614086679885800258613081604096*T3^56 + 63982583819298701712537740606875478173426322701313666357811727245380322852864*T3^52 + 192423758851389177562989508297501398817772509312733133707340723094778940327198720*T3^48 + 432576406567907294899886962367418171664778098599479069691775381142810487321620643840*T3^44 + 711960529133947243725213969466663012314111055616113559833203787147735299931048350056448*T3^40 + 834470022881430217898657045994998319960475105106726843509283045841541283207521888502808576*T3^36 + 671529023115593660625599509986612595718984369086746921115689447937745159439303163954574917632*T3^32 + 353394781627673982410536228281336754393845777247252389773531648750235316079760363884044968001536*T3^28 + 113322784622043884848533255630948685759789181067202225391048389560430303475903941908485800193949696*T3^24 + 19678099727463521277969502391588792383849207444025033235704447815334920724375154947440976433713774592*T3^20 + 1450429056747323170416076243353314146198543394124705540932463653429136515356877944814726168584346664960*T3^16 + 23178128914308840191811475743905086531329271170279091217108755487634752878332355003666306346901584216064*T3^12 + 54921935585532604011501745847475837662224287944034053948738318038867770880550628704914680304294434963456*T3^8 + 35544616448311897183147526119725473876842484567748869707653732174124878288186616651929718611389945217024*T3^4 + 473984172428995898872646079952074202055523086333327518728927926773600664204338600293359330304983040000
acting on \(S_{5}^{\mathrm{new}}(112, [\chi])\).