FLINT3.7.0-dev

n_bpoly_mod_interp_reduce_2sm_poly, n_bpoly_mod_interp_lift_2sm_poly, n_bpoly_mod_interp_crt_2sm_poly

Synopsis#include <flint/n_poly.h>
void n_bpoly_mod_interp_reduce_2sm_poly(n_poly_t Ap, n_poly_t Am, const n_bpoly_t A, n_poly_t alphapow, nmod_t mod)source
void n_bpoly_mod_interp_lift_2sm_poly(slong * deg1, n_bpoly_t T, const n_poly_t A, const n_poly_t B, ulong alpha, nmod_t mod)source
int n_bpoly_mod_interp_crt_2sm_poly(slong * deg1, n_bpoly_t F, n_bpoly_t T, n_poly_t A, n_poly_t B, const n_poly_t modulus, n_poly_t alphapow, nmod_t mod)source

Helpers for interpolation in y at pairs of points \pm\alpha: reduce evaluates A at y = \alpha and y = -\alpha (giving Ap, Am); lift sets T to the bivariate polynomial of degree at most 1 in y with these images; crt updates the interpolant F modulo modulus with new images (using T as scratch), returns whether F changed and sets *deg1 to its degree in y.

Cite this page

The FLINT team, “n_bpoly_mod_interp_reduce_2sm_poly, n_bpoly_mod_interp_lift_2sm_poly, n_bpoly_mod_interp_crt_2sm_poly (n_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/n_poly/n_bpoly_mod_interp_reduce_2sm_poly.html (generated 2026-10-20).