FLINT3.7.0-dev

_fmpz_poly_hensel_start_lift

Synopsis#include <flint/fmpz_poly.h>
slong _fmpz_poly_hensel_start_lift(fmpz_poly_factor_t lifted_fac, slong * link, fmpz_poly_t * v, fmpz_poly_t * w, const fmpz_poly_t f, const nmod_poly_factor_t local_fac, slong target_exp)source

Builds the Hensel tree for the r≥2r \ge 2 local factors in local_fac of ff (with the conditions of fmpz_poly_hensel_lift_once) and lifts them to precision pNp^N with NN = target_exp ≥1\ge 1, storing the lifted factors in lifted_fac in the original order. link, v and w must be arrays of 2r−22r - 2 entries (initialised polynomials for v, w), which hold the tree on return so that the lift can be continued. Returns the exponent ee to which the cofactors are known, to be passed as prev to _fmpz_poly_hensel_continue_lift.

Cite this page

The FLINT team, “_fmpz_poly_hensel_start_lift (fmpz_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_poly/_fmpz_poly_hensel_start_lift.html (generated 2026-11-02).