Overview Input: a modular form f ∈ S2(Γ1(N)) such that Λf is a lattice in C. We always assume f = P σ cσFσ where F is a newform in S2(Γ1(N)), {Fσ } are the Galois conjugates of f , and cσ ∈ Q. 6