`euclidean-remainder``numerator``denominator`procedureIf

*d*> 0,*q*=`floor`(n/d); if*d*< 0,*q*=`ceiling`(*n*/*d*).This division operator pair satisfies the stronger property

0 <= r < |d|

used often in mathematics. Thus, for example,

`(euclidean-remainder`*numerator**denominator*`)`is always a valid index into a vector whose length is at least the absolute value of*denominator*. This division operator pair is so named because it is the subject of the Euclidean division algorithm.