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 . 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-11-02).
@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-11-02}
}