gp: [N,k,chi] = [925,2,Mod(99,925)]
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("925.99");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(925, base_ring=CyclotomicField(18))
chi = DirichletCharacter(H, H._module([9, 5]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [72,0,0,6,0,0,-6]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(7)] == 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_{2}^{72} - 3 T_{2}^{70} + 14 T_{2}^{69} - 42 T_{2}^{67} + 557 T_{2}^{66} - 12 T_{2}^{65} + \cdots + 11449 \)
T2^72 - 3*T2^70 + 14*T2^69 - 42*T2^67 + 557*T2^66 - 12*T2^65 - 618*T2^64 + 3646*T2^63 + 3108*T2^62 + 2484*T2^61 + 143013*T2^60 + 52500*T2^59 + 82524*T2^58 + 656564*T2^57 + 823107*T2^56 + 188082*T2^55 + 21439222*T2^54 - 77574*T2^53 + 25851624*T2^52 + 28258772*T2^51 + 71724741*T2^50 + 121374792*T2^49 + 1560517719*T2^48 + 321876696*T2^47 + 2816428341*T2^46 + 1767442226*T2^45 + 4777038519*T2^44 + 6075254022*T2^43 + 70351557617*T2^42 + 426068970*T2^41 + 152775924579*T2^40 - 9411822132*T2^39 + 91834445559*T2^38 + 302454288354*T2^37 + 1274300093408*T2^36 + 1203799652880*T2^35 + 4153760630061*T2^34 + 1621938817436*T2^33 + 4017552371700*T2^32 - 385898517036*T2^31 + 5768895568713*T2^30 - 3978442509234*T2^29 + 14558419941897*T2^28 - 3923390881256*T2^27 + 9212456473287*T2^26 - 2033667067644*T2^25 + 9968710458687*T2^24 - 9044054440140*T2^23 + 18784438910187*T2^22 + 2786324513434*T2^21 - 3193111302087*T2^20 + 3969046271412*T2^19 + 5500722290210*T2^18 - 2014403035434*T2^17 + 7866209146287*T2^16 - 3483065757356*T2^15 + 1600858099515*T2^14 + 787643193402*T2^13 + 385255272489*T2^12 + 70687036086*T2^11 + 170718181764*T2^10 - 23823784320*T2^9 - 27780170883*T2^8 + 2373496440*T2^7 + 1942219781*T2^6 - 185910252*T2^5 - 18766560*T2^4 - 702080*T2^3 + 463374*T2^2 - 51360*T2 + 11449
acting on \(S_{2}^{\mathrm{new}}(925, [\chi])\).