gp: [N,k,chi] = [40,11,Mod(19,40)]
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("40.19");
S:= CuspForms(chi, 11);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(40, base_ring=CyclotomicField(2))
chi = DirichletCharacter(H, H._module([1, 1, 1]))
N = Newforms(chi, 11, names="a")
Newform invariants
sage: traces = [56,0]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(2)] == 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 intersection of the kernels of the following linear operators acting on \(S_{11}^{\mathrm{new}}(40, [\chi])\):
\( T_{3}^{28} + 1121932 T_{3}^{26} + 552887698916 T_{3}^{24} + \cdots + 75\!\cdots\!00 \)
T3^28 + 1121932*T3^26 + 552887698916*T3^24 + 157751354746839360*T3^22 + 28921199925575314859040*T3^20 + 3575049761922547530073477248*T3^18 + 304227037076163752600744146206336*T3^16 + 17879485720521012001735032328253395968*T3^14 + 717683542865848498020178811667520866704640*T3^12 + 19181816098937152958774242766418541191267240960*T3^10 + 327137867478198840243352720100763414717848290046976*T3^8 + 3327551935798090819728932994466768992163040766876844032*T3^6 + 17940131277609152165096469775652219981356192668278342025216*T3^4 + 39555729803509525330988191438937937560706035372344674877440000*T3^2 + 7567042106681260678399309272123945479929709968585163790090240000
\( T_{7}^{28} - 4198529092 T_{7}^{26} + \cdots + 16\!\cdots\!00 \)
T7^28 - 4198529092*T7^26 + 7551232976136573316*T7^24 - 7632983516771485311606300800*T7^22 + 4783212477135752708290139096366282400*T7^20 - 1934686324339314368788832622412208180192598400*T7^18 + 510881480801164254529693563323488798447363787716470400*T7^16 - 87502211953377133054388764097795861619590851282425423265408000*T7^14 + 9545256616283004271855887798681694164101283062520394727350474504121600*T7^12 - 646532849014228482248480107195794188861599439021432792282371076143995503232000*T7^10 + 26497616432123156673897868304476396474925693728129247996633136888137946161290689664000*T7^8 - 638012211302789884702097407377146177335230056556223098488115305177866246556149362919864320000*T7^6 + 8657164105776915731161597410298050600489842811029987341494772087776495135345756428051386380800000000*T7^4 - 60275653317935007251266854212412979210224282211844871250757894385547806162620714768041062864092160000000000*T7^2 + 164696380281556740044928242193944109685740008150600134047229071756956174904285881206214933009751001920000000000000