FLINT3.7.0-dev

fmpz_mpoly_interp_reduce_p, fmpz_mpoly_interp_lift_p

Synopsis#include <flint/fmpz_mpoly_factor.h>
void fmpz_mpoly_interp_reduce_p(nmod_mpoly_t Ap, const nmod_mpoly_ctx_t ctxp, const fmpz_mpoly_t A, const fmpz_mpoly_ctx_t ctx)source
void fmpz_mpoly_interp_lift_p(fmpz_mpoly_t A, const fmpz_mpoly_ctx_t ctx, nmod_mpoly_t Ap, const nmod_mpoly_ctx_t ctxp)source

Set A_p = A \bmod p, and A to the lift of A_p with coefficients in the symmetric range (-p/2, p/2]. Both contexts have the same variables and the polynomials are packed with the same number of bits.

Cite this page

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