gp: [N,k,chi] = [7935,2,Mod(1,7935)]
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("7935.1");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(7935, base_ring=CyclotomicField(2))
chi = DirichletCharacter(H, H._module([0, 0, 0]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [25,1,-25,31,-25,-1,15]
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
\( p \)
Sign
\(3\)
\( +1 \)
\(5\)
\( +1 \)
\(23\)
\( -1 \)
This newform does not admit any (nontrivial ) inner twists .
This newform subspace can be constructed as the intersection of the kernels of the following linear operators acting on \(S_{2}^{\mathrm{new}}(\Gamma_0(7935))\):
\( T_{2}^{25} - T_{2}^{24} - 40 T_{2}^{23} + 38 T_{2}^{22} + 696 T_{2}^{21} - 626 T_{2}^{20} - 6918 T_{2}^{19} + \cdots + 23 \)
T2^25 - T2^24 - 40*T2^23 + 38*T2^22 + 696*T2^21 - 626*T2^20 - 6918*T2^19 + 5870*T2^18 + 43380*T2^17 - 34588*T2^16 - 178867*T2^15 + 133374*T2^14 + 490277*T2^13 - 339755*T2^12 - 882250*T2^11 + 563413*T2^10 + 1002903*T2^9 - 583801*T2^8 - 665857*T2^7 + 349401*T2^6 + 219907*T2^5 - 104792*T2^4 - 23400*T2^3 + 12219*T2^2 - 1224*T2 + 23
\( T_{7}^{25} - 15 T_{7}^{24} - 21 T_{7}^{23} + 1318 T_{7}^{22} - 3341 T_{7}^{21} - 46190 T_{7}^{20} + \cdots - 564517888 \)
T7^25 - 15*T7^24 - 21*T7^23 + 1318*T7^22 - 3341*T7^21 - 46190*T7^20 + 203024*T7^19 + 814596*T7^18 - 5143099*T7^17 - 7354340*T7^16 + 72636574*T7^15 + 27279213*T7^14 - 626870274*T7^13 + 34202622*T7^12 + 3445486332*T7^11 - 445177897*T7^10 - 12181789268*T7^9 - 232496308*T7^8 + 26524576408*T7^7 + 7392501072*T7^6 - 30856747328*T7^5 - 17143284224*T7^4 + 12908023040*T7^3 + 10885081856*T7^2 + 669616640*T7 - 564517888
\( T_{11}^{25} + 15 T_{11}^{24} - 80 T_{11}^{23} - 2221 T_{11}^{22} - 1858 T_{11}^{21} + \cdots - 456373351424 \)
T11^25 + 15*T11^24 - 80*T11^23 - 2221*T11^22 - 1858*T11^21 + 132649*T11^20 + 428419*T11^19 - 4071595*T11^18 - 20430121*T11^17 + 66679204*T11^16 + 496314393*T11^15 - 496466085*T11^14 - 7091746973*T11^13 - 680637735*T11^12 + 62490239055*T11^11 + 42256012411*T11^10 - 343022687872*T11^9 - 327834704376*T11^8 + 1154392206944*T11^7 + 1166700417456*T11^6 - 2269392402752*T11^5 - 2007499195072*T11^4 + 2317840310784*T11^3 + 1593837218304*T11^2 - 934271787520*T11 - 456373351424