gp: [N,k,chi] = [578,2,Mod(35,578)]
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("578.35");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(578, base_ring=CyclotomicField(34))
chi = DirichletCharacter(H, H._module([14]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [224]
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}^{224} + 2 T_{3}^{223} + 35 T_{3}^{222} + 35 T_{3}^{221} + 674 T_{3}^{220} + 200 T_{3}^{219} + \cdots + 41\!\cdots\!84 \)
T3^224 + 2*T3^223 + 35*T3^222 + 35*T3^221 + 674*T3^220 + 200*T3^219 + 10389*T3^218 - 1473*T3^217 + 149482*T3^216 - 50236*T3^215 + 2037414*T3^214 - 831312*T3^213 + 26244725*T3^212 - 12237908*T3^211 + 317731556*T3^210 - 175126630*T3^209 + 3719338420*T3^208 - 2075328652*T3^207 + 43717102630*T3^206 - 20508959120*T3^205 + 508655480866*T3^204 - 208000530793*T3^203 + 5738747759008*T3^202 - 2229521259911*T3^201 + 63459500138882*T3^200 - 21942039046438*T3^199 + 699097450700097*T3^198 - 180002379238392*T3^197 + 7746203206355420*T3^196 - 1323691401930428*T3^195 + 85715827086611254*T3^194 - 13360901255454742*T3^193 + 931484368915720367*T3^192 - 196937222177877111*T3^191 + 9733846978270828667*T3^190 - 2930695680713409776*T3^189 + 96821735769850692613*T3^188 - 34967896986929180685*T3^187 + 921682144039479870186*T3^186 - 331622456360601351439*T3^185 + 8488915360213503826838*T3^184 - 2636096584343027621955*T3^183 + 76073226967874059776079*T3^182 - 18918418198831491424624*T3^181 + 661267549359321010670958*T3^180 - 124958179547122369546959*T3^179 + 5528261331817853561553629*T3^178 - 550058066873245908325827*T3^177 + 44415424516297261399923561*T3^176 + 3546326563553624874081106*T3^175 + 345145307407150402948460089*T3^174 + 130980893052640391576279715*T3^173 + 2627039219759530555618751930*T3^172 + 2031011166878806739276646864*T3^171 + 19984814783854642894956732629*T3^170 + 23795392556015468100523410130*T3^169 + 155126479429057834976463837802*T3^168 + 235816030993596963927299688629*T3^167 + 1221612143831195516110463118042*T3^166 + 2056050390638030779264827722931*T3^165 + 9483578777880883790569524504933*T3^164 + 16099721966193070038871503465073*T3^163 + 70394980409660830299437909990355*T3^162 + 115044595089607259294372382804977*T3^161 + 489920634783967192935923907796327*T3^160 + 755045319470954098208737828406335*T3^159 + 3152235301603831831691861837842945*T3^158 + 4526763912964438668556569349467335*T3^157 + 18615752380007771931982409769801357*T3^156 + 24769189133606170404437448148693930*T3^155 + 101055638793026423806037937963750432*T3^154 + 124046566474454145389305241188360481*T3^153 + 505762223279345518219195787366346012*T3^152 + 566814717870805569817166222241305261*T3^151 + 2342364915534303195926410939435575017*T3^150 + 2377512634679994989768908686765778737*T3^149 + 10219949631986165136130650319825369045*T3^148 + 9621765009237797730170891169346019241*T3^147 + 43582186551568167842126671175237818879*T3^146 + 40703631174145621245108315931056768167*T3^145 + 187959379266786615235491712773661120816*T3^144 + 184882011892715772813532997038309484035*T3^143 + 823188846126909264904138877206592544986*T3^142 + 867097627949691021921528331161172976769*T3^141 + 3555585263298091219587712729072262240950*T3^140 + 3842236857912858400931219495998199269896*T3^139 + 14404725053067729400049976251387204757407*T3^138 + 15378412519885980288169139531986409347652*T3^137 + 54912952015023285209763558280609977015882*T3^136 + 55263812948000952233348509940444653154401*T3^135 + 205919474480164614792076999525116991633872*T3^134 + 239182087711239526453979264829434922677208*T3^133 + 914582988056498446296784690689252625573001*T3^132 + 1146362457830505785338417553750358012749169*T3^131 + 3633177468598020259578501195756189851245576*T3^130 + 4915940474373167677116484493310411426627670*T3^129 + 17807137623249229321859888278321586762545031*T3^128 + 27519526471182950360565299111473270730678503*T3^127 + 59163049659474192181652484637139109709007240*T3^126 + 20598349370936862216680421359445601310642158*T3^125 + 64031830385538785216086474200952931348865407*T3^124 + 159636752295238882905582256700798699737231690*T3^123 + 1092626797155227894640862801359341939936333561*T3^122 + 1785313481428295970079663262324656604195128596*T3^121 + 2544773190779425588405491571726404272243126853*T3^120 + 199447075037466134679044558089573796477746560*T3^119 + 5002021761580117865683776071309309121618896680*T3^118 + 14954874604581888845717524836990896877845789144*T3^117 + 39271236143104837635435824970255838832112572674*T3^116 + 19353605325473032358838581537320864580474217653*T3^115 + 17207959171463643615467043712521513491311878824*T3^114 + 96067750590458393416488388711421387458661315730*T3^113 + 641731228463675710705026357292931716342110613018*T3^112 + 1250168614471984311014860004561300571310702256843*T3^111 + 1577307836570670609636519315640437145459579953478*T3^110 - 33667367895625728935495462925442901867695015319*T3^109 - 1113698578790886852305948506322808332183226518981*T3^108 - 210911779385225284296016674936176567386914747611*T3^107 + 11957400511039287196653765984565503802665775214638*T3^106 + 31606745509352706477840720076524315288621735921651*T3^105 + 68497416287695079238350705250032958286700358436312*T3^104 + 91087656982637341924542827132193837542437734385467*T3^103 + 122321496443516607359387407453101529298566152916842*T3^102 + 112867779586562333920494166808268193353286225745914*T3^101 + 214067157455465036589140201347148426660896970975049*T3^100 + 299818662336488382774132275505166987251107968256642*T3^99 + 603184116522540059557752575546256388498378793742333*T3^98 + 575702180065029783754506352404886473488545325553876*T3^97 + 930004369480700168481652443543381385711722572485736*T3^96 + 429519923594855284593506505724324759432013800056716*T3^95 + 1288025219646384585606952756643845501177720644664462*T3^94 + 662756581355398613863823069695694697336522763630766*T3^93 + 4789350843874481395161477888549519073492945684422964*T3^92 + 4205205336549731702276828304372141893799222896960079*T3^91 + 9945973415694036890651595716246498537803506379534922*T3^90 + 1450025897951650873580560059448168608251626410468277*T3^89 + 8993004420528105536342759062536984739813542764894730*T3^88 - 15387504712402887252753579882968705543356035697602307*T3^87 + 8058662751567346592704351508578568207469069707612245*T3^86 - 18913283406063518702554437025761063931863750626484310*T3^85 + 61203433885671289716089302602138374077780036485739347*T3^84 - 21623248323059960146630998091716808231203701324889186*T3^83 + 54950080334069630477510741348173226192049784789364361*T3^82 - 83453402290275430648884295709505393646652225538545875*T3^81 + 99095371456188971720906193838711642454495404304415063*T3^80 - 209959326334531954885760705561891569270692366330538608*T3^79 + 381157698491772441912814895689129380915597442585317651*T3^78 - 121393815568174415087534527065858592132040855133930462*T3^77 + 244880288637228203041033039427487077437008221094512243*T3^76 - 251143682759217948264582511276390201655251190901548780*T3^75 + 614736392503649999007720004618852933687314570348266380*T3^74 - 728254166765886370272561294873356912587770446609889077*T3^73 + 1066983436600411262547653387551892116871188923965253207*T3^72 - 383629281952823870821370142367952805050538296450995445*T3^71 + 367711834748267149053281309343346483170970498540776802*T3^70 - 950165836892137260910094795865146269531474103689116063*T3^69 + 2177442950349774704998467612596599628211936631471318820*T3^68 - 3668045233284846541046265373700755796567017683911554906*T3^67 + 4719710689813110853254398310257677364113547946581206149*T3^66 - 5989377943410077464304026202864821902842433034841711135*T3^65 + 7783698215991512786854208289760134941946710898104796005*T3^64 - 10560768485943254298208340681600357008562676213715965814*T3^63 + 14168725832556205191316124171920515942212136006324655074*T3^62 - 18623422158358499690158692419009905069770643817744085764*T3^61 + 23576267591449051754941264008034270352841966772610212539*T3^60 - 27777689151703998869320742243080506733581129262413441698*T3^59 + 30081406130584138883330398267830854466569382445991448410*T3^58 - 28749888184717484438587799363857720878084972577966351976*T3^57 + 22615384786355961347067758583983443767008066902287129243*T3^56 - 12411086930899427257260661288827966412561564787955246046*T3^55 + 634736544557684886495912851167369820305348098643838883*T3^54 + 9608326705112503043378597885203685553822036025448659995*T3^53 - 15582327887128480309167984026282393683025864803623270357*T3^52 + 15599381186286387638957607732761061278292340376825033181*T3^51 - 9915548418278016356194371145187086058091598127532565478*T3^50 + 780958524246515686704742625751416709149633131487990180*T3^49 + 8515335076266906220294881980552075222665416412530588557*T3^48 - 15249193647435924931654214671469696248045439996393045032*T3^47 + 18367608670825727801079031929664623426897589092328504539*T3^46 - 18181764880849854621733895494485005685126837416952346480*T3^45 + 15751710766647486245365310261001952557894927009031631127*T3^44 - 12426234394218294801209849479391148346908554823761753400*T3^43 + 9238201639259097963321649952915479027169595746945128118*T3^42 - 6583744373876755453727116884564595931340758165492873370*T3^41 + 4448962989093042079479687307305955737453143101051319541*T3^40 - 2784759128136029276395787427640600061772167241552102417*T3^39 + 1603585487089470400465344928204484103030232338030381076*T3^38 - 865789388022592623819627783606152884031715156639063158*T3^37 + 449096798849763223491535637246310288679941588902462055*T3^36 - 224344562778561092953733970529848207493568742749832638*T3^35 + 105224170954552081326722539991300762873346430570920957*T3^34 - 44505538563485414431459243869220031245514995839402122*T3^33 + 16265059833404570929853299524772368585335022590102170*T3^32 - 4953118435626033471771217142180109228319412485177998*T3^31 + 1254488007757306610688917581005079736546306252679275*T3^30 - 311869848397019615335555390394921331863737099044029*T3^29 + 117334675189863412472675292703160881962981750412710*T3^28 - 62787005326965195389839135216819476209962197645108*T3^27 + 31054707740101288731447497688736981768305458994055*T3^26 - 12343608064403098945304446651787631053252935968137*T3^25 + 3940369157239525281805795573885069971125017256520*T3^24 - 1048989531242602553226612324198113095011683891292*T3^23 + 253222770054284328889612989250206113662543644865*T3^22 - 62737849288444993532354637908210470434054465753*T3^21 + 17277340164629819534105768865553987666107470767*T3^20 - 5010833320725986156022155542204669925817896022*T3^19 + 1404902686203759125137419132133535718489506860*T3^18 - 348789892592189300506102416832505722192469392*T3^17 + 73906665088048902390538603930247954781894545*T3^16 - 12594524952816967926346542696056832079187164*T3^15 + 1728197167760435400878377799226479166765808*T3^14 - 174071279109564777990445020441156310223680*T3^13 + 12442983901503857840965882426044932360448*T3^12 - 346919521356832172159910000062986353664*T3^11 - 12093183661985586800369380566146736128*T3^10 + 1037204214711035005344548479938314240*T3^9 + 363496314723586838055683588991877120*T3^8 - 37440272798295239107811632175906816*T3^7 + 2866200221869799577300771166748672*T3^6 - 103482017475385128607593579675648*T3^5 + 22147663419884699964894330486784*T3^4 - 1013601781149179449399488544768*T3^3 + 107905624106780460781754384384*T3^2 - 616116786331074202972454912*T3 + 4150576881705355401232384
acting on \(S_{2}^{\mathrm{new}}(578, [\chi])\).