gp: [N,k,chi] = [232,3,Mod(73,232)]
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("232.73");
S:= CuspForms(chi, 3);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(232, base_ring=CyclotomicField(28))
chi = DirichletCharacter(H, H._module([0, 0, 27]))
N = Newforms(chi, 3, names="a")
Newform invariants
sage: traces = [96]
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_{3}^{96} - 4 T_{3}^{95} + 8 T_{3}^{94} - 156 T_{3}^{93} - 779 T_{3}^{92} + 6368 T_{3}^{91} + \cdots + 54\!\cdots\!64 \)
T3^96 - 4*T3^95 + 8*T3^94 - 156*T3^93 - 779*T3^92 + 6368*T3^91 - 15276*T3^90 + 275632*T3^89 - 411750*T3^88 - 3967320*T3^87 + 2045940*T3^86 - 150159076*T3^85 + 608998534*T3^84 + 1183083804*T3^83 + 4921631400*T3^82 + 73014274284*T3^81 - 83087237757*T3^80 - 2653892657916*T3^79 + 5808992855772*T3^78 - 91258541937988*T3^77 + 287782798314619*T3^76 + 611806670150212*T3^75 + 1544188128003568*T3^74 + 22919128639105300*T3^73 + 71301295502833556*T3^72 - 660946448675874620*T3^71 + 1161063217628620440*T3^70 - 23686835423245293224*T3^69 + 50884818972075110059*T3^68 + 6457841335773441740*T3^67 + 15136770573363006784*T3^66 + 4427566045708403424452*T3^65 - 6216028435763141356788*T3^64 - 81332043372296438579996*T3^63 + 537130263785334531732112*T3^62 - 2902991779538473782717616*T3^61 + 2816864569521769906467323*T3^60 + 33560349050121363922383964*T3^59 - 132253277255548411265140496*T3^58 + 345069538505586810020434084*T3^57 + 891535160018968238461358604*T3^56 - 11350828729185815785679492220*T3^55 + 41264042473684872083786860272*T3^54 - 80349665305621056243683826144*T3^53 - 290897223616738945817407325557*T3^52 + 2261093304166586645670682885580*T3^51 - 5596416424109317514365691562912*T3^50 + 7997546812430345098993862707348*T3^49 + 45117984484321864742397949598628*T3^48 - 278833960782600312655228623283476*T3^47 + 401869237237829029512450938765584*T3^46 + 268489969586523682477426005383816*T3^45 - 4576451812279355884775428237053733*T3^44 + 17101829204309151895943781759470372*T3^43 - 3960040352736176922916780956292448*T3^42 - 79158755017625968006351590093086028*T3^41 + 167851557489044888678604352578608179*T3^40 - 274376433080820544480797968984399808*T3^39 - 545707526661991951695192213154043472*T3^38 + 2372120377845674556087243715035244164*T3^37 + 704832286583385223730252487313980430*T3^36 + 969270398909904375303748386080154276*T3^35 + 6875912232075005564040071982622744964*T3^34 - 29368863621631039709934691776449313060*T3^33 - 48337685943195638956979109796927757606*T3^32 - 89243922407594752858971617357991643596*T3^31 - 79539754031093211509139306312810499740*T3^30 + 1076196066798025817092429316109707808140*T3^29 + 1032361211662821376655741372960964733933*T3^28 + 4510610378905046326927936154217415363464*T3^27 + 9343315662423819548078207789813156374912*T3^26 + 9018811644427167285891942827197164422848*T3^25 + 33140048380354082909903706040292287476433*T3^24 - 16844658998476540116796758612336319443336*T3^23 + 56974733380453018363067246427953442235980*T3^22 - 78989471364298509775049235895949454392388*T3^21 + 74277731108750138543406310697575312241872*T3^20 - 133349071175728980608959043992582290627896*T3^19 + 27940663922009972943435369715064193468392*T3^18 - 87031619835853515164371253240636390406432*T3^17 + 40582574432606164166866732565042480164032*T3^16 + 64580186673011260724126623358793020037152*T3^15 + 65193098981186969816192274164658066239584*T3^14 - 91704732420146997919932693902595764401472*T3^13 + 97961151141186830549374800732206823230528*T3^12 - 204923945257816805233104007322907739288064*T3^11 + 243716827718380939106052535997678849668096*T3^10 - 143947612913516622315482485341605879949312*T3^9 + 74525882795165669159480963106156147040256*T3^8 - 15213958335439510080026019859237744558080*T3^7 - 4690887662482345547524806440481524187136*T3^6 + 2202117576894371584005303992920171085824*T3^5 - 167436938352353385502806428182226927616*T3^4 - 5295152481755766936875650209002029056*T3^3 + 20023900317514272004120332401050124288*T3^2 - 557478695938897854062479880876982272*T3 + 5424374773739976204304449707966464
acting on \(S_{3}^{\mathrm{new}}(232, [\chi])\).