gp: [N,k,chi] = [725,2,Mod(43,725)]
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("725.43");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(725, base_ring=CyclotomicField(28))
chi = DirichletCharacter(H, H._module([21, 13]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [240]
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}^{240} - 60 T_{2}^{238} + 1960 T_{2}^{236} - 45960 T_{2}^{234} + 863454 T_{2}^{232} + \cdots + 90\!\cdots\!41 \)
T2^240 - 60*T2^238 + 1960*T2^236 - 45960*T2^234 + 863454*T2^232 - 13793228*T2^230 + 194582717*T2^228 - 2486403196*T2^226 + 29282863289*T2^224 - 321729637784*T2^222 + 3326431479526*T2^220 - 32577355391476*T2^218 + 303773513018988*T2^216 - 2708298791419052*T2^214 + 23164910121959849*T2^212 - 190613842510223584*T2^210 + 1512377527360038280*T2^208 - 11592664353465367920*T2^206 + 85987818960406353183*T2^204 - 618057884222820665696*T2^202 + 4309991979448600790286*T2^200 - 29188984447819281096896*T2^198 + 192147476847147209601795*T2^196 - 1230410559520979012876252*T2^194 + 7669118853456591243668473*T2^192 - 46554141435287144098642316*T2^190 + 275352113789798177967435471*T2^188 - 1587463101090917660705544220*T2^186 + 8923679515782637654957132221*T2^184 - 48924152091021983406302566092*T2^182 + 261655778983433396016338553366*T2^180 - 1365307038346157072077534083968*T2^178 + 6951339147559114623194359486663*T2^176 - 34535971590932830293375953870444*T2^174 + 167435991051218129512124831431399*T2^172 - 792119534134135642043289753243708*T2^170 + 3656545659115748590624722108176481*T2^168 - 16468267672220570791675456285233492*T2^166 + 72354538857842201497158938806788253*T2^164 - 310066128304106308737682769798647880*T2^162 + 1295769894285125788726436665661107801*T2^160 - 5279415488697291440192589765332635388*T2^158 + 20965927273521398164738790470025632975*T2^156 - 81130826778611242442858143221046030988*T2^154 + 305816748505557456514120463531246666964*T2^152 - 1122496383799730562232761785256553964216*T2^150 + 4010388612222463680073780508767095990509*T2^148 - 13940608609085757523702996742366359677992*T2^146 + 47127510448018318677137451315885572432312*T2^144 - 154865773872615960839469898499699770121144*T2^142 + 494424382573121985717943960429339315485091*T2^140 - 1532733777353324692959441036000340818038024*T2^138 + 4611065619141544079278930671109258387921705*T2^136 - 13453620920334473844055616957930118313250572*T2^134 + 38045821412646650158356055210988548303687858*T2^132 - 104212332160474761421961366292305231909414728*T2^130 + 276296385927929031009073862351007634213370653*T2^128 - 708537968316700187000492446590285150299852224*T2^126 + 1756180936814441568961399753371385885405235889*T2^124 - 4204240281072535982677229492200160663830105784*T2^122 + 9714476649876793488246687214836622790572184886*T2^120 - 21650457884911679396500197630509823220840403844*T2^118 + 46508398319640601759026539317422289411917221301*T2^116 - 96233283809273792893772296835213742573184255564*T2^114 + 191691272597214284540219052621112426811568868941*T2^112 - 367435716004038767241709400641008685759845037472*T2^110 + 677559808101798560809696205699925841691283154223*T2^108 - 1201784201513566848106122062108663478952518634256*T2^106 + 2049971221473940155652112044614425362241450203337*T2^104 - 3362235929087968061250174899643784598981763971564*T2^102 + 5301373586393930358721808679484742195224481246859*T2^100 - 8035016700941929222679463889928168715862039150984*T2^98 + 11706675949824944385118913671882737327774948988377*T2^96 - 16396965525687935743684677040700626682777819552524*T2^94 + 22078895042249399850594969190030785080764169806793*T2^92 - 28575781600681650763550756495080200488293115040892*T2^90 + 35537345503438114519259387719456683681458509902062*T2^88 - 42450362959532295019483388208068371127525273046960*T2^86 + 48689954727919682606819442751304616566000168921597*T2^84 - 53601242744877277992077501234145595222303514569048*T2^82 + 56594447021736564963454760998196057114266058576451*T2^80 - 57247257856034896675822363528499479047034506047056*T2^78 + 55406338197379538336196835231875004306934287157428*T2^76 - 51247298401411936854879162278156094427921886373360*T2^74 + 45246696534144591561631216760630271811815745506792*T2^72 - 38070868513497646475936607185980025446335848284456*T2^70 + 30443859344936090585626022780001302226012754161232*T2^68 - 23051636127982615601119477366041746650388059022772*T2^66 + 16468414129313370264720981575252171465926961899318*T2^64 - 11068829306878565159305988924917032254341722599252*T2^62 + 6971607647122651770951055160552682679136248859770*T2^60 - 4081439436722781185375912191563180050182396640056*T2^58 + 2191667421032723169470001708916784016871458283578*T2^56 - 1062676003809349693450248628444929271579714881052*T2^54 + 459201125054452884992100500053717736399041552366*T2^52 - 176067873221356982461898374053340987300568399952*T2^50 + 60537482546602563375656789450251297928356892390*T2^48 - 19124925153270863480664245441438517062200204304*T2^46 + 5654355815901243311367805870523024739625891104*T2^44 - 1550732442814221203155696608612458801461573304*T2^42 + 386663880245574773951225341493469762063384475*T2^40 - 87354631162993925712952329667404409797840340*T2^38 + 17937892163268964219428706074426040152899622*T2^36 - 3381740613897235222572169919442589097442944*T2^34 + 609558768553609384922948150995005083150047*T2^32 - 100845985651233849771508560062024019489780*T2^30 + 15714461706165756855582852417233983334110*T2^28 - 2198916403016162914626418457627831607960*T2^26 + 282053812198454620657179866016215220111*T2^24 - 34032051186345438449196443447438494416*T2^22 + 3942159443749262659055419437938356968*T2^20 - 358118193599076411869306754769309684*T2^18 + 31980618546663083259258477063507840*T2^16 - 1614545953349931384541269513498132*T2^14 + 88367682303525072522928973847427*T2^12 - 822359987286786091776348709684*T2^10 + 1805520611662862238713370659*T2^8 - 1434548887226853576581252*T2^6 + 115171154162482241800483*T2^4 - 112722359782328475828*T2^2 + 903077557472837041
acting on \(S_{2}^{\mathrm{new}}(725, [\chi])\).