FLINT3.7.0-dev

_fq_poly_gcd_euclidean_f, fq_poly_gcd_euclidean_f

Synopsis#include <flint/fq_poly.h>
slong _fq_poly_gcd_euclidean_f(fq_t f, fq_struct * G, const fq_struct * A, slong lenA, const fq_struct * B, slong lenB, const fq_ctx_t ctx)
void fq_poly_gcd_euclidean_f(fq_t f, fq_poly_t G, const fq_poly_t A, const fq_poly_t B, const fq_ctx_t ctx)

GCD by the Euclidean algorithm for a possibly reducible defining polynomial: either set f = 1 and G to the GCD (monic in the non-underscore version) and return its length, or set f to a nontrivial factor of the defining polynomial when a leading coefficient is not invertible, leaving G undefined. The underscore version requires lenA \ge lenB > 0 and space for lenB coefficients.

Cite this page

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