gp: [N,k,chi] = [1160,2,Mod(713,1160)]
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("1160.713");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(1160, base_ring=CyclotomicField(4))
chi = DirichletCharacter(H, H._module([0, 0, 3, 3]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [42,0,-8]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(3)] == 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 intersection of the kernels of the following linear operators acting on \(S_{2}^{\mathrm{new}}(1160, [\chi])\):
\( T_{3}^{21} + 4 T_{3}^{20} - 32 T_{3}^{19} - 140 T_{3}^{18} + 381 T_{3}^{17} + 1950 T_{3}^{16} + \cdots + 64 \)
T3^21 + 4*T3^20 - 32*T3^19 - 140*T3^18 + 381*T3^17 + 1950*T3^16 - 1979*T3^15 - 13882*T3^14 + 3088*T3^13 + 54506*T3^12 + 10245*T3^11 - 120422*T3^10 - 48756*T3^9 + 145428*T3^8 + 73780*T3^7 - 87360*T3^6 - 46628*T3^5 + 21416*T3^4 + 11264*T3^3 - 1424*T3^2 - 576*T3 + 64
\( T_{7}^{42} - 4 T_{7}^{41} + 8 T_{7}^{40} + 40 T_{7}^{39} + 1027 T_{7}^{38} - 3704 T_{7}^{37} + \cdots + 8718953480192 \)
T7^42 - 4*T7^41 + 8*T7^40 + 40*T7^39 + 1027*T7^38 - 3704*T7^37 + 7400*T7^36 + 36020*T7^35 + 378229*T7^34 - 1174080*T7^33 + 2371296*T7^32 + 11222760*T7^31 + 64792452*T7^30 - 160803840*T7^29 + 337083072*T7^28 + 1542961624*T7^27 + 5538880896*T7^26 - 9720269552*T7^25 + 22840283232*T7^24 + 102309622784*T7^23 + 260910209296*T7^22 - 247335623200*T7^21 + 766180315936*T7^20 + 3366508188544*T7^19 + 6959110712064*T7^18 - 1369497832704*T7^17 + 12163648989184*T7^16 + 51357880756736*T7^15 + 96730932355584*T7^14 + 32900295614464*T7^13 + 75838558067712*T7^12 + 275771931287552*T7^11 + 515271014318080*T7^10 + 307026847875072*T7^9 + 126058470416384*T7^8 + 155893162500096*T7^7 + 346133017300992*T7^6 + 193909506056192*T7^5 + 59642023845888*T7^4 + 25055185403904*T7^3 + 58534985465856*T7^2 + 31948828311552*T7 + 8718953480192