FLINT3.7.0-dev

fmpz_poly_divhigh_smodp

Synopsis#include <flint/fmpz_poly.h>
void fmpz_poly_divhigh_smodp(fmpz * res, const fmpz_poly_t f, const fmpz_poly_t g, const fmpz_t p, slong n)source

Sets (res, n) to the high n coefficients of f / g modulo p, reduced into the symmetric range, where f is the output of fmpz_poly_mulhigh_n applied to g and a polynomial of length n (only the top n coefficients of f are read). The leading coefficient of g must be invertible modulo p, which is not checked. Used by _fmpz_poly_factor_CLD_mat.

Cite this page

The FLINT team, “fmpz_poly_divhigh_smodp (fmpz_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_poly/fmpz_poly_divhigh_smodp.html (generated 2026-10-20).