gp: [N,k,chi] = [864,2,Mod(109,864)]
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("864.109");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(864, base_ring=CyclotomicField(8))
chi = DirichletCharacter(H, H._module([0, 7, 0]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [128,0,0,0,0,0,0,0,0,-8]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(10)] == 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}^{128} + 1024 T_{5}^{122} + 204544 T_{5}^{120} + 220672 T_{5}^{118} + 524288 T_{5}^{116} + \cdots + 31\!\cdots\!01 \)
T5^128 + 1024*T5^122 + 204544*T5^120 + 220672*T5^118 + 524288*T5^116 + 161525376*T5^114 + 14612910264*T5^112 + 34844108800*T5^110 + 82510086144*T5^108 + 7347792239360*T5^106 + 446227961071360*T5^104 + 1579640113699328*T5^102 + 3720165419458560*T5^100 + 108175181341050240*T5^98 + 5680282509332767068*T5^96 + 22540913877823021056*T5^94 + 52662626620023603200*T5^92 + 759303593232655151616*T5^90 + 33220702467414141222144*T5^88 + 139705043318958653558272*T5^86 + 330210444419387362721792*T5^84 + 2824821541085539123435136*T5^82 + 92697128285555124940618888*T5^80 + 418606125852303951590729728*T5^78 + 1030217931871959287460102144*T5^76 + 5034693591336928223830975744*T5^74 + 125049622136305686165488119040*T5^72 + 603051542926604639784521611776*T5^70 + 1549438893082502781449768394752*T5^68 + 4306072356849969782683835916672*T5^66 + 80032956956951599990681479587718*T5^64 + 412469989521205951415396838899712*T5^62 + 1110173011882297710565310727913472*T5^60 + 1580959132058704642212893997355008*T5^58 + 20317245753403093922465993390498048*T5^56 + 113097533615020011618575743094303232*T5^54 + 322899145487688699520114901713780736*T5^52 + 175497289851585956909976186642190208*T5^50 + 455589698673464112740556262625107976*T5^48 + 4124800558566869870631394536041560064*T5^46 + 16278034924390172097656106320616161280*T5^44 + 1314036375758606810767032423993021696*T5^42 - 13574660258079012673934363234490124032*T5^40 - 12617338544788834820310033756721947136*T5^38 + 184920125174593728855245251718487400448*T5^36 - 232201756905484649756124384896228260736*T5^34 + 143441754777668504442091563941171970524*T5^32 + 11191552011378488072896490768607944704*T5^30 - 13116941800685129785133852365334806528*T5^28 + 1807044796763082379852093773117381120*T5^26 + 8059802670141974643924118929526211328*T5^24 + 3611513413781660868831833339912956416*T5^22 + 843883600124773014984183722901848064*T5^20 + 107293951256858262786268819668282240*T5^18 + 9713625061040010654227678287303224*T5^16 + 1370779754437692876673343488440320*T5^14 + 324736234800354719146770769870848*T5^12 + 41189194109529708386012995668736*T5^10 + 2561485195165091080102028104448*T5^8 - 11820642460732858705684509184*T5^6 + 27065640478997916337971200*T5^4 - 12977829136316047223680*T5^2 + 3111399658583832001
acting on \(S_{2}^{\mathrm{new}}(864, [\chi])\).