gp: [N,k,chi] = [425,2,Mod(86,425)]
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("425.86");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(425, base_ring=CyclotomicField(10))
chi = DirichletCharacter(H, H._module([8, 0]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [80]
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_{2}^{80} - 2 T_{2}^{79} + 32 T_{2}^{78} - 69 T_{2}^{77} + 604 T_{2}^{76} - 1244 T_{2}^{75} + \cdots + 121 \)
T2^80 - 2*T2^79 + 32*T2^78 - 69*T2^77 + 604*T2^76 - 1244*T2^75 + 8529*T2^74 - 16678*T2^73 + 99941*T2^72 - 187350*T2^71 + 1006372*T2^70 - 1816560*T2^69 + 8891589*T2^68 - 15344957*T2^67 + 69856396*T2^66 - 115286708*T2^65 + 494136368*T2^64 - 781854184*T2^63 + 3166845032*T2^62 - 4803046170*T2^61 + 18458121520*T2^60 - 26760081556*T2^59 + 98085150631*T2^58 - 136153761154*T2^57 + 476734022885*T2^56 - 635077059428*T2^55 + 2120575544227*T2^54 - 2710102424731*T2^53 + 8626971375253*T2^52 - 10562320524589*T2^51 + 32056125668518*T2^50 - 37702148504090*T2^49 + 108723630609438*T2^48 - 122928060124458*T2^47 + 335106032834824*T2^46 - 362884118438910*T2^45 + 933424544113509*T2^44 - 964603886987280*T2^43 + 2335261396911718*T2^42 - 2308441807012349*T2^41 + 5221672666836591*T2^40 - 4890118355959069*T2^39 + 10279973066539108*T2^38 - 8929297786516870*T2^37 + 17607165175828937*T2^36 - 13991604787762206*T2^35 + 26263450856013750*T2^34 - 19435937165839379*T2^33 + 34753556250092006*T2^32 - 23760775687553628*T2^31 + 39511937319039184*T2^30 - 24075796679598297*T2^29 + 37737506210713203*T2^28 - 20944230409746894*T2^27 + 30464154836158480*T2^26 - 16368434458462341*T2^25 + 20749165029582677*T2^24 - 11130276797645300*T2^23 + 11569720746814236*T2^22 - 5716617263953533*T2^21 + 5005295975311347*T2^20 - 2052180471961643*T2^19 + 1603846067176186*T2^18 - 515599890739015*T2^17 + 383715199645578*T2^16 - 123959847845971*T2^15 + 84540564228496*T2^14 - 20280103690122*T2^13 + 18384525284174*T2^12 - 2575506228210*T2^11 + 463844779486*T2^10 + 335091034457*T2^9 + 140281763453*T2^8 + 30406869407*T2^7 + 6551675561*T2^6 + 996673048*T2^5 + 131100709*T2^4 + 11258164*T2^3 + 580530*T2^2 + 7194*T2 + 121
acting on \(S_{2}^{\mathrm{new}}(425, [\chi])\).