gcd算法

原理：
两个整数的最大公约数等于其中较小的数和两数的差的最大公约数。即一步步的降低两个数的值，直到其中一个变成零，这时所剩下的还没有变成零的数就是两个数的最大公约数。

伪代码：

function gcd(a,b)
    while b != 0
        t = b
        b = a mod b
        a = t
    return a