_fmpz_poly_has_real_root, fmpz_poly_has_real_root
Synopsis
#include <flint/fmpz_poly.h>int fmpz_poly_has_real_root(const fmpz_poly_t pol)sourceReturn whether the squarefree polynomial has a real root. Odd degree, a root at zero, a sign change between 0 and \infty, or an odd number of sign variations of f(x) or f(-x) answer immediately; otherwise the real roots are counted.
Cite this page
The FLINT team, “_fmpz_poly_has_real_root, fmpz_poly_has_real_root (fmpz_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_poly/_fmpz_poly_has_real_root.html (generated 2026-10-20).
@misc{flint-doc-fmpz-poly-fmpz-poly-has-real-root,
author = {{The FLINT team}},
title = {{\_fmpz\_poly\_has\_real\_root, fmpz\_poly\_has\_real\_root (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_has_real_root.html},
note = {Generated 2026-10-20}
}