6.1.2370 UM/MOD u-m-slash-mod CORE

( ud u₁ -- u₂ u₃ )

Divide ud by u₁, giving the quotient u₃ and the remainder u₂. All values and arithmetic are unsigned. An ambiguous condition exists if u₁ is zero or if the quotient lies outside the range of a single-cell unsigned integer.

See:

3.2.2.1 Integer division, 6.1.1561 FM/MOD, 6.1.2214 SM/REM.

Testing:

T{        0            0        1 UM/MOD -> 0        0 }T
T{        1            0        1 UM/MOD -> 0        1 }T
T{        1            0        2 UM/MOD -> 1        0 }T
T{        3            0        2 UM/MOD -> 1        1 }T
T{ MAX-UINT        2 UM*        2 UM/MOD -> 0 MAX-UINT }T
T{ MAX-UINT        2 UM* MAX-UINT UM/MOD -> 0        2 }T
T{ MAX-UINT MAX-UINT UM* MAX-UINT UM/MOD -> 0 MAX-UINT }T

6.1.2370 UM/MOD u-m-slash-mod CORE

See:

Testing:

ContributeContributions