FLINT3.7.0-dev

n_fq_bpoly_hlift2, n_fq_bpoly_hlift2_cubic, n_fq_bpoly_hlift, n_fq_polyu3_hlift

Synopsis#include <flint/fq_nmod_mpoly_factor.h>
int n_fq_bpoly_hlift2(n_bpoly_t A, n_bpoly_t B0, n_bpoly_t B1, const fq_nmod_t alpha, slong degree_inner, const fq_nmod_ctx_t ctx, n_poly_bpoly_stack_t St)source
int n_fq_bpoly_hlift2_cubic(n_fq_bpoly_t A, n_fq_bpoly_t B0, n_fq_bpoly_t B1, const fq_nmod_t alpha_, slong degree_inner, const fq_nmod_ctx_t ctx, nmod_eval_interp_t E, n_poly_bpoly_stack_t St)source
int n_fq_bpoly_hlift(slong r, n_bpoly_t A, n_bpoly_struct * B, const fq_nmod_t alpha, slong degree_inner, const fq_nmod_ctx_t ctx, n_poly_bpoly_stack_t St)source
int n_fq_polyu3_hlift(slong r, n_polyun_struct * BB, n_polyu_t A, n_polyu_struct * B, const fq_nmod_t beta, slong degree_inner, const fq_nmod_ctx_t ctx, n_poly_bpoly_stack_t St)source

Hensel lifting of a factorisation of a bivariate (trivariate for n_fq_polyu3_hlift) polynomial A modulo y - \alpha into two factors B0, B1 or r factors B, up to degree degree_inner in y; the cubic version evaluates and interpolates in the other variable. Return 1 for success.

Cite this page

The FLINT team, “n_fq_bpoly_hlift2, n_fq_bpoly_hlift2_cubic, n_fq_bpoly_hlift, n_fq_polyu3_hlift (fq_nmod_mpoly_factor.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fq_nmod_mpoly_factor/n_fq_bpoly_hlift2.html (generated 2026-10-20).