fmpz_mpoly_factor_lcc_kaltofen
#include <flint/fmpz_mpoly_factor.h>int fmpz_mpoly_factor_lcc_kaltofen(fmpz_mpoly_struct * divs, const fmpz_mpoly_factor_t lcAf_, const fmpz_mpoly_t A, slong r, const fmpz * alpha, slong * degs, const fmpz_poly_factor_t uf, const fmpz_mpoly_ctx_t ctx)sourceKaltofen's leading coefficient determination [Kal1985]. For each variable x_v, v \ge 1, the bivariate image of A in x_0, x_v (all other variables evaluated at \alpha) is factored with fmpz_bpoly_factor_ordered in the order of the univariate factors uf, and the leading coefficients of its factors show how the squarefree factors lcAf_ of the leading coefficient of A involving x_v are distributed; these are multiplied into divs. Returns 1 if the whole leading coefficient has been distributed, 0 if only part of it was, and -1 if the evaluation point is unusable.
References#
- [Kal1985] E. Kaltofen. Sparse Hensel lifting. EUROCAL '85, Lecture Notes in Computer Science 204, Springer, 1985, 4–17. https://doi.org/10.1007/3-540-15984-3_230
The FLINT team, “fmpz_mpoly_factor_lcc_kaltofen (fmpz_mpoly_factor.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_mpoly_factor/fmpz_mpoly_factor_lcc_kaltofen.html (generated 2026-10-20).
@misc{flint-doc-fmpz-mpoly-factor-fmpz-mpoly-factor-lcc-kaltofen,
author = {{The FLINT team}},
title = {{fmpz\_mpoly\_factor\_lcc\_kaltofen (fmpz\_mpoly\_factor.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_mpoly_factor/fmpz_mpoly_factor_lcc_kaltofen.html},
note = {Generated 2026-10-20}
}