Assertion: euclidean algorithm | /r/CapableOf | compute quotient
Facets:
value: at every step
type: MANNER
Source sentences:
text: At every step k, the Euclidean algorithm computes a quotient