Trace form
The 28 newforms in this orbit are conjugate over Q; the sum of their q-expansions is
28qβ12q2β8q3+24q4β29q5β4q6β9q7β30q8+10q9+8q10β16q11β11q12β15q13β10q14β5q15+24q16β24q17β25q18+2q19β50q20β28q21β8q22β44q23β10q24+O(q25)
Coefficient field
The coefficients anβ generate a number field of degree 28. It is generated by the eigenvalue Ξ± of T=T2β+T3β, whose minimal polynomial is
x28+20x27+117x26β192x25β4385x24β9436x23+51988x22+226749x21β192839x20β2160977x19β943448x18+11107653x17+11907183x16β33807354x15β50188115x14+63609358x13+113342457x12β76665345x11β147487918x10+62290982x9+108318027x8β34850024x7β40340027x6+11661431x5+5906869x4β1684562x3β105311x2+16146x+299
AtkinβLehner signs
For pβ₯N every form in the orbit has apβ=βpk/2β1wpβ. The Fricke sign is wNβ=+1, so the sign of the functional equation is (β1)k/2wNβ=β1: each L-function in the orbit has odd analytic rank.
Traces of Hecke eigenvalues
tranβ for every nβ€1000 is in the JSON.
Provenance
Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.25 s (one thread) and proven: the dimensions are certified, and the characteristic polynomial of T over Z is reconstructed by CRT past a rigorous coefficient bound.
The label, dimension and trapβ for every p<1000 equal LMFDB's.
The engine's checks
dim M^+ at levels [1, 787]: [0, 66] (certified at ell = 2147472259)T = [(2, 1), (3, 1)]; h of degree 65 = 1 x 65 (phi(ord eps) x dim S_k^new); 7 primes, 0 rejected
Recompute it yourself
In Sage mode at sagebrush.space (or npx sagebrush --sage):
newform_orbits(787, 2)[0] # 787.2.a.a
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 787:2 1000