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) to an interval that contains \gamma_n and no other zero of Z. The gram version uses Gram's law and requires 1 \le n \le 126; the rosser version uses Rosser's rule and requires 1 \le n \le 13999526; the turing version uses Turing's method and requires n \ge 2; the default version chooses among them and requires n \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-10-20).