_fmpz_poly_isolate_real_roots_0_1_vca
Synopsis
#include <flint/fmpz_poly.h>void _fmpz_poly_isolate_real_roots_0_1_vca(fmpq * exact_roots, slong * n_exact_roots, fmpz * c_array, slong * k_array, slong * n_intervals, const fmpz * pol, slong len)sourceIsolates the roots of (pol, len) in the open interval (0, 1) with the Vincent–Collins–Akritas bisection algorithm. Roots found exactly (dyadic numbers) are appended to exact_roots, incrementing *n_exact_roots; every other root is enclosed in an interval (c\,2^k, (c + 1) 2^k) containing exactly one root, appended as c = c_array[i] and k = k_array[i], incrementing *n_intervals. If exact_roots, respectively c_array or k_array, is NULL, only the counters are updated.
Cite this page
The FLINT team, “_fmpz_poly_isolate_real_roots_0_1_vca (fmpz_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_poly/_fmpz_poly_isolate_real_roots_0_1_vca.html (generated 2026-10-20).
@misc{flint-doc-fmpz-poly-fmpz-poly-isolate-real-roots-0-1-vca,
author = {{The FLINT team}},
title = {{\_fmpz\_poly\_isolate\_real\_roots\_0\_1\_vca (fmpz\_poly.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_poly/_fmpz_poly_isolate_real_roots_0_1_vca.html},
note = {Generated 2026-10-20}
}