FLINT3.7.0-dev

acb_modular_is_in_fundamental_domain

Synopsis#include <flint/acb_modular.h>
int acb_modular_is_in_fundamental_domain(const acb_t z, const arf_t tol, slong prec)source

Returns nonzero if it is certain that |\operatorname{Re}(z)| \le 1/2 + \varepsilon and |z| \ge 1 - \varepsilon, where \varepsilon is tol, and zero if this is false or cannot be decided.

Cite this page

The FLINT team, “acb_modular_is_in_fundamental_domain (acb_modular.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/acb_modular/acb_modular_is_in_fundamental_domain.html (generated 2026-10-20).