Assertion: remainder | /r/AtLocation | the range
Facets:
Source sentences:
text: Finally, quotients computed by this algorithm are always odd, and the remainder in R is in the range −D ≤ R < D.