Trace form
The 18 newforms in this orbit are conjugate over Q; the sum of their q-expansions is
18q+7q2β3q3+23q4β18q5+13q6+18q8+33q9β7q10+16q11+5q12β22q13+8q14+3q15+37q16+9q17+26q18+4q19β23q20+19q21+7q22+15q23+8q24+O(q25)
Coefficient field
The coefficients anβ generate a number field of degree 18. It is generated by the eigenvalue Ξ± of T=T2β+3T3β+5T7β+7T11β, whose minimal polynomial is
x18β110x17β4213x16+918833x15β16434072x14β2164857150x13+84726528918x12+1807078326562x11β132319155799468x10+113870911349733x9+96018431523887336x8β1061750455780271693x7β32531756484656953766x6+617840586698701060528x5+3495377685071056841172x4β129778599023917311122306x3+358731261604465608348899x2+6636977606272453860234519xβ33840233262798879688595795
AtkinβLehner signs
| p | wpβ |
|---|
| 5 | +1 |
| 179 | β1 |
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 even 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.429 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, 5, 179, 895]: [0, 1, 16, 92] (certified at ell = 2147483137)T = [(2, 1), (3, 3), (7, 5), (11, 7)]; h of degree 59 = 1 x 59 (phi(ord eps) x dim S_k^new); 13 primes, 0 rejected
Recompute it yourself
In Sage mode at sagebrush.space (or npx sagebrush --sage):
newform_orbits(895, 2)[5] # 895.2.a.f
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 895:2 1000