FLINT3.7.0-dev
/

nmod_mpolyn_interp_reduce_lg_poly, nmod_mpolyn_interp_lift_lg_poly, nmod_mpolyn_interp_crt_lg_poly, nmod_mpolyn_interp_lift_lg_bpoly, nmod_mpolyn_interp_crt_lg_bpoly, nmod_mpolyn_interp_reduce_lg_mpolyn, nmod_mpolyn_interp_lift_lg_mpolyn, nmod_mpolyn_interp_crt_lg_mpolyn, nmod_mpolyn_interp_reduce_lg_mpoly, nmod_mpolyun_interp_reduce_lg_mpolyu, nmod_mpolyn_interp_lift_lg_mpoly, nmod_mpolyun_interp_lift_lg_mpolyu, nmod_mpolyun_interp_crt_lg_mpolyu, nmod_mpolyn_interp_mcrt_lg_mpoly, nmod_mpolyun_interp_mcrt_lg_mpolyu

Synopsis#include <flint/fq_nmod_mpoly.h>
void nmod_mpolyn_interp_reduce_lg_poly(fq_nmod_poly_t E, const fq_nmod_ctx_t fqctx, const nmod_mpolyn_t A, const nmod_mpoly_ctx_t ctx)source
void nmod_mpolyn_interp_lift_lg_poly(slong * lastdeg_, nmod_mpolyn_t A, const nmod_mpoly_ctx_t ctx, const fq_nmod_poly_t B, const fq_nmod_ctx_t fqctx)source
int nmod_mpolyn_interp_crt_lg_poly(slong * lastdeg_, nmod_mpolyn_t F, nmod_mpolyn_t T, n_poly_t modulus, const nmod_mpoly_ctx_t ctx, fq_nmod_poly_t A, const fq_nmod_ctx_t fqctx)source
void nmod_mpolyn_interp_lift_lg_bpoly(slong * lastdeg_, nmod_mpolyn_t F, const nmod_mpoly_ctx_t smctx, n_fq_bpoly_t A, const fq_nmod_mpoly_ctx_t lgctx)source
int nmod_mpolyn_interp_crt_lg_bpoly(slong * lastdeg, nmod_mpolyn_t F, nmod_mpolyn_t T, n_fq_poly_t modulus, const nmod_mpoly_ctx_t smctx, n_fq_bpoly_t A, const fq_nmod_mpoly_ctx_t lgctx)source
void nmod_mpolyn_interp_reduce_lg_mpolyn(fq_nmod_mpolyn_t E, fq_nmod_mpoly_ctx_t ectx, nmod_mpolyn_t A, slong var, const nmod_mpoly_ctx_t ctx)source
void nmod_mpolyn_interp_lift_lg_mpolyn(slong * lastdeg, nmod_mpolyn_t A, slong var, const nmod_mpoly_ctx_t ctx, fq_nmod_mpolyn_t B, const fq_nmod_mpoly_ctx_t ectx)source
int nmod_mpolyn_interp_crt_lg_mpolyn(slong * lastdeg_, nmod_mpolyn_t F, nmod_mpolyn_t T, n_poly_t modulus, slong var, const nmod_mpoly_ctx_t ctx, fq_nmod_mpolyn_t A, const fq_nmod_mpoly_ctx_t ectx)source
void nmod_mpolyn_interp_reduce_lg_mpoly(fq_nmod_mpoly_t A, nmod_mpolyn_t B, const fq_nmod_mpoly_ctx_t ffctx, const nmod_mpoly_ctx_t ctx)source
void nmod_mpolyun_interp_reduce_lg_mpolyu(fq_nmod_mpolyu_t A, nmod_mpolyun_t B, const fq_nmod_mpoly_ctx_t ffctx, const nmod_mpoly_ctx_t ctx)source
void nmod_mpolyn_interp_lift_lg_mpoly(nmod_mpolyn_t A, const nmod_mpoly_ctx_t ctx, fq_nmod_mpoly_t Ap, const fq_nmod_mpoly_ctx_t ctxp)source
void nmod_mpolyun_interp_lift_lg_mpolyu(nmod_mpolyun_t A, const nmod_mpoly_ctx_t ctx, fq_nmod_mpolyu_t Ap, const fq_nmod_mpoly_ctx_t ctxp)source
int nmod_mpolyun_interp_crt_lg_mpolyu(slong * lastdeg, nmod_mpolyun_t F, nmod_mpolyun_t T, n_poly_t m, const nmod_mpoly_ctx_t ctx, fq_nmod_mpolyu_t A, const fq_nmod_mpoly_ctx_t ffctx)source
int nmod_mpolyn_interp_mcrt_lg_mpoly(slong * lastdeg_, nmod_mpolyn_t H, const nmod_mpoly_ctx_t smctx, const n_poly_t m, const ulong * inv_m_eval, fq_nmod_mpoly_t A, const fq_nmod_mpoly_ctx_t lgctx)source
int nmod_mpolyun_interp_mcrt_lg_mpolyu(slong * lastdeg, nmod_mpolyun_t H, const nmod_mpoly_ctx_t ctx, n_poly_t m, fq_nmod_mpolyu_t A, const fq_nmod_mpoly_ctx_t ctxp)source

The lgprime interpolation steps of the nmod_mpoly GCD algorithms (declared here because they use fq_nmod_mpoly): a polynomial over \mathbb{F}_p is reduced modulo an irreducible polynomial m in its last variable, giving a polynomial over \mathbb{F}_p[x]/(m) \cong \mathbb{F}_{p^{\deg m}} in the context ectx (or ffctx), and images are combined by Chinese remaindering in \mathbb{F}_p[x].

Cite this page

The FLINT team, “nmod_mpolyn_interp_reduce_lg_poly, nmod_mpolyn_interp_lift_lg_poly, nmod_mpolyn_interp_crt_lg_poly, nmod_mpolyn_interp_lift_lg_bpoly, nmod_mpolyn_interp_crt_lg_bpoly, nmod_mpolyn_interp_reduce_lg_mpolyn, nmod_mpolyn_interp_lift_lg_mpolyn, nmod_mpolyn_interp_crt_lg_mpolyn, nmod_mpolyn_interp_reduce_lg_mpoly, nmod_mpolyun_interp_reduce_lg_mpolyu, nmod_mpolyn_interp_lift_lg_mpoly, nmod_mpolyun_interp_lift_lg_mpolyu, nmod_mpolyun_interp_crt_lg_mpolyu, nmod_mpolyn_interp_mcrt_lg_mpoly, nmod_mpolyun_interp_mcrt_lg_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/nmod_mpolyn_interp_reduce_lg_poly.html (generated 2026-10-20).