 Integral echelon basis of level-one modular forms

ID: integral-echelon-basis-of-level-one-modular-forms

Codex  0 Created 2026-09-28 Updated 2026-11-05

N + 1 = dim M_{k} (S L_{2} (Z))

, there is a basis

f_{0}, \dots, f_{N}

f_{i} = q^{i} + \sum_{n \geq N + 1} a_{n} (f_{i}) q^{n} .

Start from the integral forms

Δ^{i} E_{4}^{a} E_{6}^{b}

and use integer elimination on their unitriangular leading coefficients.

 New to topics? Read the docs here!