FLINT3.7.0-dev

_fmpz_poly_num_real_roots_sturm, fmpz_poly_num_real_roots_sturm

Synopsis#include <flint/fmpz_poly.h>
void _fmpz_poly_num_real_roots_sturm(slong * n_neg, slong * n_pos, const fmpz * pol, slong len)source
slong fmpz_poly_num_real_roots_sturm(const fmpz_poly_t pol)source

Count real roots with a Sturm sequence computed as the subresultant pseudo-remainder sequence (with _fmpz_poly_pseudo_rem_cohen). The underscore version sets the numbers of negative and positive roots and requires a squarefree polynomial of degree at least 2 with nonzero constant coefficient.

Cite this page

The FLINT team, “_fmpz_poly_num_real_roots_sturm, fmpz_poly_num_real_roots_sturm (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_sturm.html (generated 2026-10-20).