_qqbar_validate_existence_uniqueness
Synopsis
#include <flint/qqbar.h>int _qqbar_validate_existence_uniqueness(acb_t res, const fmpz_poly_t poly, const acb_t z, slong max_prec)sourceLike _qqbar_validate_uniqueness, but for an arbitrary ball z: proves that z contains exactly one root of poly (one interval Newton step whose result lies in the interior of z). For a real (or purely imaginary) ball the step is done on the real line (or imaginary axis), which proves that the root lies there.
Cite this page
The FLINT team, “_qqbar_validate_existence_uniqueness (qqbar.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/qqbar/_qqbar_validate_existence_uniqueness.html (generated 2026-10-20).
@misc{flint-doc-qqbar-qqbar-validate-existence-uniqueness,
author = {{The FLINT team}},
title = {{\_qqbar\_validate\_existence\_uniqueness (qqbar.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/qqbar/_qqbar_validate_existence_uniqueness.html},
note = {Generated 2026-10-20}
}