Newform orbit 13.8.a.b
Trace form
The 2 newforms in this orbit are conjugate over ; the sum of their -expansions is
Coefficient field
The coefficients generate . It is generated by the eigenvalue of , whose minimal polynomial is
AtkinβLehner signs
| 13 |
For every form in the orbit has . The Fricke sign is , so the sign of the functional equation is : each L-function in the orbit has odd analytic rank.
Traces of Hecke eigenvalues
| 2 | 3 | 5 | 7 | 11 | 13 | 17 | 19 | 23 | 29 | 31 | 37 | 41 | 43 | 47 | 53 | 59 | 61 | 67 | 71 | 73 | 79 | 83 | 89 | 97 | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| β19 | 45 | β353 | β2009 | β1810 | 4394 | β25361 | 22106 | β26424 | β5804 | 39744 | 163299 | β330870 | 229307 | β1638525 | 1046382 | β370158 | 4675422 | β1821402 | β1135611 | β6459284 | β73808 | β12100972 | 9815060 | β17591688 |
for every is in the JSON.
Provenance
Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.248 s (one thread) and proven: the dimensions are certified, and the characteristic polynomial of over is reconstructed by CRT past a rigorous coefficient bound.
The engine's checks
dim M^+ at levels [1, 13]: [1, 9] (certified at ell = 2147483629)T = [(2, 1), (3, 1)]; h of degree 7 = 1 x 7 (phi(ord eps) x dim S_k^new); 2 primes, 0 rejected
Recompute it yourself
In Sage mode at sagebrush.space (or npx sagebrush --sage):
newform_orbits(13, 8)[1] # 13.8.a.b
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 13:8 1000