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,-4]
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} + 2 T_{3}^{20} - 40 T_{3}^{19} - 84 T_{3}^{18} + 649 T_{3}^{17} + 1432 T_{3}^{16} + \cdots + 128 \)
T3^21 + 2*T3^20 - 40*T3^19 - 84*T3^18 + 649*T3^17 + 1432*T3^16 - 5475*T3^15 - 12784*T3^14 + 25524*T3^13 + 64342*T3^12 - 64051*T3^11 - 183516*T3^10 + 75180*T3^9 + 285228*T3^8 - 19892*T3^7 - 224520*T3^6 - 24516*T3^5 + 77472*T3^4 + 11008*T3^3 - 10128*T3^2 - 864*T3 + 128
\( T_{7}^{42} + 2 T_{7}^{41} + 2 T_{7}^{40} + 8 T_{7}^{39} + 1223 T_{7}^{38} + 2746 T_{7}^{37} + \cdots + 33554432 \)
T7^42 + 2*T7^41 + 2*T7^40 + 8*T7^39 + 1223*T7^38 + 2746*T7^37 + 3078*T7^36 + 2580*T7^35 + 541145*T7^34 + 1288390*T7^33 + 1520994*T7^32 - 972096*T7^31 + 106400256*T7^30 + 254422080*T7^29 + 303694048*T7^28 - 392256904*T7^27 + 9622211344*T7^26 + 21815078080*T7^25 + 25360991488*T7^24 - 36511041984*T7^23 + 398074736528*T7^22 + 819552451776*T7^21 + 900071971712*T7^20 - 1162238993280*T7^19 + 6600637047296*T7^18 + 12209537712128*T7^17 + 12663671203840*T7^16 - 14005024016896*T7^15 + 39453684715008*T7^14 + 62564963323904*T7^13 + 61233211387904*T7^12 - 57443965501440*T7^11 + 37909519835136*T7^10 + 14701353050112*T7^9 + 7487240577024*T7^8 - 5121546756096*T7^7 + 2334204956672*T7^6 + 471803838464*T7^5 + 146832916480*T7^4 - 74597793792*T7^3 + 22351446016*T7^2 + 1224736768*T7 + 33554432