gcd(a, b) that computes the greatest common divisor of two positive integers using the Euclidean algorithm implemented with a while loop (no math.gcd).gcd(48, 18)
6
Euclidean algorithm reduces (48,18) -> (18,12) -> (12,6) -> (6,0).
gcd(7, 13)
1
Coprime numbers have gcd 1.
Repeatedly replace (a, b) with (b, a % b) until b becomes 0.
The answer is whatever a holds once the loop ends.