FLINT3.7.0-dev

fmpz_mod_polyu1n_interp_reduce_2sm_poly, fmpz_mod_polyu1n_interp_lift_2sm_poly, fmpz_mod_polyu1n_interp_crt_2sm_poly, fmpz_mod_mpolyn_interp_reduce_sm_poly, fmpz_mod_mpolyn_interp_lift_sm_poly, fmpz_mod_mpolyn_interp_crt_sm_poly, fmpz_mod_mpolyn_interp_reduce_2sm_mpolyn, fmpz_mod_mpolyn_interp_lift_2sm_mpolyn, fmpz_mod_mpolyn_interp_crt_2sm_mpolyn, fmpz_mod_mpolyn_interp_lift_sm_mpoly, fmpz_mod_mpolyn_interp_crt_sm_mpoly, fmpz_mod_mpolyn_interp_mcrt_sm_mpoly

Synopsis#include <flint/fmpz_mod_mpoly_factor.h>
void fmpz_mod_polyu1n_interp_reduce_2sm_poly(fmpz_mod_poly_t E, fmpz_mod_poly_t F, const fmpz_mod_polyun_t A, fmpz_mod_poly_t alphapow, const fmpz_mod_ctx_t ctx)source
void fmpz_mod_polyu1n_interp_lift_2sm_poly(slong * lastdeg, fmpz_mod_polyun_t F, const fmpz_mod_poly_t A, const fmpz_mod_poly_t B, const fmpz_t alpha, const fmpz_mod_ctx_t ctx)source
int fmpz_mod_polyu1n_interp_crt_2sm_poly(slong * lastdeg, fmpz_mod_polyun_t F, fmpz_mod_polyun_t T, const fmpz_mod_poly_t A, const fmpz_mod_poly_t B, const fmpz_mod_poly_t modulus, fmpz_mod_poly_t alphapow, const fmpz_mod_ctx_t ctx)source
void fmpz_mod_mpolyn_interp_reduce_sm_poly(fmpz_mod_poly_t E, const fmpz_mod_mpolyn_t A, const fmpz_t alpha, const fmpz_mod_mpoly_ctx_t ctx)source
void fmpz_mod_mpolyn_interp_lift_sm_poly(fmpz_mod_mpolyn_t A, const fmpz_mod_poly_t B, const fmpz_mod_mpoly_ctx_t ctx)source
int fmpz_mod_mpolyn_interp_crt_sm_poly(slong * lastdeg_, fmpz_mod_mpolyn_t F, fmpz_mod_mpolyn_t T, const fmpz_mod_poly_t A, const fmpz_mod_poly_t modulus, const fmpz_t alpha, const fmpz_mod_mpoly_ctx_t ctx)source
void fmpz_mod_mpolyn_interp_reduce_2sm_mpolyn(fmpz_mod_mpolyn_t E, fmpz_mod_mpolyn_t F, fmpz_mod_mpolyn_t A, slong var, fmpz_mod_poly_t alphapow, const fmpz_mod_mpoly_ctx_t ctx)source
void fmpz_mod_mpolyn_interp_lift_2sm_mpolyn(slong * lastdeg, fmpz_mod_mpolyn_t T, fmpz_mod_mpolyn_t A, fmpz_mod_mpolyn_t B, slong var, const fmpz_t alpha, const fmpz_mod_mpoly_ctx_t ctx)source
int fmpz_mod_mpolyn_interp_crt_2sm_mpolyn(slong * lastdeg, fmpz_mod_mpolyn_t F, fmpz_mod_mpolyn_t T, fmpz_mod_mpolyn_t A, fmpz_mod_mpolyn_t B, slong var, fmpz_mod_poly_t modulus, fmpz_mod_poly_t alphapow, const fmpz_mod_mpoly_ctx_t ctx)source
void fmpz_mod_mpolyn_interp_lift_sm_mpoly(fmpz_mod_mpolyn_t A, const fmpz_mod_mpoly_t B, const fmpz_mod_mpoly_ctx_t ctx)source
int fmpz_mod_mpolyn_interp_crt_sm_mpoly(slong * lastdeg, fmpz_mod_mpolyn_t F, fmpz_mod_mpolyn_t T, fmpz_mod_mpoly_t A, fmpz_mod_poly_t modulus, fmpz_mod_poly_t alphapow, const fmpz_mod_mpoly_ctx_t ctx)source
int fmpz_mod_mpolyn_interp_mcrt_sm_mpoly(slong * lastdeg, fmpz_mod_mpolyn_t F, const fmpz_mod_mpoly_t A, const fmpz_mod_poly_t modulus, fmpz_mod_poly_t alphapow, const fmpz_mod_mpoly_ctx_t ctx)source

The evaluation (reduce, at \alpha or at \pm\alpha), first-image (lift) and Chinese remaindering (crt) steps of Brown's algorithm, as for nmod_mpoly; the crt functions return whether the interpolant changed and update lastdeg.

Cite this page

The FLINT team, “fmpz_mod_polyu1n_interp_reduce_2sm_poly, fmpz_mod_polyu1n_interp_lift_2sm_poly, fmpz_mod_polyu1n_interp_crt_2sm_poly, fmpz_mod_mpolyn_interp_reduce_sm_poly, fmpz_mod_mpolyn_interp_lift_sm_poly, fmpz_mod_mpolyn_interp_crt_sm_poly, fmpz_mod_mpolyn_interp_reduce_2sm_mpolyn, fmpz_mod_mpolyn_interp_lift_2sm_mpolyn, fmpz_mod_mpolyn_interp_crt_2sm_mpolyn, fmpz_mod_mpolyn_interp_lift_sm_mpoly, fmpz_mod_mpolyn_interp_crt_sm_mpoly, fmpz_mod_mpolyn_interp_mcrt_sm_mpoly (fmpz_mod_mpoly_factor.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_mod_mpoly_factor/fmpz_mod_polyu1n_interp_reduce_2sm_poly.html (generated 2026-10-20).