_qqbar_validate_uniqueness
Synopsis
#include <flint/qqbar.h>int _qqbar_validate_uniqueness(acb_t res, const fmpz_poly_t poly, const acb_t z, slong max_prec)sourceGiven a ball z known to contain at least one root of poly, tries to prove that it contains exactly one, by one step of the interval Newton method on a slightly enlarged ball. On success sets res to the resulting (possibly smaller) enclosure of the root and returns 1; otherwise returns 0. The working precision is chosen from the accuracy of z, up to max_prec bits (a value of 0 selects it automatically). Uniqueness on the enlarged ball implies uniqueness on z but not existence, which must be known beforehand.
Cite this page
The FLINT team, “_qqbar_validate_uniqueness (qqbar.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/qqbar/_qqbar_validate_uniqueness.html (generated 2026-10-20).
@misc{flint-doc-qqbar-qqbar-validate-uniqueness,
author = {{The FLINT team}},
title = {{\_qqbar\_validate\_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_uniqueness.html},
note = {Generated 2026-10-20}
}