fmpz_bpoly_factor_ordered
Synopsis
#include <flint/fmpz_mpoly_factor.h>int fmpz_bpoly_factor_ordered(fmpz_poly_t c, fmpz_tpoly_t F, fmpz_bpoly_t B, const fmpz_t alpha, const fmpz_poly_factor_t Bevalf)sourceAs fmpz_bpoly_factor, with the point \alpha and the squarefree factorisation Bevalf of B(x, \alpha) given (with at least two factors). On success there is one factor in F for each factor of Bevalf, in the same order. Returns 1 on success, 0 if the lifted factors do not correspond one to one with the factors of Bevalf, and -1 if B is not primitive (with its content in c). Used by Kaltofen's leading coefficient method.
Cite this page
The FLINT team, “fmpz_bpoly_factor_ordered (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_bpoly_factor_ordered.html (generated 2026-10-20).
@misc{flint-doc-fmpz-mpoly-factor-fmpz-bpoly-factor-ordered,
author = {{The FLINT team}},
title = {{fmpz\_bpoly\_factor\_ordered (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_bpoly_factor_ordered.html},
note = {Generated 2026-10-20}
}