_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)sourceBuilds the Hensel tree for the r \ge 2 local factors in local_fac of f (with the conditions of fmpz_poly_hensel_lift_once) and lifts them to precision p^N with N = target_exp \ge 1, storing the lifted factors in lifted_fac in the original order. link, v and w must be arrays of 2r - 2 entries (initialised polynomials for v, w), which hold the tree on return so that the lift can be continued. Returns the exponent e 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-10-20).
@misc{flint-doc-fmpz-poly-fmpz-poly-hensel-start-lift,
author = {{The FLINT team}},
title = {{\_fmpz\_poly\_hensel\_start\_lift (fmpz\_poly.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_poly/_fmpz_poly_hensel_start_lift.html},
note = {Generated 2026-10-20}
}