gp: [N,k,chi] = [738,2,Mod(133,738)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(738, base_ring=CyclotomicField(30))
chi = DirichletCharacter(H, H._module([20, 6]))
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.133");
S:= CuspForms(chi, 2);
N := Newforms(S);
Newform invariants
sage: traces = [176]
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_{5}^{176} - 2 T_{5}^{175} - 65 T_{5}^{174} + 150 T_{5}^{173} + 1714 T_{5}^{172} + \cdots + 17\!\cdots\!00 \)
T5^176 - 2*T5^175 - 65*T5^174 + 150*T5^173 + 1714*T5^172 - 4426*T5^171 - 13825*T5^170 + 43476*T5^169 - 443361*T5^168 + 1224652*T5^167 + 17370694*T5^166 - 58697440*T5^165 - 274122077*T5^164 + 1175887091*T5^163 + 557391997*T5^162 - 9567949503*T5^161 + 81751185327*T5^160 - 169170286092*T5^159 - 2067846333951*T5^158 + 7295679378769*T5^157 + 21089843773173*T5^156 - 120836395059717*T5^155 + 117122167312629*T5^154 + 729659002003673*T5^153 - 7628505978368404*T5^152 + 14636369328400060*T5^151 + 124786497620208304*T5^150 - 480142379133760445*T5^149 - 751276990129413715*T5^148 + 6578329451518244310*T5^147 - 11921442604199028133*T5^146 - 30992692542465518066*T5^145 + 367312621945748417165*T5^144 - 660585009765035656101*T5^143 - 4290522194278121794702*T5^142 + 17242190434203969022630*T5^141 + 11421687681694169147800*T5^140 - 189154679982526029677254*T5^139 + 459461876448350830995821*T5^138 + 555022481513764253531921*T5^137 - 8655074832834242998268738*T5^136 + 17055410807289383957862760*T5^135 + 69910223667913068226909221*T5^134 - 328025238500848644752157021*T5^133 + 39659755949712050818307199*T5^132 + 2749116978886837571380095503*T5^131 - 8446723081060546838788161208*T5^130 - 2099142860380453768056555162*T5^129 + 107126056391618284846767764228*T5^128 - 251140720627497949503798488475*T5^127 - 534069405517696495504358675071*T5^126 + 3326746430696154497499188143611*T5^125 - 2832389969491566194762765647125*T5^124 - 18235057581315894025420013981815*T5^123 + 71886663464346821131372672606841*T5^122 - 43564796516429728385986507032291*T5^121 - 559963757114618928881927559647149*T5^120 + 1646846334743368468681253347202951*T5^119 + 1187543971461388046849374838808771*T5^118 - 13691489530651312476068383838636604*T5^117 + 19718521314998688413068952678537117*T5^116 + 40294599629041350818927447079403385*T5^115 - 240444331366699264872930080901072299*T5^114 + 326514880445360798206952497148387325*T5^113 + 1167892036623528444631997176458921747*T5^112 - 4810248388209061330951018218891864633*T5^111 + 999287803432484181530035528258265799*T5^110 + 26089645245633362418510987416958573705*T5^109 - 57457483993750798135010071763918678682*T5^108 - 8662077772298148098026558485765425293*T5^107 + 397419131479923660191671630443119350379*T5^106 - 950726445983094761750609979439437968705*T5^105 - 758159593478555643777544738550837486884*T5^104 + 7292802581361678594688746018420548965230*T5^103 - 8255070144214576407726345625743804307328*T5^102 - 19807324533304800746627814863567735739928*T5^101 + 78166587420876919740203038890700991200982*T5^100 - 90267989521936511945068233295941697181524*T5^99 - 250347217651126183263110595158254421495829*T5^98 + 1165145554331881260472768682217140755679766*T5^97 - 707714242774381986664681537692876969852165*T5^96 - 4841684862793835288519284304772660256013437*T5^95 + 11286809466032347861240235456127849168828315*T5^94 - 1507532528520275653585095290282882858982157*T5^93 - 45474087495898848818627598753728894395851197*T5^92 + 125257199690412732213696729137533555379367850*T5^91 - 41065411303248845622160977049180867702602324*T5^90 - 592033160674531596978932481719971816212709242*T5^89 + 1231894914764774371791737575998362280683392202*T5^88 + 205464525997726815462845139050537419553433408*T5^87 - 4571507270898406165482743742814831769443320305*T5^86 + 9284008377922392257370852991724401205398381016*T5^85 - 3593243808413492469678623571667781491714892912*T5^84 - 36193714566924440185860639039896324186937909583*T5^83 + 83146281433196388687439589885824664643740600131*T5^82 + 713966183444771857316847017227261610914987644*T5^81 - 233846464216593835626745255721236951546845729438*T5^80 + 368707152989959263460121317973315176602951408247*T5^79 - 171381922433465323932418303163860406661666457394*T5^78 - 945864438023064021056918960754845329048114301096*T5^77 + 2647527757297856858476468112820374673865121655635*T5^76 - 224499492789262994758742336246181789443134270575*T5^75 - 6598770296248872866834156229378456815423496920678*T5^74 + 5133625248286123766365654349973035622729925168924*T5^73 + 3151436882827889140413083845572992046931089861544*T5^72 - 10404909254918187844474294120018016308641758226812*T5^71 + 32335577424814478052457243269030470704199560532350*T5^70 + 11094434761591342731698208673286417543823055914187*T5^69 - 147038272914961430674795446742930695114998577500553*T5^68 + 12782683686078814028365511701238133576539232238477*T5^67 + 281333218395125786828275929711146692640025105539067*T5^66 - 100842651386029688194154223916652785030935390206270*T5^65 + 146322695332274465782685480219963595465671352243519*T5^64 - 70996901118736028178630488342741666309912735345575*T5^63 - 1635014953847875850438148785608309592856920733093703*T5^62 + 908518041541319848371597234023610958598052398872281*T5^61 + 2331901088737991734158861765253509721497422898700638*T5^60 - 217540446847672521635397927015002198029011827200406*T5^59 - 92625906378655557720094052737628908119675754226160*T5^58 - 4021098249206231113589835385151583026955135733036498*T5^57 - 1760010279957692984561943484133444527554140815970231*T5^56 - 1372546847533637359789189089364504487275027260118266*T5^55 + 16529913316938263644838574174438861776347509993920870*T5^54 - 4390430482359570043424948443116612894087640690022408*T5^53 - 1888890143118167304025071862634736821668785507112836*T5^52 - 18649347446224114777095335504232472160196133521712418*T5^51 + 8548575376484794382345600876752449528190138187034731*T5^50 - 13152642262986537696831828101736511460579742142455628*T5^49 + 55626759539301695444757637017056399196805255645789234*T5^48 - 42628305412210088411238940878298928953498696083123515*T5^47 + 29293520330948141609224753225745808776788332323708653*T5^46 - 66145791841902934860818115934992407894264984702145790*T5^45 + 55672246083968027887464296849415553223244882059942215*T5^44 - 41717848009753934401161835306472560996194438285603949*T5^43 + 68327305524726912901191659477752166770730351979236841*T5^42 - 45905891629263027428346855123503410229835260619416046*T5^41 + 19440322951452075668790033073113454530173230725520470*T5^40 - 37313997969016302651981749952103724729568604746452983*T5^39 + 30313379442486098809119525114441217568572766609159948*T5^38 - 18803664464930963228310132658702658312527708883754362*T5^37 + 28468618405452814197282355931475806045770091218068441*T5^36 - 18166305519207554157254590081628618231691394567404776*T5^35 + 7347310613906035485450986580823599267286191112092619*T5^34 - 13011996151482892067243482445512314970082954762835541*T5^33 + 10014085322804751305213024076297752965366666071584355*T5^32 - 4854715674223343554390143918927636632785849943909317*T5^31 + 5483667879269088821727159627318741112128927089490530*T5^30 - 2715962476283176154998237050389464863350513313376773*T5^29 + 580965188423802621236645285072263756352876740770001*T5^28 - 1710256365499923879667115107846864498966801099397970*T5^27 + 1463112165666345252876154748740358029038775970984649*T5^26 - 673075718825692713465640820406805039168099092758697*T5^25 + 592718576651589037334158082946280937198586669674636*T5^24 - 273326129525509063167190002399635138825285965793615*T5^23 + 22970498276350162269716678343038442051646655901010*T5^22 - 74206739144137990541844192777660115872643673056955*T5^21 + 59239186497920476990952569157136163059938311053310*T5^20 + 2449665549385839195103018350322839202795336451850*T5^19 - 6294849249719789771393210273972246690109678908275*T5^18 + 6974633317355587055913274296430201724346143275*T5^17 - 1686891336149093246136460895595648110214841671675*T5^16 + 591345674013432244333532474105455242335790407500*T5^15 + 541723470578400314328266786282683993049054913500*T5^14 - 102239555401963806630505702002509278731417284000*T5^13 - 143874768431724638221935280873242033235031856000*T5^12 + 27047115244292649183952463557053862660064120000*T5^11 + 27364785767619444861804117811649021174686440000*T5^10 - 8527833935183708008573912065057861140042080000*T5^9 - 2407710338000446743554695406631210454100640000*T5^8 + 1290913117159256466103650035326253558128000000*T5^7 + 24217048986949831340252868462061847798400000*T5^6 - 95868916524872094444919498972126446848000000*T5^5 + 10722084647744936044756347927893798912000000*T5^4 + 3373449990271246770307045460370612480000000*T5^3 - 661373226053605204405183310272938240000000*T5^2 - 23902432926930606354126278857344000000000*T5 + 17489456591271601509893353574425600000000
acting on \(S_{2}^{\mathrm{new}}(738, [\chi])\).