nmod_mpoly_factor_lcc_wang
#include <flint/nmod_mpoly_factor.h>int nmod_mpoly_factor_lcc_wang(nmod_mpoly_struct * lc_divs, const nmod_mpoly_factor_t lcAfac, const n_poly_t Auc, const n_bpoly_struct * Auf, slong r, const n_poly_struct * alpha, const nmod_mpoly_ctx_t ctx)sourceWang's leading coefficient distribution [Wan1978] along a curve: given the factorisation lcAfac of the leading coefficient of A, and the content Auc \in \mathbb{F}_p[Y] and the r factors Auf of the bivariate image of A under the substitution of the polynomials alpha[i] \in \mathbb{F}_p[Y] for the variables other than the main one, sets lc_divs to the true leading coefficients of the factors (up to constants) (Leading coefficients over a finite field). Returns 1 for success and 0 if the curve is unlucky.
References#
- [Wan1978] P. S. Wang. An improved multivariate polynomial factoring algorithm. Mathematics of Computation 32 (1978), 1215–1231. https://doi.org/10.1090/S0025-5718-1978-0568284-3
The FLINT team, “nmod_mpoly_factor_lcc_wang (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_factor_lcc_wang.html (generated 2026-10-20).
@misc{flint-doc-nmod-mpoly-factor-nmod-mpoly-factor-lcc-wang,
author = {{The FLINT team}},
title = {{nmod\_mpoly\_factor\_lcc\_wang (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_factor_lcc_wang.html},
note = {Generated 2026-10-20}
}