gp: [N,k,chi] = [1160,2,Mod(17,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.17");
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, 1, 3]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [42,0,0,0,2]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(5)] == 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}^{42} + 80 T_{3}^{40} + 2906 T_{3}^{38} + 63542 T_{3}^{36} + 935049 T_{3}^{34} + 9810648 T_{3}^{32} + \cdots + 4096 \)
T3^42 + 80*T3^40 + 2906*T3^38 + 63542*T3^36 + 935049*T3^34 + 9810648*T3^32 + 75881161*T3^30 + 441312578*T3^28 + 1951387890*T3^26 + 6590625324*T3^24 + 16987387073*T3^22 + 33214411396*T3^20 + 48704818280*T3^18 + 52641818360*T3^16 + 40941625168*T3^14 + 22201285408*T3^12 + 8063849616*T3^10 + 1861491264*T3^8 + 252768000*T3^6 + 17745152*T3^4 + 514048*T3^2 + 4096
\( 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