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-11-02).

@misc{flint-doc-fq-nmod-mpoly-fq-nmod-mpolyn-interp-reduce-lg-poly,
  author       = {{The FLINT team}},
  title        = {{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)}},
  howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
  year         = {2026},
  url          = {https://flintlib.org/doc/fq_nmod_mpoly/fq_nmod_mpolyn_interp_reduce_lg_poly.html},
  note         = {Generated 2026-11-02}
}

Edit this page · PDF version · Built with fdoc from 0a4634bf95