gp: [N,k,chi] = [588,2,Mod(41,588)]
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("588.41");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(588, base_ring=CyclotomicField(14))
chi = DirichletCharacter(H, H._module([0, 7, 5]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [96]
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_{5}^{96} + 50 T_{5}^{94} + 1559 T_{5}^{92} + 37246 T_{5}^{90} + 748720 T_{5}^{88} + \cdots + 68\!\cdots\!29 \)
T5^96 + 50*T5^94 + 1559*T5^92 + 37246*T5^90 + 748720*T5^88 + 13448897*T5^86 + 230626298*T5^84 + 3581317825*T5^82 + 51341474262*T5^80 + 672249492206*T5^78 + 8159233386506*T5^76 + 93590908575290*T5^74 + 1022345536925692*T5^72 + 10277129245579910*T5^70 + 97880686676927502*T5^68 + 865753812424655656*T5^66 + 7299008479793908497*T5^64 + 58776959872162449178*T5^62 + 445458004010265216117*T5^60 + 3165410756115324534993*T5^58 + 21519936392493532226667*T5^56 + 138147573036825791876828*T5^54 + 852089205275655839629024*T5^52 + 4965478220950319774658476*T5^50 + 27075959640494612620326436*T5^48 + 140595527325807059030576030*T5^46 + 701313433137645048508077178*T5^44 + 3284163663174338658600479642*T5^42 + 14575773791670672507079296619*T5^40 + 59674429659071078965784628111*T5^38 + 228585357796149785199997249623*T5^36 + 856819232038624088554542407185*T5^34 + 2981297710543310184451255202127*T5^32 + 8802713114037698964766610988301*T5^30 + 24056755388477127562667979126667*T5^28 + 64896865765857012332627369285105*T5^26 + 160415817090506625596096251297866*T5^24 + 331483456322330073645003472262638*T5^22 + 541334432349984046196551433389266*T5^20 + 645728430126582037019290363310915*T5^18 + 521262310971375556201659325907846*T5^16 + 273834285709801880138001109911140*T5^14 + 103566773237874831640174833746017*T5^12 + 24290373149745491505199775285644*T5^10 + 2613921807713578196390338223266*T5^8 - 18719071544092239388878635672*T5^6 + 597377952176501419833588826*T5^4 - 4383589951857483321546774*T5^2 + 68124459845836026088729
acting on \(S_{2}^{\mathrm{new}}(588, [\chi])\).