gp: [N,k,chi] = [693,2,Mod(67,693)]
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("693.67");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(693, base_ring=CyclotomicField(6))
chi = DirichletCharacter(H, H._module([2, 4, 0]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [80]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(1)] == 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 kernel of the linear operator
\( T_{2}^{80} + 60 T_{2}^{78} + 1950 T_{2}^{76} - 7 T_{2}^{75} + 43846 T_{2}^{74} - 492 T_{2}^{73} + \cdots + 793881 \)
T2^80 + 60*T2^78 + 1950*T2^76 - 7*T2^75 + 43846*T2^74 - 492*T2^73 + 754682*T2^72 - 16806*T2^71 + 10478796*T2^70 - 381827*T2^69 + 121234189*T2^68 - 6461959*T2^67 + 1193792733*T2^66 - 86560605*T2^65 + 10155093794*T2^64 - 951137703*T2^63 + 75424659773*T2^62 - 8777775434*T2^61 + 492957833839*T2^60 - 69136151069*T2^59 + 2851364932791*T2^58 - 470077460318*T2^57 + 14657031795596*T2^56 - 2781673444986*T2^55 + 67150421139086*T2^54 - 14409679915812*T2^53 + 274716907737388*T2^52 - 65610187977101*T2^51 + 1004628092657332*T2^50 - 263285449981892*T2^49 + 3285032810763966*T2^48 - 932591022416555*T2^47 + 9601265627278697*T2^46 - 2917673033866640*T2^45 + 25058400888758819*T2^44 - 8060740024292393*T2^43 + 58310485321870592*T2^42 - 19648050996065180*T2^41 + 120729187610155311*T2^40 - 42188426388519193*T2^39 + 221829091747343812*T2^38 - 79627676330024597*T2^37 + 360585332965276003*T2^36 - 131739130251111179*T2^35 + 516610040911821650*T2^34 - 190387233463907049*T2^33 + 649520531747872232*T2^32 - 239299022733082036*T2^31 + 712921260065106458*T2^30 - 260180979820630733*T2^29 + 678956951577821047*T2^28 - 243035725851566066*T2^27 + 556832804900113953*T2^26 - 193370729237956440*T2^25 + 389721262842360692*T2^24 - 129625692794380869*T2^23 + 230124786322923335*T2^22 - 72207948284428617*T2^21 + 113078123402117803*T2^20 - 32849133033082073*T2^19 + 45423954011664714*T2^18 - 11941757095245137*T2^17 + 14619876890799953*T2^16 - 3382994774144901*T2^15 + 3670271705934532*T2^14 - 724886926536480*T2^13 + 702618844614678*T2^12 - 116261408968659*T2^11 + 98408703836709*T2^10 - 13262483322756*T2^9 + 9787739307561*T2^8 - 1204252620381*T2^7 + 648641424582*T2^6 - 69740268570*T2^5 + 26157936447*T2^4 - 3212557200*T2^3 + 393791949*T2^2 - 19365885*T2 + 793881
acting on \(S_{2}^{\mathrm{new}}(693, [\chi])\).