if this applies when either of the numbers become even, the algorithm is the binary GCD algorithm; if this only applies when both numbers are even, the algorithm is similar to the Euclidean algorithm.