FLINT3.7.0-dev

fq_nmod_mpolyl_gcd_zippel_smprime, fq_nmod_mpolyl_gcd_zippel_lgprime, fq_nmod_mpolyl_gcd_hensel_smprime

Synopsis#include <flint/fq_nmod_mpoly.h>
int fq_nmod_mpolyl_gcd_zippel_smprime(fq_nmod_mpoly_t rG, const slong * rGdegs, fq_nmod_mpoly_t rAbar, fq_nmod_mpoly_t rBbar, const fq_nmod_mpoly_t A, const slong * Adegs, const fq_nmod_mpoly_t B, const slong * Bdegs, const fq_nmod_mpoly_t gamma, const slong * gammadegs, const fq_nmod_mpoly_ctx_t ctx)source
int fq_nmod_mpolyl_gcd_zippel_lgprime(fq_nmod_mpoly_t rG, const slong * rGdegs, fq_nmod_mpoly_t rAbar, fq_nmod_mpoly_t rBbar, const fq_nmod_mpoly_t A, const slong * Adegs, const fq_nmod_mpoly_t B, const slong * Bdegs, const fq_nmod_mpoly_t gamma, const slong * gammadegs, const fq_nmod_mpoly_ctx_t ctx)source
int fq_nmod_mpolyl_gcd_hensel_smprime(fq_nmod_mpoly_t G, slong Gdeg, fq_nmod_mpoly_t Abar, fq_nmod_mpoly_t Bbar, const fq_nmod_mpoly_t A, const fq_nmod_mpoly_t B, const fq_nmod_mpoly_ctx_t ctx)source

Sparse interpolation with two main variables given degree bounds and the leading coefficient of the GCD, over \mathbb{F}_q or over extensions; and the GCD by Hensel lifting over \mathbb{F}_q.

Cite this page

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