nmod_mpoly_hlift, nmod_mpoly_hlift_zippel
Synopsis
#include <flint/nmod_mpoly_factor.h>int nmod_mpoly_hlift(slong m, nmod_mpoly_struct * f, slong r, const ulong * alpha, const nmod_mpoly_t A, const slong * degs, const nmod_mpoly_ctx_t ctx)sourceint nmod_mpoly_hlift_zippel(slong m, nmod_mpoly_struct * B, slong r, const ulong * alpha, const nmod_mpoly_t A, const slong * degs, const nmod_mpoly_ctx_t ctx, flint_rand_t state)sourceGiven factors f[0], ..., f[r-1] with A = \prod_i f_i modulo x_m - \alpha_{m-1} and degree bounds degs, lift them to a factorisation of A in the variables x_0, \ldots, x_m: by dense Hensel lifting, or by sparse interpolation of the lifted coefficients. Return 1 for success.
Cite this page
The FLINT team, “nmod_mpoly_hlift, nmod_mpoly_hlift_zippel (nmod_mpoly_factor.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/nmod_mpoly_factor/nmod_mpoly_hlift.html (generated 2026-10-20).
@misc{flint-doc-nmod-mpoly-factor-nmod-mpoly-hlift,
author = {{The FLINT team}},
title = {{nmod\_mpoly\_hlift, nmod\_mpoly\_hlift\_zippel (nmod\_mpoly\_factor.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/nmod_mpoly_factor/nmod_mpoly_hlift.html},
note = {Generated 2026-10-20}
}