Trace form
The 25 newforms in this orbit are conjugate over Q; the sum of their q-expansions is
25q+10q2+22q3+102q4+50q5+38q6+86q7+120q8+275q9+34q10+128q11+141q12+54q13+171q14+286q15+550q16+336q17+130q18+186q19+428q20+188q21+121q22+822q23+588q24+O(q25)
Coefficient field
The coefficients anβ generate a number field of degree 25. It is generated by the eigenvalue Ξ± of T=T2β+T3β, whose minimal polynomial is
x25β32x24β152x23+14307x22β61687x21β2543390x20+20512270x19+232597141x18β2605586242x17β11660950688x16+182086506497x15+303030190564x14β7730590822100x13β2648375596321x12+206307070504203x11β42008689848676x10β3457120130777422x9+822045288476995x8+34951127230743153x7+3412401749523912x6β188924899517238917x5β118757972954840027x4+372306833758587672x3+371847600483054299x2β75288552522086368xβ103745154310658704
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 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.138 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, 193]: [1, 50] (certified at ell = 2147483137)T = [(2, 1), (3, 1)]; h of degree 48 = 1 x 48 (phi(ord eps) x dim S_k^new); 7 primes, 0 rejected
Recompute it yourself
In Sage mode at sagebrush.space (or npx sagebrush --sage):
newform_orbits(193, 4)[1] # 193.4.a.b
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 193:4 1000