gp: [N,k,chi] = [200,2,Mod(3,200)]
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("200.3");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(200, base_ring=CyclotomicField(20))
chi = DirichletCharacter(H, H._module([10, 10, 7]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [208,2]
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 intersection of the kernels of the following linear operators acting on \(S_{2}^{\mathrm{new}}(200, [\chi])\):
\( T_{3}^{104} + 8 T_{3}^{103} + 37 T_{3}^{102} + 114 T_{3}^{101} + 111 T_{3}^{100} - 732 T_{3}^{99} + \cdots + 22278400 \)
T3^104 + 8*T3^103 + 37*T3^102 + 114*T3^101 + 111*T3^100 - 732*T3^99 - 4795*T3^98 - 17118*T3^97 - 29041*T3^96 + 34696*T3^95 + 446700*T3^94 + 1836656*T3^93 + 3425731*T3^92 - 1862188*T3^91 - 37889212*T3^90 - 157913644*T3^89 - 275406499*T3^88 + 272595380*T3^87 + 3398225095*T3^86 + 12258010530*T3^85 + 20470984666*T3^84 - 11510717112*T3^83 - 181590792508*T3^82 - 641997524316*T3^81 - 1005561461839*T3^80 + 675269496588*T3^79 + 9089565362330*T3^78 + 30640792444612*T3^77 + 45778430249194*T3^76 - 30939761562084*T3^75 - 403284682980000*T3^74 - 1281847354688884*T3^73 - 1826716833504959*T3^72 + 1235126909814112*T3^71 + 14817004757096843*T3^70 + 42599566641649106*T3^69 + 57663894676302701*T3^68 - 22756553735527180*T3^67 - 333538792780510385*T3^66 - 906091749795180390*T3^65 - 1141784422966482379*T3^64 + 642835360159669928*T3^63 + 7353808339074873972*T3^62 + 19955524616103536844*T3^61 + 26868177318821806791*T3^60 - 5644525071507805312*T3^59 - 131072451958876695970*T3^58 - 355327923087755908648*T3^57 - 485816530762426006046*T3^56 - 65870733159160311504*T3^55 + 1461710330792470235480*T3^54 + 3971228063939531895456*T3^53 + 5554598546986982448421*T3^52 + 2682621688872814201932*T3^51 - 7790498289778424400137*T3^50 - 24329379063242433789274*T3^49 - 35915679316097032234199*T3^48 - 27568160744478849385860*T3^47 + 10926158356907322186595*T3^46 + 70702591000832373056850*T3^45 + 117505910573567840539376*T3^44 + 116637537293980043026188*T3^43 + 56545981969091686002587*T3^42 - 36054624812416384470366*T3^41 - 93955702945073605517659*T3^40 - 68066496701048189330752*T3^39 + 46817093832326610133910*T3^38 + 207664877517109333728652*T3^37 + 316404490621215784274014*T3^36 + 311818259058216866423356*T3^35 + 172679953509778471677945*T3^34 - 64657730523474605066974*T3^33 - 278474106519455433223959*T3^32 - 385529705622637054032248*T3^31 - 326027857577961709661677*T3^30 - 127100579895671182147094*T3^29 + 70948508601321464962211*T3^28 + 189093587726603834637460*T3^27 + 211505380329697279623040*T3^26 + 159866982350836209953040*T3^25 + 71294809394461921244026*T3^24 - 28245721267309144905412*T3^23 - 76038716662356567330463*T3^22 - 52151312081110626416326*T3^21 - 16985476768719271105954*T3^20 + 417102081595387218608*T3^19 + 7815985549725944880250*T3^18 + 6439729666581964282652*T3^17 + 2480653479580983283729*T3^16 + 406712887009351907936*T3^15 - 50169248922784891900*T3^14 - 30675106712227933104*T3^13 + 25138368011759391616*T3^12 + 35548897263539699792*T3^11 + 21858132014207755408*T3^10 + 8502839464813979056*T3^9 + 2208632153637021136*T3^8 + 383843612602161600*T3^7 + 46471154893634880*T3^6 + 4805258881549120*T3^5 + 520145137972160*T3^4 + 43436533244800*T3^3 + 1644834345600*T3^2 + 2460819200*T3 + 22278400
\( T_{7}^{208} + 5336 T_{7}^{204} + 13443436 T_{7}^{200} + 21300445696 T_{7}^{196} + 23851936544246 T_{7}^{192} + \cdots + 42\!\cdots\!00 \)
T7^208 + 5336*T7^204 + 13443436*T7^200 + 21300445696*T7^196 + 23851936544246*T7^192 + 20110021405175560*T7^188 + 13279957697674909080*T7^184 + 7054440145277808866120*T7^180 + 3072216832362118589607105*T7^176 + 1112298399845107458561975080*T7^172 + 338305279548684923093567450920*T7^168 + 87124929995328607640797406208600*T7^164 + 19111950255365075494157755735448550*T7^160 + 3586831914772489058572916732259356000*T7^156 + 577736296125562154658616108831749466900*T7^152 + 80033469471866465024548663037850474627000*T7^148 + 9546678254984477027875350323365711980536900*T7^144 + 980929458742768504428884081365920992017659000*T7^140 + 86792091170169227791143334105590145764375140500*T7^136 + 6606088633722885237671126945618510215295781420000*T7^132 + 431847615632556291649180021125871283801588205419750*T7^128 + 24193179132502044124242519328532906720151313800687000*T7^124 + 1158401492874146623494314624613604439792322171975953000*T7^120 + 47255197423928888314324602508152514443059393224682105000*T7^116 + 1636444739977155117687408342255943743961414396646827250625*T7^112 + 47917748186794401492256393217772111164911455128306944285000*T7^108 + 1181400720511896157785687134198544538491740335398449563175000*T7^104 + 24416868264293086837152938557639054071662028274326516460685000*T7^100 + 421147901772467161564353185258795272622573812576770744320853750*T7^96 + 6035590035791447367817900003661927660580770337219848213465600000*T7^92 + 71567288216864874630835819526157425082767165959093702191517987500*T7^88 + 699374629976065702944903020684669350965631568502090493480873575000*T7^84 + 5612212635564327433866593495265625802717045914574285427676734490625*T7^80 + 36858274578114921993303868678211290054035430023776729828455993000000*T7^76 + 197480572078068475355907291795781697467402927904392154980456281000000*T7^72 + 860391533009940525620631740685278716038314880573968086356811916000000*T7^68 + 3037619388864969865049361616997686502847505804590561840069480024000000*T7^64 + 8656033575669337862838888946128914794044493221310567047193528320000000*T7^60 + 19817768451443495599407216227699641208773175724105128113821312640000000*T7^56 + 36256291982305349334622375074445544067355381534915560369137356800000000*T7^52 + 52661633157667299115462857651591258493166524537508370075153433600000000*T7^48 + 60254346496236006995598129293410565291042262852305303475816448000000000*T7^44 + 53786048974068736973293415700999775843523096083685835701821440000000000*T7^40 + 37002112860437693765859129512275077131420187882850090156851200000000000*T7^36 + 19307920325170444353184963121623879214582806160595277746176000000000000*T7^32 + 7479092529673497824231645425684202975229830256970134323200000000000000*T7^28 + 2086238621792633537558733923385236860926448955544322048000000000000000*T7^24 + 400376545353710417002559456884366186150914230511206400000000000000000*T7^20 + 49064143878834492255846995850402560335331818307584000000000000000000*T7^16 + 3338462254966865671411452604143204547962476953600000000000000000000*T7^12 + 89637154018390317930906797632400610676047872000000000000000000000*T7^8 + 33148337059087599202997148684815826944000000000000000000000000*T7^4 + 429790433832886527326290182209536000000000000000000000000