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,11,25,31,25,11,7]
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} - 11 T_{2}^{24} + 20 T_{2}^{23} + 198 T_{2}^{22} - 844 T_{2}^{21} - 836 T_{2}^{20} + \cdots - 253 \)
T2^25 - 11*T2^24 + 20*T2^23 + 198*T2^22 - 844*T2^21 - 836*T2^20 + 9568*T2^19 - 6248*T2^18 - 52086*T2^17 + 81136*T2^16 + 145519*T2^15 - 375166*T2^14 - 164291*T2^13 + 928939*T2^12 - 139288*T2^11 - 1317349*T2^10 + 635997*T2^9 + 1045011*T2^8 - 742331*T2^7 - 414403*T2^6 + 375539*T2^5 + 62062*T2^4 - 70708*T2^3 - 3575*T2^2 + 3388*T2 - 253
\( T_{7}^{25} - 7 T_{7}^{24} - 83 T_{7}^{23} + 644 T_{7}^{22} + 2739 T_{7}^{21} - 24826 T_{7}^{20} + \cdots - 902144 \)
T7^25 - 7*T7^24 - 83*T7^23 + 644*T7^22 + 2739*T7^21 - 24826*T7^20 - 45466*T7^19 + 531126*T7^18 + 359055*T7^17 - 6990350*T7^16 - 49516*T7^15 + 58974225*T7^14 - 25847640*T7^13 - 320527596*T7^12 + 250156540*T7^11 + 1088991575*T7^10 - 1195865264*T7^9 - 2111046868*T7^8 + 3165349912*T7^7 + 1720199632*T7^6 - 4307513920*T7^5 + 570191232*T7^4 + 2176047872*T7^3 - 1224482048*T7^2 + 162533888*T7 - 902144
\( T_{11}^{25} - 9 T_{11}^{24} - 126 T_{11}^{23} + 1329 T_{11}^{22} + 5698 T_{11}^{21} - 80067 T_{11}^{20} + \cdots - 106714112 \)
T11^25 - 9*T11^24 - 126*T11^23 + 1329*T11^22 + 5698*T11^21 - 80067*T11^20 - 89531*T11^19 + 2540205*T11^18 - 1016007*T11^17 - 45862358*T11^16 + 56529661*T11^15 + 480452639*T11^14 - 804745863*T11^13 - 2943259509*T11^12 + 5298660595*T11^11 + 11058144351*T11^10 - 17680289224*T11^9 - 26105913480*T11^8 + 28654817872*T11^7 + 35944862320*T11^6 - 18621918016*T11^5 - 23557092416*T11^4 + 1572943872*T11^3 + 4180962304*T11^2 + 178502144*T11 - 106714112