Newform orbit 30.8.a.b
-expansion
Coefficient field
The coefficients generate . The eigenvalue of is a root of
AtkinβLehner signs
| 2 | |
| 3 | |
| 5 |
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 | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| β8 | β27 | 125 | 416 | β3948 | β7978 | β34014 | 3020 | β66528 | β18570 | 208832 | β301474 | β460998 | 343052 | β1356264 | 617982 | 939540 | β204298 | β758524 | 912072 | 3043322 | 6010880 | 9723012 | 7160010 | β16785214 |
for every is in the JSON.
SatoβTate
The normalized for the primes not dividing 30, against the semicircle :
Provenance
Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.299 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, 2, 3, 5, 6, 10, 15, 30]: [1, 3, 3, 5, 9, 13, 16, 46] (certified at ell = 2147483629)T = [(7, 1), (11, 1)]; h of degree 6 = 1 x 6 (phi(ord eps) x dim S_k^new); 3 primes, 0 rejected
Recompute it yourself
In Sage mode at sagebrush.space (or npx sagebrush --sage):
newform_orbits(30, 8)[1] # 30.8.a.b
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 30:8 1000