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 and the squarefree factorisation Bevalf of given (with at least two factors). On success there is one factor in 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 if is not primitive (with its content in ). 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-11-02).
@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-11-02}
}