gp: [N,k,chi] = [522,2,Mod(7,522)]
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("522.7");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(522, base_ring=CyclotomicField(42))
chi = DirichletCharacter(H, H._module([28, 18]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [180,15]
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_{5}^{180} - 2 T_{5}^{179} - 43 T_{5}^{178} + 42 T_{5}^{177} + 840 T_{5}^{176} + 416 T_{5}^{175} + \cdots + 20\!\cdots\!61 \)
T5^180 - 2*T5^179 - 43*T5^178 + 42*T5^177 + 840*T5^176 + 416*T5^175 - 2745*T5^174 - 36154*T5^173 - 265575*T5^172 + 588548*T5^171 + 7244299*T5^170 + 3025356*T5^169 - 62861770*T5^168 - 334415221*T5^167 - 756598516*T5^166 + 5999443699*T5^165 + 26296547182*T5^164 - 13933622118*T5^163 - 197310581071*T5^162 - 1353639760567*T5^161 - 3099842446622*T5^160 + 26731016334771*T5^159 + 72207141076986*T5^158 - 139828398490247*T5^157 - 34652436798717*T5^156 - 2560842167276725*T5^155 - 15950668889739813*T5^154 + 51842764962465505*T5^153 + 203384137858344974*T5^152 - 304608536535417980*T5^151 + 655230677539902084*T5^150 - 1201562705323764375*T5^149 - 44011366532225484975*T5^148 + 19763507918956708514*T5^147 + 411386937348634319906*T5^146 - 6681749615571858129*T5^145 + 1330065403216656331410*T5^144 + 2075825102583537025648*T5^143 - 58124931839007989849418*T5^142 - 67239415048084771227969*T5^141 + 348420434249686546037291*T5^140 + 460525231293957572061952*T5^139 + 2496358630354471794540884*T5^138 + 4388307097504503924475430*T5^137 - 38269911608955923111246375*T5^136 - 73945447574529283732473121*T5^135 - 85326455513259632258311907*T5^134 - 116003779356121442967721641*T5^133 + 4422252653869820515212190561*T5^132 + 7877876668589198650308809458*T5^131 - 23300081651238595957666478652*T5^130 - 7823781447744348212327211475*T5^129 - 179417935118402353239554914551*T5^128 - 1003184256565957132498171971309*T5^127 + 3234244626518590712201535458630*T5^126 + 9359564468265287684457409205925*T5^125 - 21147072604437226621533932703522*T5^124 - 3723763123117133366447249229374*T5^123 + 68021967416000939168352265654993*T5^122 - 448860382161790750612159452583029*T5^121 - 3651429850753663653918235882651*T5^120 + 2086250602410744488372649246516143*T5^119 + 1759070395566667000765478788328083*T5^118 + 21171136227634012342887179977340806*T5^117 - 62677470203042382545450882182397507*T5^116 - 320505443324307655464053819395326162*T5^115 + 631566308393188667807630274174927934*T5^114 + 1085284959760749071292827001049586853*T5^113 - 1743575308587091490915347981438448712*T5^112 + 10091133190431497056566448549175333963*T5^111 - 27742307432803332549091438376995613382*T5^110 - 102800595039929591193554501115535974205*T5^109 + 431586759501566173542420292237024332703*T5^108 - 60869372556709211303838725280586501820*T5^107 - 2902525112625359604196275369070202076970*T5^106 + 6889782381206544020538378523259818206427*T5^105 + 6384196843943514672081504278142499163112*T5^104 - 53421924116097532882084238108642697396871*T5^103 + 49844827773295024778400983901759143584690*T5^102 + 113010743233513259764166782336805732555766*T5^101 - 432370731335582842627459981092744620232858*T5^100 + 1143537624000512032163565842756669442242760*T5^99 + 709961073612862224249970441019062374379826*T5^98 - 10175165043306353535269113518428742500752584*T5^97 + 8974930316393545981582395943799928468034608*T5^96 + 29824826797230526539593554935806560713287943*T5^95 - 58416977216565616667553153130738975277320501*T5^94 + 12385770241626347515982619887802136057280041*T5^93 + 17556696650323138322675264594024294327395842*T5^92 - 28707329343436659860003095899228895410971228*T5^91 + 976641292962112461329599534041390050208314584*T5^90 - 4221504348495879439243212222239366592021290042*T5^89 - 736607823217122925397547228830484430697033938*T5^88 + 34523980920372435878761819065367704284636327858*T5^87 - 37705310808213370791781103618943046086538304208*T5^86 - 101799542644068667035589676196697694734279611856*T5^85 + 262457908429398866227146466147202890799598823220*T5^84 - 124459036895493446342758493324417292509935900453*T5^83 - 783764489005903214253365526124172981866470432052*T5^82 + 2125910822497885658330635834740462465883166173085*T5^81 + 422809937783484707884308143606941234017444092192*T5^80 - 7460492416814451932689900990842145579030019407277*T5^79 + 4645867814113560859587963019997667184794258916285*T5^78 + 7719942173459122154701521509330444429741803783676*T5^77 - 8254391574776946711932747310880219820709855916525*T5^76 + 16210591713836443931711877483330675385559390599589*T5^75 - 54627024499737030011436984843125901943104697964708*T5^74 + 76832136100939830527786506184299375891464740243562*T5^73 + 237695001714775728644145506071521547386869616872294*T5^72 - 983497263961009949823179758939648242579689265893459*T5^71 + 379075722056755873196717464795756735147391581978190*T5^70 + 2877892496773211466858774372219611692206556576298688*T5^69 - 4537547283827337541296417704495030369817635209749237*T5^68 - 64307258579300035127842040417727942682443796701351*T5^67 + 9115751824549446276771548096160242199111281222358425*T5^66 - 18070179643271660918147610535132444822573261441094780*T5^65 + 5269965929806835814431035114936612306891255117277755*T5^64 + 34282480761036626575686021662293159546494766174774648*T5^63 - 34810570183553405598924508811194461378554467843106190*T5^62 + 3711747885196410608933522810203512652809564034958551*T5^61 + 288007298317964303980887192628571252769045886600648*T5^60 - 38810428679244048960609894753215402246078021895612136*T5^59 + 121060702527516750485339278981147605843480529205475914*T5^58 - 54190196825549795486181448719404697028527312423541309*T5^57 - 46706969620957688694728681893860397938580469727406238*T5^56 + 194385663074826414332411996015453706756643271310068473*T5^55 - 232646000203708060975619105226459056715132715205416653*T5^54 - 132638188076907863403016794203464540162120816907784380*T5^53 + 214409229790636643862163668916733502472446522466946932*T5^52 - 150319726124196688206428122786573268648272514984392451*T5^51 + 46246255556052692896949581431745250315313545886894773*T5^50 + 292160406823701427348919268271720154508813603703824757*T5^49 - 196802782654248847400715002443015591394802311414958317*T5^48 - 145318112049649283030304677361091551446129604729044674*T5^47 + 196451518299323793698817902300147835558985783134268879*T5^46 + 17335433834107525522563126419929659841449307602517212*T5^45 + 131361997006537875002468587082705165995574837002972002*T5^44 + 227123205748588492583433281570417221484449651509061148*T5^43 - 34132776593950612212624845585060659714315833142388422*T5^42 - 49994501194664638421933117972423685505400263925228719*T5^41 + 94233521233048637039329257887151946307639973865479597*T5^40 + 67182943340111306315271948002410132822884729627652213*T5^39 + 62710132506400756280641711639778797040139473941215737*T5^38 + 61104099758874144859054345871241240078002892764358591*T5^37 - 5517117565262800324532694773040164144493197837865934*T5^36 - 18925278306206560188473945021928356836619212567345668*T5^35 + 14938102145031708327914303059145933793835564511958378*T5^34 + 16973674983132760423813902584385711576777600634459487*T5^33 + 5690251789931145954923434795661711889519460883278612*T5^32 - 81891171808728473430707923240567039675858107647561*T5^31 - 3799911123911648239722232414858619078603124474231179*T5^30 - 2626729236275836089687277397187579973045155460978590*T5^29 + 1494649609787644986752771993730935497115921853893021*T5^28 + 1871782489625458681710035088521713672678673585437038*T5^27 + 92571564708961138154414900234982340627263760724242*T5^26 - 405538182646011248576853969494610224315473263036083*T5^25 - 43589285432583007957336205166657708493549783786498*T5^24 + 101823029133808891773741561925009830998024592252699*T5^23 + 46284407186786383889364113297100444691420336212496*T5^22 + 1153643949184507146822819389437114449928986165691*T5^21 - 5715473005660568137258892858941313693254080035441*T5^20 - 2558263464642324105157855941216065424398135891015*T5^19 - 211747024353783309470802675907168547802014059087*T5^18 + 278173025449551741711789263467786452320737136046*T5^17 + 143846874537181968339737689853128588454516598517*T5^16 + 35746579811776060943918060681939661492614677388*T5^15 + 6981424518167956850190550428109844146938619991*T5^14 + 1370350232240567617737843325407978349121735233*T5^13 + 211678632722584487210260058873137813382008430*T5^12 + 23524615128760742264048746077134364410246612*T5^11 + 2559346354038857801119673092468095377256446*T5^10 + 259978813308620913344018816023013688347004*T5^9 + 14176828346378883038209852044573004376305*T5^8 + 213502772015826156475083377157027270698*T5^7 + 454624436349050806489329867217847713*T5^6 - 48278624093594407346746960942587434*T5^5 - 765334443118835527941345140716764*T5^4 - 5283882087717522416822793942298*T5^3 + 107669514600398033326125804281*T5^2 + 2346388930456256773226622581*T5 + 20427856922558182712762161
acting on \(S_{2}^{\mathrm{new}}(522, [\chi])\).