Rigorous expansions of modular forms at CM points, I: Denominators

Chris Xu

We describe an algorithm to rigorously compute the power series expansion at a CM point of a weight $2$ cusp form of level coprime to $6$. Our algorithm works by bounding the denom…