Greatest Common Divisor

The Euclidean Algorithm: Computing a Greatest Common Divisor

A proof and worked trace of the Euclidean algorithm, including its nonnegative-input C++ implementation and logarithmic step count.