FLINT3.7.0-dev

_acb_dirichlet_refine_hardy_z_zero_ball

Synopsis#include <flint/acb_dirichlet.h>
void _acb_dirichlet_refine_hardy_z_zero_ball(arb_t res, const arb_t z, slong prec)source

Sets res to the zero of Z in the ball z, which must contain exactly one zero (for example a zero computed by Platt's method), to prec bits: z rounded if it is accurate enough, otherwise the last stage of the refinement above if z is accurate to about half the precision, and the full refinement otherwise.

Cite this page

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