# Greatest common divisor

Published on Tue Mar 01 2022

## Calculates the greatest common divisor of two numbers.
Attention: pipes in the substitution separate alternatives.
If one alternative does not match, the next alternative is tried if it exists.
The substitution must be repeated until it cannot substitute further.