Assertion: algorithm | /r/CapableOf | reach a zero remainder
Facets:
Source sentences:
text: A more efficient version of the algorithm shortcuts these steps, instead replacing the larger of the two numbers by its remainder when divided by the smaller of the two (with this version, the algorithm stops when reaching a zero remainder).