gp: [N,k,chi] = [90,12,Mod(31,90)]
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("90.31");
S:= CuspForms(chi, 12);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(90, base_ring=CyclotomicField(6))
chi = DirichletCharacter(H, H._module([2, 0]))
N = Newforms(chi, 12, names="a")
Newform invariants
sage: traces = [22,352]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(2)] == 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_{7}^{22} + 21316 T_{7}^{21} + 11467509519 T_{7}^{20} - 41054299704104 T_{7}^{19} + \cdots + 20\!\cdots\!36 \)
T7^22 + 21316*T7^21 + 11467509519*T7^20 - 41054299704104*T7^19 + 80506950609782016409*T7^18 - 849249179277535738657872*T7^17 + 352813260602479189842765908004*T7^16 - 6856712465931365532232153690311774*T7^15 + 1107666555299407707458196609707260076073*T7^14 - 22078107701568141481580610448859399364644002*T7^13 + 2224925965220402880000409190209227588256493163611*T7^12 - 47719876680531512827591205810649595743918518196820440*T7^11 + 3132744131741554569587369991651342686930878281545071024241*T7^10 - 55797477185442993667496797308046981322953332028802467902452314*T7^9 + 2310157228718446696451432233364653774266922757066619089908971720036*T7^8 - 38186828675454358215913031369112906628245718533397694768697772113098616*T7^7 + 1158948785410210171594426928445169763454709933062463827097412158874346168417*T7^6 - 13146455679232181536103670757447025644604457588747301000752947697664955745797070*T7^5 + 187750758578273949254648930754175656782568053831316463703807364053197637156969832439*T7^4 - 97904420835222949105670709234854631830619573508177828086878701088211823748614675865210*T7^3 + 225841669892488601123804882985805618160756139077855020864367490516559365211152734853922545*T7^2 + 73678906048807977387911584320166208670537152793617920102766847303222022545099350944038874828*T7 + 206542871724196542176441916102272057161339791263688256612894021294420771309672933571943638872336
acting on \(S_{12}^{\mathrm{new}}(90, [\chi])\).