gp: [N,k,chi] = [880,2,Mod(197,880)]
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("880.197");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(880, base_ring=CyclotomicField(4))
chi = DirichletCharacter(H, H._module([0, 1, 1, 2]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [272]
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}^{136} + 274 T_{3}^{134} + 36587 T_{3}^{132} + 3173080 T_{3}^{130} + 200989453 T_{3}^{128} + \cdots + 15\!\cdots\!00 \)
T3^136 + 274*T3^134 + 36587*T3^132 + 3173080*T3^130 + 200989453*T3^128 + 9913646734*T3^126 + 396446715407*T3^124 + 13214459997364*T3^122 + 374595261166789*T3^120 + 9169281857037874*T3^118 + 196122749530318783*T3^116 + 3700504066929681296*T3^114 + 62070470457140577193*T3^112 + 931460070969710622622*T3^110 + 12571968011713925812403*T3^108 + 153299354522944953085980*T3^106 + 1695178664669712547220539*T3^104 + 17053841112182662126855526*T3^102 + 156511780100704307372792833*T3^100 + 1313409776620892103823600152*T3^98 + 10098113157041733281384345719*T3^96 + 71251290495526945794892382330*T3^94 + 462025885786079773381979589661*T3^92 + 2756543116045921735717109690988*T3^90 + 15145979369163971981459924239111*T3^88 + 76698468157297507468026637793526*T3^86 + 358158691123984323731154988159109*T3^84 + 1542878707877690681277200286831168*T3^82 + 6132718222765250122367937163098035*T3^80 + 22494131701430191914439307900124378*T3^78 + 76128186539933361251389712291274337*T3^76 + 237674924174300484758194260755344708*T3^74 + 684261279834911686480806555718468152*T3^72 + 1815675205760080302272216011566250080*T3^70 + 4437581011561850861303886158921975696*T3^68 + 9981533010783559299177707622704558016*T3^66 + 20643196657609163861372556651992677728*T3^64 + 39210668585166448862354236081321567616*T3^62 + 68316897235469749342633319090537109632*T3^60 + 109024545336869571409074870256859982592*T3^58 + 159107564900629939935159754177569778048*T3^56 + 211954805653152154649323446688680485120*T3^54 + 257222178253215346795616640350610240384*T3^52 + 283737799751068207269535045201053998592*T3^50 + 283789399798322733130953818684768560128*T3^48 + 256659527555751746128080516476885821440*T3^46 + 209260096846415746551227153348611727360*T3^44 + 153294993979265874963795730536391966720*T3^42 + 100523740193499655607584244598461986816*T3^40 + 58764630530500584957627628941652721664*T3^38 + 30484085620887005288239078100109004800*T3^36 + 13960704818517621629048509030210846720*T3^34 + 5611913034107915121582940730583707648*T3^32 + 1967219135135984146278212428578693120*T3^30 + 596920133334279505347635815872565248*T3^28 + 155460674419771777870842971593392128*T3^26 + 34412670959619554376843802018545664*T3^24 + 6401208660390142103056107209228288*T3^22 + 987244675153587201447162862305280*T3^20 + 124239437150086471755210558275584*T3^18 + 12513013227840831229125246058496*T3^16 + 984896723624088802562509111296*T3^14 + 58796438766915852927186763776*T3^12 + 2561306368690438067483312128*T3^10 + 77302533997972092220342272*T3^8 + 1501172052432130356019200*T3^6 + 16706972877140426489856*T3^4 + 87235137793268121600*T3^2 + 158508452413440000
acting on \(S_{2}^{\mathrm{new}}(880, [\chi])\).