euclidean_domain.xgcd

Use the extended GCD algorithm to generate the a and b values satisfying gcd x y = x * a + y * b.

euclidean_domain.gcd_a

The extended GCD a value in the equation gcd x y = x * a + y * b.

euclidean_domain.gcd_b

The extended GCD b value in the equation gcd x y = x * a + y * b.