gcdCoefficients(a,b) -- returns {r,s} so that a*r + b*s is the greatest common divisor of a and b.
Works for integers or elements of polynomial rings.
See also:
Ways to use gcdCoefficients :