Trace form
The 13 newforms in this orbit are conjugate over Q; the sum of their q-expansions is
13qβ9q2β10q3+65q4β34q5β8q6β27q7β138q8+49q9β10q10β57q11β118q12β169q13β96q14β89q15+345q16β329q17β330q18+247q19β453q20+111q21β478q22β380q23β141q24+O(q25)
Coefficient field
The coefficients anβ generate a number field of degree 13. It is generated by the eigenvalue Ξ± of T=T2β+3T3β+5T5β+7T7β+9T11β, whose minimal polynomial is
x13+911x12β284122x11β411432318x10+229086630x9+62997138545708x8+4560156468926060x7β4029962463763040747x6β345017849934175879783x5+96148434209073470625342x4+7568869550264821480243628x3β485135386060116188128953232x2β24819543134599804990824062320x+349517582900590961362437518400
AtkinβLehner signs
| p | wpβ |
|---|
| 13 | +1 |
| 19 | β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 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.254 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 engine's checks
dim M^+ at levels [1, 13, 19, 247]: [1, 5, 6, 72] (certified at ell = 2147483629)T = [(2, 1), (3, 3), (5, 5), (7, 7), (11, 9)]; h of degree 54 = 1 x 54 (phi(ord eps) x dim S_k^new); 18 primes, 0 rejected
Recompute it yourself
In Sage mode at sagebrush.space (or npx sagebrush --sage):
newform_orbits(247, 4)[2] # 247.4.a.c
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 247:4 1000