gp: [N,k,chi] = [855,2,Mod(127,855)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(855, base_ring=CyclotomicField(36))
chi = DirichletCharacter(H, H._module([0, 9, 10]))
N = Newforms(chi, 2, names="a")
magma: //Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("855.127");
S:= CuspForms(chi, 2);
N := Newforms(S);
Newform invariants
sage: traces = [240,0,0,0,0,0,-12]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(7)] == 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_{2}^{240} + 45 T_{2}^{236} - 60 T_{2}^{235} - 984 T_{2}^{233} + 1206 T_{2}^{232} + \cdots + 15\!\cdots\!56 \)
T2^240 + 45*T2^236 - 60*T2^235 - 984*T2^233 + 1206*T2^232 - 2700*T2^231 + 1800*T2^230 - 85572*T2^229 - 157794*T2^228 - 18468*T2^227 + 565128*T2^226 - 2940528*T2^225 - 3081273*T2^224 + 24446232*T2^223 + 61354368*T2^222 + 63173316*T2^221 - 171031581*T2^220 + 666831000*T2^219 + 1979391096*T2^218 + 9583371192*T2^217 + 17578811412*T2^216 + 17893056516*T2^215 + 15274298088*T2^214 + 351810900252*T2^213 - 65056832640*T2^212 - 2904911969484*T2^211 - 5182019331624*T2^210 - 2389827165084*T2^209 + 1828720555725*T2^208 - 67734409217868*T2^207 - 158366972526480*T2^206 - 724984461430848*T2^205 - 2029202271636980*T2^204 - 3350771640292548*T2^203 - 3498302255359248*T2^202 - 16131052373572476*T2^201 + 25994594217526527*T2^200 + 237868948525571952*T2^199 + 457379412741754488*T2^198 + 343704647866062576*T2^197 + 36594339195830694*T2^196 + 2549044200172856400*T2^195 + 7135573794316498224*T2^194 + 35763987404699628684*T2^193 + 121749474817052807909*T2^192 + 214351052253701453784*T2^191 + 277462159514998048008*T2^190 + 754006166813598420516*T2^189 - 539301822044665437090*T2^188 - 7669130334120646582332*T2^187 - 15754195260390684289824*T2^186 - 20666826416175297140832*T2^185 - 43962059266435972764477*T2^184 - 145376154133579316263140*T2^183 - 286439917160274393429360*T2^182 - 1029883859034551745895332*T2^181 - 3299845522724106870048720*T2^180 - 5223335914748286404261724*T2^179 - 5202456359159483240194872*T2^178 - 10702395609673733308234464*T2^177 + 22381457166090123631224501*T2^176 + 171276805445652015142785936*T2^175 + 366712185632628753418576824*T2^174 + 531922400047852629050356884*T2^173 + 859089195313070079920926038*T2^172 + 2489615949984370705031888856*T2^171 + 5498388021652772020955840808*T2^170 + 15750226668225656627984793756*T2^169 + 49407196258751082907791794804*T2^168 + 98281463680870218837981548736*T2^167 + 145869223477520486432694867480*T2^166 + 285279039471383863189579123608*T2^165 + 281936079116115977889772410081*T2^164 - 345279058101930709438616334036*T2^163 - 1085623753605782354268160510224*T2^162 - 716143661591180697350457947100*T2^161 + 1430428424165524619395681548954*T2^160 - 4302444672029691737410072510188*T2^159 - 19222347385996145191751638706136*T2^158 - 61367344842495924846593596965180*T2^157 - 205989376201962840312729102070963*T2^156 - 416106453629660861970423213634644*T2^155 - 605782914409432445594384832489936*T2^154 - 1241555146544790060153557138284656*T2^153 - 1099661450211388235438795767258566*T2^152 + 1560811468817432954355116393704152*T2^151 + 4332944809041204292672402518707520*T2^150 + 3211804306160243351781060844206456*T2^149 - 12821998154546108752023222269328105*T2^148 - 3035519717416998471634862610612564*T2^147 + 49759420591280459758422641358224376*T2^146 + 177849123007927077836139448065613944*T2^145 + 622319374649006403320241311641247582*T2^144 + 1343281738594657698265374097380180312*T2^143 + 2136215370197037027958190416588177656*T2^142 + 4438154615642447120478278340291918264*T2^141 + 6513451917198803837811261112972184703*T2^140 + 4805138853898898764225826483335999020*T2^139 + 4202727369216560186839653224419900776*T2^138 + 23610083453168115901179314693892867540*T2^137 + 94786509694278867122019791750248368615*T2^136 + 112602939231986229396601890183465902652*T2^135 + 54775952416288740116100954915947080008*T2^134 - 75642380766867265374607560960392220708*T2^133 - 83665337935529490998123294770670696953*T2^132 + 22667629188407128393787722604929482012*T2^131 - 78184648477261321853393420382389714928*T2^130 - 1252601635131601031110545349034867080668*T2^129 - 4393138347098012501564485873150630787652*T2^128 - 2815623165017911814814211034616419217564*T2^127 + 3470762162438109291755042081153124777720*T2^126 + 5088744435089812522973936606354953146600*T2^125 - 39504183506848674741261690855171826548135*T2^124 - 90105608670439779083294911805127351317316*T2^123 - 72739482939355099481524503783760589967888*T2^122 + 70787833231486117658580936167622587987832*T2^121 + 200821973223289341030900720782163535483028*T2^120 + 39779390000901797177425465214437905110280*T2^119 - 193348642693578815162246692123496608163064*T2^118 - 1748166402930361633115083057702442902524*T2^117 + 1392302902526264130316525253212768069655811*T2^116 + 1432016543738434800022790286328975000349520*T2^115 - 14739348726610674065846763706165630791888*T2^114 - 906397668612822965536758513898663827962268*T2^113 + 8988697570786772247807746081273003546414184*T2^112 + 18188288303082486099385794764049043516516692*T2^111 + 17061622331213391117669898990823417443936776*T2^110 - 896000046491736803860835985078393819411216*T2^109 - 4174576750269395126541447589898439480120861*T2^108 - 1711802164782964505808387968417630733266700*T2^107 + 1056855431816559567737818611766712539658424*T2^106 - 12502492402218001677946500889665197201106420*T2^105 - 2544399973286682190732651189889435592046284*T2^104 + 42588759993541963971235620510073935934447416*T2^103 + 31212230320452840320877991071801561639441792*T2^102 - 281452453319282092867308667546923661015046100*T2^101 - 1053490092970966063964396803596285488468574126*T2^100 - 1481248801360568948368624008235688075518972020*T2^99 - 1036887493907076104917580883435365988420786456*T2^98 + 43586341979014980432721807208249575587864516*T2^97 + 942416187075587217637477693924048746065940092*T2^96 + 2126393409819884388749948047226656865722601628*T2^95 + 2607284659568325019948220374298828334421305360*T2^94 + 1738362748908317683874159157566070053787973452*T2^93 + 749658714220203470685711449292275160058483161*T2^92 + 1850414639305123380758276549059573232020070004*T2^91 + 3813567535132067628497532004567925633598699864*T2^90 + 7675420190972823815387734727973528581044035564*T2^89 + 19337610302121997727813745126152181031959466059*T2^88 + 26783812781267908089923793389447013977362427136*T2^87 + 21521243560951291694431117060064249682154443072*T2^86 + 12032250452563828167222338576900321933998695576*T2^85 + 16833924606449143106391618080826112004976278130*T2^84 + 27465520466541441806151892566596427725043347412*T2^83 + 30853336053632117280519928104004067765372480040*T2^82 + 26470576676762111858443675502706128597695552908*T2^81 + 32952057103358828533275000804361549783443899697*T2^80 + 28386436387283992249222968221330957445787515216*T2^79 + 22733331109526160391474789353792637422096702168*T2^78 + 36899603850242788232260639210115784763941596676*T2^77 + 5299042876601805877161634660272601820271800292*T2^76 - 33983771474301223981462633660498842722307529680*T2^75 - 45644727278714610396221261618330614845621413808*T2^74 + 22199766621321498604920861540201355023268723488*T2^73 + 60562584999851741742358564045501677968005722494*T2^72 + 29524927404750145114201524364317864499563124428*T2^71 - 11213451681809505880512322547622560096612067024*T2^70 - 31111879322872967879958153905960131516577783868*T2^69 - 21961287834739744902683160235835222270095614675*T2^68 - 25551340146209491505820659083741775323592667528*T2^67 + 9411062772820041096050433511757526009406400664*T2^66 - 2698934752434781255497263960009587233067253904*T2^65 + 12705891023486073110416322429987849163892828269*T2^64 - 4023244546468863475106734866304903615933655244*T2^63 + 6212428606746131789556785153861040768472328616*T2^62 + 4815669772563636565542977655205652121421440324*T2^61 - 6852492381693110636010019293175620261357796111*T2^60 + 3019436552495738117114521231157294871850526196*T2^59 - 509922278563627614018678195516162438459069936*T2^58 - 356403406376390222544358822503497039688618876*T2^57 + 243354768393963947650656638270029096451022165*T2^56 + 762539351330779260245629223755184887202675952*T2^55 - 1237757540779948789038727575362538335857858200*T2^54 + 384354647667885488747708253239871711948253452*T2^53 + 14524805880360570928047397878940074237933243*T2^52 - 71175280807750322570675781282635043217119540*T2^51 - 57795590465776899746637435539276722921450368*T2^50 - 64507031501305298062245699404004554166083616*T2^49 + 197220716396958268228722377237665777029704657*T2^48 - 157459246067972302543938066407243500852098360*T2^47 + 97258850113112449130262027766925097996271776*T2^46 - 8013652081563985579166483493495874088679216*T2^45 - 28312738777056492500505108830541646788262992*T2^44 + 133391878087700430842248897091505441901104*T2^43 + 32118821721813632205105162126205469237710080*T2^42 - 38272194744690222510177397854048499616458608*T2^41 + 24220133023643624496231537522177293064879264*T2^40 - 7432691059764592854666707378911370816735328*T2^39 - 1991663043372321581017760570628595136678016*T2^38 + 3939580916495825818816953195272647009104000*T2^37 - 2528687401491867387910945283177527593450512*T2^36 + 906529544379499868699330406465036075985440*T2^35 - 77766761412629154118235733843529164431232*T2^34 - 131192982957853832759245594789464314782656*T2^33 + 99626972795900143502654242486899754843392*T2^32 - 40113914042870845036089672748786563400896*T2^31 + 8873302871326227972256796427739933797888*T2^30 + 482097329870536555011655396340209434624*T2^29 - 1435974402936431467434966544439300667840*T2^28 + 743380368926286314593817216312658402048*T2^27 - 244772890396598030000291244864652958208*T2^26 + 52900519560179289026838137979154917120*T2^25 - 3280098680412984193180397519822145920*T2^24 - 3433484530641272258614262398509983232*T2^23 + 2058069948729420175286086755928687104*T2^22 - 727698172934472678793166875185709056*T2^21 + 191418885657031778863297120585983744*T2^20 - 39873370866350006865898856162512896*T2^19 + 6725057231062118950085420194904064*T2^18 - 885532259368529727479080843831296*T2^17 + 69985435301203331838100129889280*T2^16 + 4341652898747963303804418235392*T2^15 - 2717234651878261577819359819776*T2^14 + 510307040435611502411145074688*T2^13 - 56431924657822016365472504832*T2^12 + 3560863752159533407839301632*T2^11 + 40539275079512393978486784*T2^10 - 51268048148446772063698944*T2^9 + 8706043771145936474022912*T2^8 - 900273183399091434246144*T2^7 + 77249711075268699095040*T2^6 - 2833285726094055677952*T2^5 - 285402400257063075840*T2^4 + 28675168930546778112*T2^3 + 964718372163944448*T2^2 - 171020498746343424*T2 + 15158833829318656
acting on \(S_{2}^{\mathrm{new}}(855, [\chi])\).