FLINT3.7.0-dev

nmod_mpolyl_gcd_hensel_smprime, nmod_mpolyl_gcd_hensel_medprime

Synopsis#include <flint/nmod_mpoly.h>
int nmod_mpolyl_gcd_hensel_smprime(nmod_mpoly_t G, slong Gdeg, nmod_mpoly_t Abar, nmod_mpoly_t Bbar, const nmod_mpoly_t A, const nmod_mpoly_t B, const nmod_mpoly_ctx_t ctx)source
int nmod_mpolyl_gcd_hensel_medprime(nmod_mpoly_t G, slong Gdeg, nmod_mpoly_t Abar, nmod_mpoly_t Bbar, const nmod_mpoly_t smA, const nmod_mpoly_t smB, const nmod_mpoly_ctx_t smctx)source

GCD by Hensel lifting of a bivariate image factorisation A = G \bar{A}, B = G \bar{B} (with G of degree Gdeg in the main variable), with evaluation points in \mathbb{F}_p or in an extension \mathbb{F}_{p^k} with p^k < 10^6.

Cite this page

The FLINT team, “nmod_mpolyl_gcd_hensel_smprime, nmod_mpolyl_gcd_hensel_medprime (nmod_mpoly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/nmod_mpoly/nmod_mpolyl_gcd_hensel_smprime.html (generated 2026-10-20).