gp: [N,k,chi] = [58,6,Mod(7,58)]
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("58.7");
S:= CuspForms(chi, 6);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(58, base_ring=CyclotomicField(14))
chi = DirichletCharacter(H, H._module([6]))
N = Newforms(chi, 6, names="a")
Newform invariants
sage: traces = [42]
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_{3}^{42} + T_{3}^{41} + 1271 T_{3}^{40} - 13739 T_{3}^{39} + 1058140 T_{3}^{38} + \cdots + 26\!\cdots\!56 \)
T3^42 + T3^41 + 1271*T3^40 - 13739*T3^39 + 1058140*T3^38 - 15139772*T3^37 + 1018316726*T3^36 - 5784367241*T3^35 + 884185641872*T3^34 - 2104492595390*T3^33 + 601582964498526*T3^32 - 3825247417652331*T3^31 + 418299722944608280*T3^30 - 2420854001724646704*T3^29 + 238276026247484753376*T3^28 - 870614614240068479599*T3^27 + 122183218955182934293790*T3^26 + 38305847234379364255328*T3^25 + 56280318545168195477384574*T3^24 + 165644058984467738885573213*T3^23 + 21651999463755643442763176516*T3^22 + 62937611254470269844597156338*T3^21 + 7632353446885575518867503535402*T3^20 - 18387286191074944535745878779609*T3^19 + 2270675476985983663774567721904364*T3^18 - 7638770877461017759876057171747788*T3^17 + 259243224240859440664646198623661586*T3^16 + 258999695696505672650443613358093417*T3^15 + 3063452735986467685288321956123263625*T3^14 - 26245036198664868564988381305459506457*T3^13 + 607555081399427173945715541864653548917*T3^12 + 10452116367057135912535157139425266610868*T3^11 + 104294452437873467691636480748481879010576*T3^10 + 635351476067864702404084785033808187585256*T3^9 + 2807102845906821520873855647640174599037056*T3^8 + 9264647032450706761429366343925166059201312*T3^7 + 26284045823653402893189316913951329213039296*T3^6 + 69182614574806660261372166861145709678816512*T3^5 + 182612841140676698422523468963728842795429888*T3^4 + 404923318634595283584753226686435928891920384*T3^3 + 746279575534843737073171242035086286384136192*T3^2 + 694246464930022592150214515687775454518312960*T3 + 260830131060592012567301171951308364224659456
acting on \(S_{6}^{\mathrm{new}}(58, [\chi])\).