FLINT3.7.0-dev

fmpz_mod_bpoly_hlift2, fmpz_mod_bpoly_hlift, fmpz_mod_polyu3_hlift

Synopsis#include <flint/fmpz_mod_mpoly_factor.h>
int fmpz_mod_bpoly_hlift2(fmpz_mod_bpoly_t A, fmpz_mod_bpoly_t B0, fmpz_mod_bpoly_t B1, const fmpz_t alpha, slong degree_inner, const fmpz_mod_ctx_t ctx, fmpz_mod_poly_bpoly_stack_t St)source
int fmpz_mod_bpoly_hlift(slong r, fmpz_mod_bpoly_t A, fmpz_mod_bpoly_struct * B, const fmpz_t alpha, slong degree_inner, const fmpz_mod_ctx_t ctx, fmpz_mod_poly_bpoly_stack_t St)source
int fmpz_mod_polyu3_hlift(slong r, fmpz_mod_polyun_struct * BB, fmpz_mod_polyu_t A, fmpz_mod_polyu_struct * B, const fmpz_t beta, slong degree_inner, const fmpz_mod_ctx_t ctx)source

Bivariate (and trivariate) Hensel lifting of two or r factors modulo powers of y - \alpha, as the n_bpoly_mod versions in nmod_mpoly_factor.

Cite this page

The FLINT team, “fmpz_mod_bpoly_hlift2, fmpz_mod_bpoly_hlift, fmpz_mod_polyu3_hlift (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_bpoly_hlift2.html (generated 2026-10-20).