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 nn coefficients of f/gf / g modulo pp, reduced into the symmetric range, where ff is the output of fmpz_poly_mulhigh_n applied to gg and a polynomial of length nn (only the top nn coefficients of ff are read). The leading coefficient of gg must be invertible modulo pp, 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-11-02).