gp: [N,k,chi] = [9971,2,Mod(1,9971)]
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("9971.1");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(9971, base_ring=CyclotomicField(2))
chi = DirichletCharacter(H, H._module([0, 0]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [69,-1]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(2)] == 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
\( p \)
Sign
\(13\)
\( +1 \)
\(59\)
\( +1 \)
This newform does not admit any (nontrivial ) inner twists .
This newform subspace can be constructed as the kernel of the linear operator
\( T_{2}^{69} + T_{2}^{68} - 91 T_{2}^{67} - 89 T_{2}^{66} + 3937 T_{2}^{65} + 3769 T_{2}^{64} - 107779 T_{2}^{63} + \cdots - 889 \)
T2^69 + T2^68 - 91*T2^67 - 89*T2^66 + 3937*T2^65 + 3769*T2^64 - 107779*T2^63 - 101089*T2^62 + 2096386*T2^61 + 1928289*T2^60 - 30840338*T2^59 - 27847645*T2^58 + 356662031*T2^57 + 316472287*T2^56 - 3327355702*T2^55 - 2904148421*T2^54 + 25497858543*T2^53 + 21911424837*T2^52 - 162602166270*T2^51 - 137690994218*T2^50 + 871130278716*T2^49 + 727409873624*T2^48 - 3947786050805*T2^47 - 3252294145377*T2^46 + 15206828309586*T2^45 + 12363271969772*T2^44 - 49949396740789*T2^43 - 40074730359224*T2^42 + 140160607061529*T2^41 + 110926891053729*T2^40 - 336206638252166*T2^39 - 262249469748099*T2^38 + 689106877399573*T2^37 + 529027876800748*T2^36 - 1205177292103275*T2^35 - 908699047631661*T2^34 + 1794205033814849*T2^33 + 1324815966481962*T2^32 - 2266313200448416*T2^31 - 1632374747743713*T2^30 + 2418573472153138*T2^29 + 1690616765900198*T2^28 - 2169372919431398*T2^27 - 1461917411511668*T2^26 + 1625300905110045*T2^25 + 1046992239399487*T2^24 - 1009550282013448*T2^23 - 615043490658149*T2^22 + 515294377739861*T2^21 + 292940881181674*T2^20 - 213813239424380*T2^19 - 111558173972139*T2^18 + 71163481408318*T2^17 + 33393409624135*T2^16 - 18676994051207*T2^15 - 7691894281152*T2^14 + 3779439576602*T2^13 + 1326930476497*T2^12 - 572042492344*T2^11 - 165417270974*T2^10 + 62095418276*T2^9 + 14178723713*T2^8 - 4555560750*T2^7 - 773784052*T2^6 + 207254214*T2^5 + 23189845*T2^4 - 5119778*T2^3 - 248066*T2^2 + 53830*T2 - 889
acting on \(S_{2}^{\mathrm{new}}(\Gamma_0(9971))\).