gp: [N,k,chi] = [738,2,Mod(137,738)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(738, base_ring=CyclotomicField(24))
chi = DirichletCharacter(H, H._module([4, 15]))
N = Newforms(chi, 2, names="a")
magma: //Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("738.137");
S:= CuspForms(chi, 2);
N := Newforms(S);
Newform invariants
sage: traces = [168,0,-4]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(3)] == 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}^{168} - 24 T_{5}^{166} - 16 T_{5}^{165} - 1110 T_{5}^{164} + 1152 T_{5}^{163} + \cdots + 14\!\cdots\!96 \)
T5^168 - 24*T5^166 - 16*T5^165 - 1110*T5^164 + 1152*T5^163 + 31376*T5^162 - 11640*T5^161 + 705609*T5^160 - 1023864*T5^159 - 22249824*T5^158 + 21888024*T5^157 - 315906710*T5^156 + 507210684*T5^155 + 10917669720*T5^154 - 16116436232*T5^153 + 110034561432*T5^152 - 154388977128*T5^151 - 4076634701112*T5^150 + 7470360121020*T5^149 - 31130995342848*T5^148 + 28436580134276*T5^147 + 1218202767174672*T5^146 - 2537078601417012*T5^145 + 7304715738518093*T5^144 - 1203499447232844*T5^143 - 299278052168338944*T5^142 + 667858054549894932*T5^141 - 1427211229010950668*T5^140 - 1125657932825547792*T5^139 + 61415065196356912504*T5^138 - 141118836191465124480*T5^137 + 231407953944918188739*T5^136 + 454399224198489799252*T5^135 - 10613740202932155356688*T5^134 + 24343185130481981009952*T5^133 - 30728526093309459370636*T5^132 - 106324765834666717647972*T5^131 + 1550610888642036521808936*T5^130 - 3465807146095148221460652*T5^129 + 3268638097702912774482357*T5^128 + 18266244080153859672276324*T5^127 - 191586841537277537551888200*T5^126 + 408666100700524590662090112*T5^125 - 264650482262751176832571668*T5^124 - 2457554287636650588570511380*T5^123 + 19978106387324451927674657208*T5^122 - 39929428979252539064377543080*T5^121 + 14198253772852964030748122089*T5^120 + 265819045164258582589723877748*T5^119 - 1750904577479079228289144963176*T5^118 + 3218444095236452768611343532536*T5^117 - 156987767898144659104231607538*T5^116 - 23336850894768453083393039230392*T5^115 + 128148021690852636021217650110888*T5^114 - 212565893983945197696303538868868*T5^113 - 60823442157512822594630041238586*T5^112 + 1664373200889225546637697705007360*T5^111 - 7768913200781552962464780432732024*T5^110 + 11379289175778243414624622428984816*T5^109 + 7605206853558915662429525764892830*T5^108 - 95921585632385831000938356135116832*T5^107 + 386155116791423590051186004672231616*T5^106 - 488133154673569913010085462025882552*T5^105 - 540370016117413473265806182699210826*T5^104 + 4416446031445640589165913729263027864*T5^103 - 15573927208751461835491486041014227344*T5^102 + 16622938605830004959444153901148675092*T5^101 + 26659895468971098508530028063928737332*T5^100 - 160195909137764361155331013376848940968*T5^99 + 505032673431414959714332608707554562568*T5^98 - 451214746968743142455287885923473310552*T5^97 - 940534603937848123859867538586322975076*T5^96 + 4490995583257260810434353579551397408764*T5^95 - 13152200252287976020632586119785476041888*T5^94 + 10155236644801791556818059127866271729908*T5^93 + 23825341369072494428077559615769529551480*T5^92 - 96594973903003838620807591060727528633616*T5^91 + 278032728559642934619251927692664824612608*T5^90 - 198239553690780831076319792769258489897744*T5^89 - 435003008046869534435605321053716457465951*T5^88 + 1570508532281989826248788015578276611700296*T5^87 - 4771208070145410400144114896266539647666216*T5^86 + 3330959809909555851470927502673535618857248*T5^85 + 5633743424861719924808674249654425296290800*T5^84 - 18584285062244420536545991798921945952819184*T5^83 + 66322509836033151339851358265519787844633984*T5^82 - 46316106565017227525265796412065484116534064*T5^81 - 48018646868951132007595906927096778557629216*T5^80 + 141775589774949997601300891200328619720454272*T5^79 - 734747392384530515761533703114451016644643840*T5^78 + 476276181124014901562860695068055636602217984*T5^77 + 232165593569349562629641511768395726971978416*T5^76 - 403988365356676537220026820397031466686620592*T5^75 + 6543631611786167458596349095711415769243863200*T5^74 - 3228301389000368785966960264552719096223907712*T5^73 + 164223761650672654930600181372048749380404784*T5^72 - 5474084764559759073582271543076668509170832576*T5^71 - 46950305262959719374304466362924202216695202304*T5^70 + 6237548475847330536070026181347112441096024160*T5^69 - 9634630753325075832068439760979204226618371400*T5^68 + 79450705085629259830144647661566765227084762688*T5^67 + 296296610368312421278906721816701475345852720736*T5^66 + 103939100561910995511126696682896494182892411712*T5^65 + 126110447745638000507602922365318067343327172992*T5^64 - 553170156118044360347628207654258505231744862144*T5^63 - 1614250247059001875041445497116702913218186109408*T5^62 - 1364337295839329394483218966354007734257422575424*T5^61 - 1251920282847373304446096473588036951112239131072*T5^60 + 2167202759090635120552999602984499124988327756672*T5^59 + 7060033792479792967938259884556024705944169908864*T5^58 + 9032075724131093109654628493494715021725776602496*T5^57 + 9446562376882470886510936530514176145391372172960*T5^56 - 2026769359411379250811812364448437103450735455680*T5^55 - 20083562826494664630704131459484009797704775448320*T5^54 - 35950577014297893844200025772170396874141870356992*T5^53 - 45696218022196419431061736431486394730945734142592*T5^52 - 24779046746118308076795761894170502338727985400192*T5^51 + 19459391663019271950592932107374718067058112078400*T5^50 + 75671716268237695340598106695997113640472046801408*T5^49 + 128971895608159775784752776212048967599361858633648*T5^48 + 136602704376719083288573267083312797001715454500224*T5^47 + 103047977589349248210934537340937531751045935979392*T5^46 + 35000020893672346467713655613327752618997952263680*T5^45 - 43137317609035990865355738994920780487585632492672*T5^44 - 81880354740618776800586859193940541653967151004160*T5^43 - 81831628128096986938407439492262336502583985250432*T5^42 - 43252973126415271615117183309293256475651271360000*T5^41 + 9152673076181386776546653070122545496032730489088*T5^40 + 37573946101275025621537373500260138181195698762240*T5^39 + 43557037569758838983961233832521367738493043684352*T5^38 + 25374116756509830900060269783682608218805703937536*T5^37 + 1509317314870471945947348760055100995528904080000*T5^36 - 10118076077349963297924098954383276729364705994240*T5^35 - 12670023065973106891035463807394039533394796080640*T5^34 - 6326928594010914674613985103037255599148732171008*T5^33 + 112602418404330130061024889731938789937398204416*T5^32 + 2098362492284864385492463028481854778436733677056*T5^31 + 2353550893971983283609591790836225546288384611584*T5^30 + 845385096502635451986890321178608099671010362368*T5^29 - 69730673967025107150459865745690616768350706816*T5^28 - 184993088595048611326899135199485402000006036480*T5^27 - 242927258085538989109274303443004135995659813888*T5^26 - 60032584338561573013329575590354318723872150528*T5^25 + 7758208543506893693571591417841334484574919936*T5^24 + 4966590033373627193100825420518779744515081216*T5^23 + 20898781967369677701441435730747881850103659008*T5^22 + 2128161362610495759367582627259282988178009088*T5^21 - 311424628705684393890197772211063495904136192*T5^20 + 316742840068674060730531155989903383428182016*T5^19 - 849295678351071609299857847516139436394124288*T5^18 - 20653979644293422227416616885428361031786496*T5^17 + 9981854149114521431152781455591581308431872*T5^16 - 16797339884179537183992159891658787331756032*T5^15 + 27629388554588328204678754956008218849652736*T5^14 - 4741304226537736492829194150767459932160000*T5^13 + 1776238560420286069216024535523005346405376*T5^12 - 472316727909663861393717854557364212193280*T5^11 - 72360533262088659355925184572904162118656*T5^10 - 16385411224073269639781454036944947329024*T5^9 - 2463135989572089068401575359927475367680*T5^8 + 2261882826295837086187466112963480201216*T5^7 + 602544617909069794947820572617873911808*T5^6 + 88580396802444031046072458264475074560*T5^5 + 6000148904106599692290406710262333440*T5^4 - 1747322741380888275835042538540498944*T5^3 - 211206415454434020821808429226524672*T5^2 + 10222722556716687382354327498653696*T5 + 1468408940128887070554520652087296
acting on \(S_{2}^{\mathrm{new}}(738, [\chi])\).