## 5.332. remainder

Origin

Arithmetic.

Constraint

$\mathrm{𝚛𝚎𝚖𝚊𝚒𝚗𝚍𝚎𝚛}\left(𝚀,𝙳,𝚁\right)$

Synonyms

$\mathrm{𝚖𝚘𝚍𝚞𝚕𝚘}$, $\mathrm{𝚖𝚘𝚍}$.

Arguments
 $𝚀$ $\mathrm{𝚍𝚟𝚊𝚛}$ $𝙳$ $\mathrm{𝚍𝚟𝚊𝚛}$ $𝚁$ $\mathrm{𝚍𝚟𝚊𝚛}$
Restrictions
 $𝚀\ge 0$ $𝙳>0$ $𝚁\ge 0$ $𝚁<𝙳$
Purpose

Enforce $𝚁$ to be equal to the remainder of the division of $𝚀$ by $𝙳$.

Example
$\left(15,2,1\right)$

The $\mathrm{𝚛𝚎𝚖𝚊𝚒𝚗𝚍𝚎𝚛}$ constraint holds since 1 is the rest of the division of 15 by 2.

Arg. properties

Functional dependency: $𝚁$ determined by $𝚀$ and $𝙳$.

Keywords