Trace form
The 32 newforms in this orbit are conjugate over Q; the sum of their q-expansions is
32qβ5q2β16q3+17q4β6q5β5q6β38q7β9q8+22q9β15q10β2q11β26q12β30q13β19q15β9q16β18q17β17q18β19q19β13q20+4q21β12q22β36q23β7q24+O(q25)
Coefficient field
The coefficients anβ generate a number field of degree 32. It is generated by the eigenvalue Ξ± of T=T2β+T3β, whose minimal polynomial is
x32+21x31+126x30β292x29β5821x28β11546x27+90473x26+378191x25β559356x24β4896184x23β658815x22+36031053x21+33252387x20β167349217x19β241055128x18+514504223x17+954619838x16β1077199086x15β2400280738x14+1573736320x13+4011005237x12β1656382724x11β4489790960x10+1312298637x9+3299193981x8β805688820x7β1503207823x6+364590009x5+372378859x4β102186390x3β34079546x2+12176560xβ902775
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.303 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, 953]: [0, 80] (certified at ell = 2147477809)T = [(2, 1), (3, 1)]; h of degree 79 = 1 x 79 (phi(ord eps) x dim S_k^new); 8 primes, 0 rejected
Recompute it yourself
In Sage mode at sagebrush.space (or npx sagebrush --sage):
newform_orbits(953, 2)[0] # 953.2.a.a
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 953:2 1000