fmpz_mod_bpoly_factor_smprime
Synopsis
#include <flint/fmpz_mod_mpoly_factor.h>int fmpz_mod_bpoly_factor_smprime(fmpz_mod_poly_t c, fmpz_mod_tpoly_t F, fmpz_mod_bpoly_t B, int allow_shift, const fmpz_mod_ctx_t ctx)sourceFactors the bivariate B, separable in the main variable: sets c to its content and F to its irreducible factors, by evaluation of the inner variable at a point of \mathbb{F}_p (only 0 unless allow_shift), Hensel lifting and recombination by linear algebra [Lec2006]. Returns 0 if no suitable point is found.
References#
- [Lec2006] G. Lecerf. Sharp precision in Hensel lifting for bivariate polynomial factorization. Mathematics of Computation 75 (2006), 921–933.
Cite this page
The FLINT team, “fmpz_mod_bpoly_factor_smprime (fmpz_mod_mpoly_factor.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_mod_mpoly_factor/fmpz_mod_bpoly_factor_smprime.html (generated 2026-10-20).
@misc{flint-doc-fmpz-mod-mpoly-factor-fmpz-mod-bpoly-factor-smprime,
author = {{The FLINT team}},
title = {{fmpz\_mod\_bpoly\_factor\_smprime (fmpz\_mod\_mpoly\_factor.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fmpz_mod_mpoly_factor/fmpz_mod_bpoly_factor_smprime.html},
note = {Generated 2026-10-20}
}