gp: [N,k,chi] = [1183,2,Mod(170,1183)]
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("1183.170");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(1183, base_ring=CyclotomicField(6))
chi = DirichletCharacter(H, H._module([2, 0]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [48,-1,0]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(3)] == 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_{2}^{\mathrm{new}}(1183, [\chi])\):
\( T_{2}^{48} + T_{2}^{47} + 36 T_{2}^{46} + 33 T_{2}^{45} + 732 T_{2}^{44} + 632 T_{2}^{43} + 10151 T_{2}^{42} + \cdots + 1 \)
T2^48 + T2^47 + 36*T2^46 + 33*T2^45 + 732*T2^44 + 632*T2^43 + 10151*T2^42 + 8243*T2^41 + 106087*T2^40 + 81539*T2^39 + 870994*T2^38 + 635067*T2^37 + 5784748*T2^36 + 4027379*T2^35 + 31544454*T2^34 + 21098051*T2^33 + 142824395*T2^32 + 92649281*T2^31 + 539578858*T2^30 + 342740897*T2^29 + 1707005233*T2^28 + 1073774747*T2^27 + 4519907017*T2^26 + 2842327653*T2^25 + 10008413532*T2^24 + 6341979220*T2^23 + 18445450356*T2^22 + 11816033318*T2^21 + 28167291869*T2^20 + 18217427312*T2^19 + 35274496336*T2^18 + 22870877696*T2^17 + 35867842038*T2^16 + 23004178701*T2^15 + 28974567039*T2^14 + 18000910641*T2^13 + 18187182197*T2^12 + 10587246410*T2^11 + 8389502964*T2^10 + 4340674208*T2^9 + 2674229836*T2^8 + 1117654469*T2^7 + 460013699*T2^6 + 115146543*T2^5 + 23201747*T2^4 + 2341432*T2^3 + 172905*T2^2 - 409*T2 + 1
\( T_{3}^{48} + 49 T_{3}^{46} + 14 T_{3}^{45} + 1371 T_{3}^{44} + 625 T_{3}^{43} + 26183 T_{3}^{42} + \cdots + 810483961 \)
T3^48 + 49*T3^46 + 14*T3^45 + 1371*T3^44 + 625*T3^43 + 26183*T3^42 + 15656*T3^41 + 377639*T3^40 + 265248*T3^39 + 4276082*T3^38 + 3352995*T3^37 + 39137350*T3^36 + 32936152*T3^35 + 293341345*T3^34 + 258463976*T3^33 + 1820021470*T3^32 + 1644030309*T3^31 + 9380286332*T3^30 + 8561820000*T3^29 + 40297420793*T3^28 + 36705670001*T3^27 + 144137621881*T3^26 + 129928923099*T3^25 + 429283628038*T3^24 + 380148112164*T3^23 + 1060445105592*T3^22 + 917156320984*T3^21 + 2166761284917*T3^20 + 1816468407179*T3^19 + 3632221493931*T3^18 + 2926411244206*T3^17 + 4958186844061*T3^16 + 3789915207554*T3^15 + 5423102564747*T3^14 + 3870961606576*T3^13 + 4684342042750*T3^12 + 3054624770578*T3^11 + 3103562854573*T3^10 + 1805907682167*T3^9 + 1550393131196*T3^8 + 790250544491*T3^7 + 561525929980*T3^6 + 238793889789*T3^5 + 138029745763*T3^4 + 46857186096*T3^3 + 20032294513*T3^2 + 3978485812*T3 + 810483961