finalNonzeroRemainderIs
P170943
predicate
Indicates that the result of a division or repeated subtraction operation has a specific nonzero remainder as its final outcome.
Sample triples (1)
| Subject | Object |
|---|---|
| Euclidean algorithm for polynomials | greatest common divisor ⓘ |