FLINT3.7.0-dev

fq_nmod_mpolyn_interp_reduce_sm_poly, fq_nmod_mpolyn_interp_lift_sm_poly, fq_nmod_mpolyn_interp_crt_sm_poly, fq_nmod_mpolyn_interp_lift_sm_bpoly, fq_nmod_mpolyn_interp_crt_sm_bpoly, fq_nmod_mpolyn_interp_reduce_sm_mpolyn, fq_nmod_mpolyn_interp_lift_sm_mpolyn, fq_nmod_mpolyn_interp_crt_sm_mpolyn, fq_nmod_mpolyn_interp_mcrt_sm_mpoly, fq_nmod_mpolyun_interp_reduce_sm_mpolyu, fq_nmod_mpolyn_interp_lift_sm_mpoly, fq_nmod_mpolyun_interp_lift_sm_mpolyu, fq_nmod_mpolyun_interp_crt_sm_mpolyu

Synopsis#include <flint/fq_nmod_mpoly.h>
void fq_nmod_mpolyn_interp_reduce_sm_poly(fq_nmod_poly_t E, const fq_nmod_mpolyn_t A, const fq_nmod_t alpha, const fq_nmod_mpoly_ctx_t ctx)source
void fq_nmod_mpolyn_interp_lift_sm_poly(fq_nmod_mpolyn_t A, const fq_nmod_poly_t B, const fq_nmod_mpoly_ctx_t ctx)source
int fq_nmod_mpolyn_interp_crt_sm_poly(slong * lastdeg_, fq_nmod_mpolyn_t F, fq_nmod_mpolyn_t T, const fq_nmod_poly_t A, const fq_nmod_poly_t modulus, const fq_nmod_t alpha, const fq_nmod_mpoly_ctx_t ctx)source
void fq_nmod_mpolyn_interp_lift_sm_bpoly(fq_nmod_mpolyn_t F, n_fq_bpoly_t A, const fq_nmod_mpoly_ctx_t ctx)source
int fq_nmod_mpolyn_interp_crt_sm_bpoly(slong * lastdeg, fq_nmod_mpolyn_t F, fq_nmod_mpolyn_t T, const n_fq_bpoly_t A, const n_fq_poly_t modulus, n_fq_poly_t alphapow, const fq_nmod_mpoly_ctx_t ctx)source
void fq_nmod_mpolyn_interp_reduce_sm_mpolyn(fq_nmod_mpolyn_t E, fq_nmod_mpolyn_t A, slong var, fq_nmod_t alpha, const fq_nmod_mpoly_ctx_t ctx)source
void fq_nmod_mpolyn_interp_lift_sm_mpolyn(fq_nmod_mpolyn_t A, fq_nmod_mpolyn_t B, slong var, const fq_nmod_mpoly_ctx_t ctx)source
int fq_nmod_mpolyn_interp_crt_sm_mpolyn(slong * lastdeg_, fq_nmod_mpolyn_t F, fq_nmod_mpolyn_t T, fq_nmod_mpolyn_t A, slong var, fq_nmod_poly_t modulus, const fq_nmod_t alpha, const fq_nmod_mpoly_ctx_t ctx)source
int fq_nmod_mpolyn_interp_mcrt_sm_mpoly(slong * lastdeg_, fq_nmod_mpolyn_t F, fq_nmod_mpoly_t A, const n_fq_poly_t modulus, n_fq_poly_t alphapow, const fq_nmod_mpoly_ctx_t ctx)source
void fq_nmod_mpolyun_interp_reduce_sm_mpolyu(fq_nmod_mpolyu_t B, fq_nmod_mpolyun_t A, fq_nmod_t alpha, const fq_nmod_mpoly_ctx_t ctx)source
void fq_nmod_mpolyn_interp_lift_sm_mpoly(fq_nmod_mpolyn_t A, const fq_nmod_mpoly_t B, const fq_nmod_mpoly_ctx_t ctx)source
void fq_nmod_mpolyun_interp_lift_sm_mpolyu(fq_nmod_mpolyun_t A, const fq_nmod_mpolyu_t B, const fq_nmod_mpoly_ctx_t ctx)source
int fq_nmod_mpolyun_interp_crt_sm_mpolyu(slong * lastdeg, fq_nmod_mpolyun_t F, fq_nmod_mpolyun_t T, fq_nmod_mpolyu_t A, fq_nmod_poly_t modulus, fq_nmod_t alpha, const fq_nmod_mpoly_ctx_t ctx)source

Interpolation steps of Brown's and Zippel's algorithms with points \alpha \in \mathbb{F}_q: evaluation of the last variable (reduce), first image (lift) and Chinese remaindering with a new image (crt, returning whether the interpolant changed and updating lastdeg).

Cite this page

The FLINT team, “fq_nmod_mpolyn_interp_reduce_sm_poly, fq_nmod_mpolyn_interp_lift_sm_poly, fq_nmod_mpolyn_interp_crt_sm_poly, fq_nmod_mpolyn_interp_lift_sm_bpoly, fq_nmod_mpolyn_interp_crt_sm_bpoly, fq_nmod_mpolyn_interp_reduce_sm_mpolyn, fq_nmod_mpolyn_interp_lift_sm_mpolyn, fq_nmod_mpolyn_interp_crt_sm_mpolyn, fq_nmod_mpolyn_interp_mcrt_sm_mpoly, fq_nmod_mpolyun_interp_reduce_sm_mpolyu, fq_nmod_mpolyn_interp_lift_sm_mpoly, fq_nmod_mpolyun_interp_lift_sm_mpolyu, fq_nmod_mpolyun_interp_crt_sm_mpolyu (fq_nmod_mpoly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fq_nmod_mpoly/fq_nmod_mpolyn_interp_reduce_sm_poly.html (generated 2026-10-20).