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} + 46 T_{5}^{177} + 720 T_{5}^{176} + 198 T_{5}^{175} + \cdots + 37\!\cdots\!21 \)
T5^180 - 2*T5^179 - 43*T5^178 + 46*T5^177 + 720*T5^176 + 198*T5^175 - 1349*T5^174 - 18896*T5^173 - 151605*T5^172 + 248200*T5^171 + 1820605*T5^170 + 1759222*T5^169 + 32588150*T5^168 - 136373897*T5^167 - 893616258*T5^166 + 1860805755*T5^165 - 3761172192*T5^164 + 11775264382*T5^163 + 464342968937*T5^162 - 775964556503*T5^161 - 7581772286604*T5^160 + 13195794783157*T5^159 + 635634760956*T5^158 - 97800588453731*T5^157 + 1970845107956611*T5^156 - 705666484075847*T5^155 - 31198771226597867*T5^154 + 27426979791041247*T5^153 + 100723878416685560*T5^152 - 434691612437310458*T5^151 + 3696345385921817440*T5^150 + 4440852006253110641*T5^149 - 60652548544995423167*T5^148 - 5240781881137302700*T5^147 + 198127639148800320294*T5^146 - 648925098855257938133*T5^145 + 5007802474681661271344*T5^144 + 10909651162197960998066*T5^143 - 63220457089416852855034*T5^142 - 61394643711739369041711*T5^141 - 44937247351845094403035*T5^140 - 651532973455201199220182*T5^139 + 7459003595576404712220398*T5^138 + 13103041173088738507368350*T5^137 - 52518423177582727197270337*T5^136 - 43230751712274020549454845*T5^135 - 422223909450292856032678319*T5^134 - 1065956674792047432214111237*T5^133 + 9710311154911037266348759677*T5^132 + 13537324225077982974665970142*T5^131 - 49382974033782724361969600968*T5^130 + 9911103167833458991870768703*T5^129 - 416662071754197508913150953013*T5^128 - 1631775762442964016957891042467*T5^127 + 7714837832645988604556655650704*T5^126 + 14447383884860080717413268501041*T5^125 - 34321851130831301644343358511916*T5^124 + 16877696974226172849677726924988*T5^123 - 221111172174277439092477227744313*T5^122 - 1427062019305101528610192086122725*T5^121 + 3346192532654252398242497846727961*T5^120 + 12057592106632951798591477378049443*T5^119 - 5711871670052415838343180680656933*T5^118 - 6073974545420244329983108677269882*T5^117 - 168787252059464338201607599301359643*T5^116 - 757002322029978360501123996198331046*T5^115 + 1233234668652182109672309091077136798*T5^114 + 6944467290277513554865787856018625923*T5^113 + 5237861154543214753728970970122882128*T5^112 - 15887139874800742979975250129468869899*T5^111 - 134066808846722411190344646329530502930*T5^110 - 241399702001396396506327806867870457913*T5^109 + 782039703182182779054422046890248098137*T5^108 + 2745757782213874312216075515158469767468*T5^107 + 1340386914150112774389538216595941010704*T5^106 - 10902451123856720992687425212751023167201*T5^105 - 51911569981147679394028099954106436108118*T5^104 - 25681092651025336546904386438561229772843*T5^103 + 365302058586935760401102437757793994748958*T5^102 + 557710167865767635395283170579410499915038*T5^101 - 859428197785620505737272190835884447236052*T5^100 - 2973913062301582350758950971499201457723106*T5^99 - 5363190971549851545099455712421528100260676*T5^98 + 4045970408219051159882074146120508918923596*T5^97 + 56436561921608993325495187279442534355202072*T5^96 + 36403350341954440790093093743437228472569895*T5^95 - 205549889717964878350966170618008464732877753*T5^94 - 174098632972397189418928734364979303505164921*T5^93 + 145746130856987196661302964219530829402563218*T5^92 - 252387940489404250852726318484249733325590562*T5^91 + 725829390688783223005011483967043994779383772*T5^90 + 4221623145906884534522481812505951165010652710*T5^89 + 6919736033492883503358945868536831899407960124*T5^88 - 8331477868984632477450393301711722088633589466*T5^87 - 77949641850693718415574816293879599072421307784*T5^86 - 23574642771035443643751593626535623197032877318*T5^85 + 233769547903439612217238239265404659969554668864*T5^84 - 169104424831145787497058772064615615433754728419*T5^83 + 677133336263573421918509571297379581458677867704*T5^82 + 3576313297091703677675897191485092184303350991399*T5^81 - 9736048793619326490961011701711681288082145524828*T5^80 - 20577058898828619264013627426539386625964683885325*T5^79 + 53541553291330848773901308693235391542921406182049*T5^78 + 59214698304092981374900030183272771119402686023554*T5^77 - 217153103912622049942165343260140451262724010443747*T5^76 - 72193912597640728922605956733309870357659573277153*T5^75 + 731418439663096659233364374811136969647511010880274*T5^74 - 108725608629000545684529443986219660328720124501956*T5^73 - 2050276486668246609462196286457147618361460563982946*T5^72 + 795791726870315137885259877431019426256795456645599*T5^71 + 5004478037228684825433712801819558154118736067883396*T5^70 - 1950631525306073394701107025435666274877827809418836*T5^69 - 10774931616819801681656374186190329368146077560826785*T5^68 + 2293362152776571702914988150345959052600709734990195*T5^67 + 20592888276478583980422600350701566977572735058434235*T5^66 + 753909000745699725764486044602057437271812603958786*T5^65 - 34680135327726340879033204754887117004841212000308929*T5^64 - 7987023825486475322811753324269080795791829496565462*T5^63 + 51534918509114351623910846737261887850830098626467722*T5^62 + 17565035648601727975905897826574516979150489095759121*T5^61 - 61381717260228518121272513735702325133879793329954344*T5^60 - 19526939594294945089369150020877682570351310601544078*T5^59 + 57201336804432396372141155733426675194557484955181896*T5^58 + 10882204919008495915590189521068409412458531289823509*T5^57 - 39646431172565809389774186101830712497553183211041786*T5^56 - 1734265592842226957280296847393262314438977630378567*T5^55 + 12940213542427735454442594563706146792213134648303939*T5^54 - 9039844414850453231605494114215528303678891476670978*T5^53 - 3457443799232444998339370676155593678921888727201076*T5^52 + 6866967330215537441987634593622479237112003688001191*T5^51 + 9047004276949712143797265088080029970630032442175915*T5^50 + 14764078885137061214593323504935416006314946390280149*T5^49 + 12381054478914555248725172666657651786546728425726163*T5^48 + 9218250362031454658868100877406050490226974802590184*T5^47 + 14955439453110006923304768275942884021218366307219581*T5^46 + 17469769922815256957556173116732330100575769264788572*T5^45 + 13243117914243641344207626310375341972471439355279872*T5^44 + 7764500711590775094375639770363704641958012128818348*T5^43 + 3248133371362847156495330427987063144989061159248962*T5^42 + 1226425809583890651531907558568981600417846620791569*T5^41 + 647261472186844909979242614118918285982663880020517*T5^40 - 268217733918454164831367986520124827235872028025881*T5^39 - 888307036384811988990353946929080314263459308103451*T5^38 - 972137295967241066990780079687700603179752499220037*T5^37 - 902345388920417240004873350477987319656101815042568*T5^36 - 584815172613441695183173376138771010320993095528974*T5^35 - 193368820731951188132519158111343086676138142039326*T5^34 + 22877540912846204055579650490940516418333617616005*T5^33 + 118204443805575158528755050907167553890250586887574*T5^32 + 140678834054908138814143493278471731103052849294115*T5^31 + 107009546707951161154977846457249262640631123562941*T5^30 + 68766546606772801584079897903456508239620050522416*T5^29 + 43347017500121812997090379115424484803244491734107*T5^28 + 25158782492700701078977606730594935987279708267892*T5^27 + 14257408979836608351937429854244378078947213847182*T5^26 + 8365723044537608792858451589452614054366974069929*T5^25 + 4477791462607654435254854079699885542312016894888*T5^24 + 2160702400435312274666354057224931668801522985277*T5^23 + 988985976718905845846978693295423476562582346790*T5^22 + 383995211582214491744827707508226750289809048975*T5^21 + 121201442698579906231834684244686550597344730083*T5^20 + 36093117771193154281857637532888686153674563389*T5^19 + 8627060290317186647868625897159487401197977531*T5^18 + 1296304902189052358420396891264344416218984678*T5^17 + 597323876362696461825531681223939111317690101*T5^16 + 249988846319766354466764498329381070509816604*T5^15 + 25841673888462550107335605890675735475940869*T5^14 + 11267984079142452495326162607920529972420849*T5^13 + 3334336808683779603462764749555044831047106*T5^12 - 668703206142353844722228239933278444256814*T5^11 + 120379274423191608749625205822528125739664*T5^10 + 15236960168055300827076660923438601985222*T5^9 - 3142305592146632772246191274705056379937*T5^8 + 944654492866408872359800131877304395258*T5^7 + 66160709021277417134259126944722982763*T5^6 - 18244504396242675171546367560547248036*T5^5 - 329630550863083389576885966683051582*T5^4 + 441048093136530999020573235292935206*T5^3 - 66188018772570458713966986669009079*T5^2 - 3840385914609612279329104345858507*T5 + 3758752571239708635677498989915921
acting on \(S_{2}^{\mathrm{new}}(522, [\chi])\).