FLINT3.7.0-dev

_fq_zech_poly_xgcd_euclidean_f, fq_zech_poly_xgcd_euclidean_f

Synopsis#include <flint/fq_zech_poly.h>
slong _fq_zech_poly_xgcd_euclidean_f(fq_zech_t f, fq_zech_struct * G, fq_zech_struct * S, fq_zech_struct * fq_zech, const fq_zech_struct * A, slong lenA, const fq_zech_struct * B, slong lenB, const fq_zech_ctx_t ctx)
void fq_zech_poly_xgcd_euclidean_f(fq_zech_t f, fq_zech_poly_t G, fq_zech_poly_t S, fq_zech_poly_t fq_zech, const fq_zech_poly_t A, const fq_zech_poly_t B, const fq_zech_ctx_t ctx)

Extended Euclidean algorithm for a possibly reducible defining polynomial: either set f = 1 and compute G, S, T as fq_zech_poly_xgcd (the underscore version as _fq_zech_poly_xgcd), or set f to a nontrivial factor of the defining polynomial, leaving the outputs undefined.

Generated from the same template as _fq_poly_xgcd_euclidean_f, whose documentation has the details.

Cite this page

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