25 Jun
2009
25 Jun
'09
8:50 a.m.
When you have g, s and t, which are claimed to satisfy
g = gcd(a, b) = s * a + t * b
then a sufficient test (besides the range checks) would be that
g == s*a + t * b a % g == 0 b % g == 0
Then it follows that g = gcd(a, b);