fq_zech_bpoly_factor_smprime
Synopsis
#include <flint/fq_zech_mpoly_factor.h>int fq_zech_bpoly_factor_smprime(fq_zech_poly_t c, fq_zech_tpoly_t F, fq_zech_bpoly_t B, int allow_shift, const fq_zech_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}_q (only 0 unless allow_shift), Hensel lifting and recombination by linear algebra [Lec2006]. Returns 0 if no suitable point exists.
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, “fq_zech_bpoly_factor_smprime (fq_zech_mpoly_factor.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fq_zech_mpoly_factor/fq_zech_bpoly_factor_smprime.html (generated 2026-10-20).
@misc{flint-doc-fq-zech-mpoly-factor-fq-zech-bpoly-factor-smprime,
author = {{The FLINT team}},
title = {{fq\_zech\_bpoly\_factor\_smprime (fq\_zech\_mpoly\_factor.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fq_zech_mpoly_factor/fq_zech_bpoly_factor_smprime.html},
note = {Generated 2026-10-20}
}