Greatest common divisor
Syntax
G = gcd(A,B)
[G,C,D] = gcd(A,B)
Description
G = gcd(A,B)
returns an array containing the greatest common divisors of the corresponding elements of integer arrays A and B. By convention, gcd(0,0) returns a value of 0; all other inputs return positive integers for G.
[G,C,D] = gcd(A,B)
returns both the greatest common divisor array G, and the arrays C and D, which satisfy the equation: A(i).*C(i) + B(i).*D(i) = G(i). These are useful for solving Diophantine equations and computing elementary Hermite transformations.
Examples
The first example involves elementary Hermite transformations.
For any two integers a and b there is a 2-by-2 matrix E with integer entries and determinant = 1 (a unimodular matrix) such that:
E * [a;b] = [g,0],
where g is the greatest common divisor of a and b as returned by the command
[g,c,d] = gcd(a,b).
The matrix E equals:
c d
-b/g a/g
In the case where a = 2 and b = 4:
[g,c,d] = gcd(2,4)
g =
2
c =
1
d =
0
So that:
E =
1 0
-2 1
In the next example, we solve for x and y in the Diophantine equation
30x + 56y = 8.
[g,c,d] = gcd(30,56)
g =
2
c =
-13
d =
7
By the definition, for scalars c and d:
30(-13) + 56(7) = 2,
Multiplying through by 8/2:
30(-13*4) + 56(7*4) = 8
Comparing this to the original equation, a solution can be read by inspection:
x = (-13*4) = -52; y = (7*4) = 28
See Also
lcm Least common multiple
References
[1] Knuth, Donald, The Art of Computer Programming, Vol. 2, Addison-Wesley: Reading MA, 1973. Section 4.5.2, Algorithm X.
[ Previous | Help Desk | Next ]