FLINT3.7.0-dev
/

fq_nmod_mpolyn_interp_reduce_lg_poly, fq_nmod_mpolyn_interp_lift_lg_poly, fq_nmod_mpolyn_interp_crt_lg_poly, fq_nmod_mpolyn_interp_lift_lg_bpoly, fq_nmod_mpolyn_interp_crt_lg_bpoly, fq_nmod_mpolyn_interp_reduce_lg_mpolyn, fq_nmod_mpolyn_interp_lift_lg_mpolyn, fq_nmod_mpolyn_interp_crt_lg_mpolyn, fq_nmod_mpolyn_interp_reduce_lg_mpoly, fq_nmod_mpolyun_interp_reduce_lg_mpolyu, fq_nmod_mpolyn_interp_lift_lg_mpoly, fq_nmod_mpolyun_interp_lift_lg_mpolyu, fq_nmod_mpolyun_interp_crt_lg_mpolyu, fq_nmod_mpolyun_interp_mcrt_lg_mpolyu

Synopsis#include <flint/fq_nmod_mpoly.h>
void fq_nmod_mpolyn_interp_reduce_lg_poly(fq_nmod_poly_t E, const fq_nmod_mpoly_ctx_t ectx, fq_nmod_mpolyn_t A, const fq_nmod_mpoly_ctx_t ctx, const bad_fq_nmod_embed_t emb)source
void fq_nmod_mpolyn_interp_lift_lg_poly(slong * lastdeg_, fq_nmod_mpolyn_t A, const fq_nmod_mpoly_ctx_t ctx, fq_nmod_poly_t B, const fq_nmod_mpoly_ctx_t ectx, const bad_fq_nmod_embed_t emb)source
int fq_nmod_mpolyn_interp_crt_lg_poly(slong * lastdeg_, fq_nmod_mpolyn_t F, fq_nmod_mpolyn_t T, fq_nmod_poly_t modulus, const fq_nmod_mpoly_ctx_t ctx, fq_nmod_poly_t A, const fq_nmod_mpoly_ctx_t ectx, const bad_fq_nmod_embed_t emb)source
void fq_nmod_mpolyn_interp_lift_lg_bpoly(slong * lastdeg_, fq_nmod_mpolyn_t F, const fq_nmod_mpoly_ctx_t smctx, n_fq_bpoly_t A, const fq_nmod_mpoly_ctx_t lgctx, const bad_fq_nmod_embed_t emb)source
int fq_nmod_mpolyn_interp_crt_lg_bpoly(slong * lastdeg, fq_nmod_mpolyn_t F, fq_nmod_mpolyn_t T, n_fq_poly_t modulus, const fq_nmod_mpoly_ctx_t smctx, n_fq_bpoly_t A, const fq_nmod_mpoly_ctx_t lgctx, const bad_fq_nmod_embed_t emb)source
void fq_nmod_mpolyn_interp_reduce_lg_mpolyn(fq_nmod_mpolyn_t E, const fq_nmod_mpoly_ctx_t ectx, fq_nmod_mpolyn_t A, slong var, const fq_nmod_mpoly_ctx_t ctx, const bad_fq_nmod_embed_t emb)source
void fq_nmod_mpolyn_interp_lift_lg_mpolyn(slong * lastdeg_, fq_nmod_mpolyn_t A, slong var, const fq_nmod_mpoly_ctx_t ctx, fq_nmod_mpolyn_t B, const fq_nmod_mpoly_ctx_t ectx, const bad_fq_nmod_embed_t emb)source
int fq_nmod_mpolyn_interp_crt_lg_mpolyn(slong * lastdeg_, fq_nmod_mpolyn_t F, fq_nmod_mpolyn_t T, fq_nmod_poly_t modulus, slong var, const fq_nmod_mpoly_ctx_t ctx, fq_nmod_mpolyn_t A, const fq_nmod_mpoly_ctx_t ectx, const bad_fq_nmod_embed_t emb)source
void fq_nmod_mpolyn_interp_reduce_lg_mpoly(fq_nmod_mpoly_t A, fq_nmod_mpolyn_t B, const fq_nmod_mpoly_ctx_t ectx, const fq_nmod_mpoly_ctx_t ctx, const bad_fq_nmod_embed_t emb)source
void fq_nmod_mpolyun_interp_reduce_lg_mpolyu(fq_nmod_mpolyu_t A, fq_nmod_mpolyun_t B, const fq_nmod_mpoly_ctx_t ectx, const fq_nmod_mpoly_ctx_t ctx, const bad_fq_nmod_embed_t emb)source
void fq_nmod_mpolyn_interp_lift_lg_mpoly(fq_nmod_mpolyn_t A, const fq_nmod_mpoly_ctx_t ctx, fq_nmod_mpoly_t B, const fq_nmod_mpoly_ctx_t ectx, const bad_fq_nmod_embed_t emb)source
void fq_nmod_mpolyun_interp_lift_lg_mpolyu(fq_nmod_mpolyun_t A, const fq_nmod_mpoly_ctx_t ctx, fq_nmod_mpolyu_t B, const fq_nmod_mpoly_ctx_t ectx, const bad_fq_nmod_embed_t emb)source
int fq_nmod_mpolyun_interp_crt_lg_mpolyu(slong * lastdeg, fq_nmod_mpolyun_t F, fq_nmod_mpolyun_t T, fq_nmod_poly_t m, const fq_nmod_mpoly_ctx_t ctx, fq_nmod_mpolyu_t A, const fq_nmod_mpoly_ctx_t ectx, const bad_fq_nmod_embed_t emb)source
int fq_nmod_mpolyun_interp_mcrt_lg_mpolyu(slong * lastdeg, fq_nmod_mpolyun_t H, const fq_nmod_mpoly_ctx_t ctx, fq_nmod_poly_t m, fq_nmod_mpolyu_t A, const fq_nmod_mpoly_ctx_t ectx, bad_fq_nmod_embed_t emb)source

The same steps for images over an extension \mathbb{F}_{q^n} (context ectx) obtained with the embedding emb: reduction modulo the irreducible polynomial h in the last variable, lifting of an image, and Chinese remaindering in \mathbb{F}_q[x] with the product modulus of the polynomials used so far.

Cite this page

The FLINT team, “fq_nmod_mpolyn_interp_reduce_lg_poly, fq_nmod_mpolyn_interp_lift_lg_poly, fq_nmod_mpolyn_interp_crt_lg_poly, fq_nmod_mpolyn_interp_lift_lg_bpoly, fq_nmod_mpolyn_interp_crt_lg_bpoly, fq_nmod_mpolyn_interp_reduce_lg_mpolyn, fq_nmod_mpolyn_interp_lift_lg_mpolyn, fq_nmod_mpolyn_interp_crt_lg_mpolyn, fq_nmod_mpolyn_interp_reduce_lg_mpoly, fq_nmod_mpolyun_interp_reduce_lg_mpolyu, fq_nmod_mpolyn_interp_lift_lg_mpoly, fq_nmod_mpolyun_interp_lift_lg_mpolyu, fq_nmod_mpolyun_interp_crt_lg_mpolyu, fq_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/fq_nmod_mpolyn_interp_reduce_lg_poly.html (generated 2026-10-20).