FLINT3.7.0-dev

fq_zech_bpoly_hlift2, fq_zech_bpoly_hlift, fq_zech_polyu3_hlift

Synopsis#include <flint/fq_zech_mpoly_factor.h>
int fq_zech_bpoly_hlift2(fq_zech_bpoly_t A, fq_zech_bpoly_t B0, fq_zech_bpoly_t B1, const fq_zech_t alpha, slong degree_inner, const fq_zech_ctx_t ctx)source
int fq_zech_bpoly_hlift(slong r, fq_zech_bpoly_t A, fq_zech_bpoly_struct * B, const fq_zech_t alpha, slong degree_inner, const fq_zech_ctx_t ctx)source
int fq_zech_polyu3_hlift(slong r, fq_zech_polyun_struct * BB, fq_zech_polyu_t A, fq_zech_polyu_struct * B, const fq_zech_t beta, slong degree_inner, const fq_zech_ctx_t ctx)source

Hensel lifting of a factorisation modulo y - \alpha into two or r factors, up to degree degree_inner in y. Return 1 for success.

Cite this page

The FLINT team, “fq_zech_bpoly_hlift2, fq_zech_bpoly_hlift, fq_zech_polyu3_hlift (fq_zech_mpoly_factor.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fq_zech_mpoly_factor/fq_zech_bpoly_hlift2.html (generated 2026-10-20).