FLINT3.7.0-dev

_fmpz_mod_poly_gcd_euclidean_f, fmpz_mod_poly_gcd_euclidean_f, _fmpz_mod_poly_gcd_f, fmpz_mod_poly_gcd_f

Synopsis#include <flint/fmpz_mod_poly.h>
slong _fmpz_mod_poly_gcd_euclidean_f(fmpz_t f, fmpz * G, const fmpz * A, slong lenA, const fmpz * B, slong lenB, const fmpz_mod_ctx_t ctx)source
void fmpz_mod_poly_gcd_euclidean_f(fmpz_t f, fmpz_mod_poly_t G, const fmpz_mod_poly_t A, const fmpz_mod_poly_t B, const fmpz_mod_ctx_t ctx)source
slong _fmpz_mod_poly_gcd_f(fmpz_t f, fmpz * G, const fmpz * A, slong lenA, const fmpz * B, slong lenB, const fmpz_mod_ctx_t ctx)source
void fmpz_mod_poly_gcd_f(fmpz_t f, fmpz_mod_poly_t G, const fmpz_mod_poly_t A, const fmpz_mod_poly_t B, const fmpz_mod_ctx_t ctx)source

GCD for a possibly composite modulus by the Euclidean algorithm: either sets f = 1 and computes G as in fmpz_mod_poly_gcd (the underscore versions returning its length), or sets f to a nontrivial factor of n met as a non-invertible leading coefficient of a remainder, with G undefined (the underscore versions then return 0). The _gcd_f names are aliases of the _gcd_euclidean_f functions. The underscore versions require \mathit{lenA} \ge \mathit{lenB} > 0 and do not allow aliasing.

Guides#

Cite this page

The FLINT team, “_fmpz_mod_poly_gcd_euclidean_f, fmpz_mod_poly_gcd_euclidean_f, _fmpz_mod_poly_gcd_f, fmpz_mod_poly_gcd_f (fmpz_mod_poly.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_mod_poly/_fmpz_mod_poly_gcd_euclidean_f.html (generated 2026-10-20).