fmpz_poly_num_real_roots_upper_bound
Synopsis
#include <flint/fmpz_poly.h>slong fmpz_poly_num_real_roots_upper_bound(const fmpz_poly_t pol)sourceReturns an upper bound for the number of real roots of pol, counted with multiplicity: the multiplicity of the root at zero plus the Descartes bounds for the positive and the negative roots, each computed after scaling the roots into (0, 1). The polynomial need not be squarefree. A zero polynomial raises an exception.
Cite this page
The FLINT team, “fmpz_poly_num_real_roots_upper_bound (fmpz_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_poly/fmpz_poly_num_real_roots_upper_bound.html (generated 2026-10-20).
@misc{flint-doc-fmpz-poly-fmpz-poly-num-real-roots-upper-bound,
author = {{The FLINT team}},
title = {{fmpz\_poly\_num\_real\_roots\_upper\_bound (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_num_real_roots_upper_bound.html},
note = {Generated 2026-10-20}
}