The <greatest common divisor> of positive <integers> $a,b$ is \b[the largest positive <integer> dividing both], denoted $\gcd(a,b)$. The set of positive common divisors contains $1$ and is finite, so this definition supplies a value.

Solution

Past exam of the year 1 of the computer science course of the University of Oxford / 2023 / Discrete mathematics, probability and continuous mathematics / 3 / a / i / Solution

 Solution (source code)