gp: [N,k,chi] = [880,2,Mod(221,880)]
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("880.221");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(880, base_ring=CyclotomicField(4))
chi = DirichletCharacter(H, H._module([0, 3, 0, 0]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [72]
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}^{72} + 8 T_{3}^{69} + 400 T_{3}^{68} + 72 T_{3}^{67} + 32 T_{3}^{66} + 2536 T_{3}^{65} + \cdots + 1327104 \)
T3^72 + 8*T3^69 + 400*T3^68 + 72*T3^67 + 32*T3^66 + 2536*T3^65 + 68708*T3^64 + 22712*T3^63 + 10080*T3^62 + 339592*T3^61 + 6667184*T3^60 + 3017896*T3^59 + 1336992*T3^58 + 25301816*T3^57 + 404593670*T3^56 + 221752952*T3^55 + 98102496*T3^54 + 1166415704*T3^53 + 16071788432*T3^52 + 9967778648*T3^51 + 4411503840*T3^50 + 35132755752*T3^49 + 425879038172*T3^48 + 287324384008*T3^47 + 127766887200*T3^46 + 712632616504*T3^45 + 7545587944656*T3^44 + 5433275972600*T3^43 + 2446999785056*T3^42 + 9818661533800*T3^41 + 88403626428113*T3^40 + 67830902179240*T3^39 + 31300383008672*T3^38 + 89885649584320*T3^37 + 668524034367008*T3^36 + 552561657004288*T3^35 + 264344108492672*T3^34 + 513105493978448*T3^33 + 3136977719223096*T3^32 + 2823289425182752*T3^31 + 1407734724151040*T3^30 + 1644194024117152*T3^29 + 8538830889467968*T3^28 + 8345822964676544*T3^27 + 4318813546096768*T3^26 + 2521104864289792*T3^25 + 11786335549729328*T3^24 + 12316153883319808*T3^23 + 6562169533018624*T3^22 + 1328619495613824*T3^21 + 6201461381693952*T3^20 + 6773840995858176*T3^19 + 3706389195251200*T3^18 + 189568880616960*T3^17 + 1109172264971136*T3^16 + 1296780710507008*T3^15 + 748566268325888*T3^14 - 19264418252288*T3^13 + 18790758412288*T3^12 + 40697395084288*T3^11 + 32917137041408*T3^10 - 4428191742976*T3^9 + 420254171392*T3^8 + 416674867200*T3^7 + 423822827520*T3^6 - 92855623680*T3^5 + 12098433024*T3^4 + 2111422464*T3^3 + 382205952*T3^2 - 31850496*T3 + 1327104
acting on \(S_{2}^{\mathrm{new}}(880, [\chi])\).