GCD(15,27):3

-- Greatest Common Divisor
GCD(a,b) = b when mod(a,b) = 0,
           GCD(b,mod(a,b)) otherwise

mod(a,b) = a-trunc(a/b)*b