最大公因数（GCD）

两个整数的公共正因数中的最大者；用欧几里得算法可高效求得，满足 gcd(a,b)·lcm(a,b) = |ab|。