FLINT3.7.0-dev
/

acb_dirichlet_isolate_hardy_z_zero, _acb_dirichlet_isolate_gram_hardy_z_zero, _acb_dirichlet_isolate_rosser_hardy_z_zero, _acb_dirichlet_isolate_turing_hardy_z_zero

Synopsis#include <flint/acb_dirichlet.h>
void acb_dirichlet_isolate_hardy_z_zero(arf_t a, arf_t b, const fmpz_t n)source
void _acb_dirichlet_isolate_gram_hardy_z_zero(arf_t a, arf_t b, const fmpz_t n)source
void _acb_dirichlet_isolate_rosser_hardy_z_zero(arf_t a, arf_t b, const fmpz_t n)source
void _acb_dirichlet_isolate_turing_hardy_z_zero(arf_t a, arf_t b, const fmpz_t n)source

Set (a,b)(a, b) to an interval that contains γn\gamma_n and no other zero of ZZ. The gram version uses Gram's law and requires 1≤n≤1261 \le n \le 126; the rosser version uses Rosser's rule and requires 1≤n≤139995261 \le n \le 13999526; the turing version uses Turing's method and requires n≥2n \ge 2; the default version chooses among them and requires n≥1n \ge 1.

Cite this page

The FLINT team, “acb_dirichlet_isolate_hardy_z_zero, _acb_dirichlet_isolate_gram_hardy_z_zero, _acb_dirichlet_isolate_rosser_hardy_z_zero, _acb_dirichlet_isolate_turing_hardy_z_zero (acb_dirichlet.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/acb_dirichlet/acb_dirichlet_isolate_hardy_z_zero.html (generated 2026-11-02).