5.332. remainder

DESCRIPTIONLINKS
Origin

Arithmetic.

Constraint

𝚛𝚎𝚖𝚊𝚒𝚗𝚍𝚎𝚛(𝚀,𝙳,𝚁)

Synonyms

𝚖𝚘𝚍𝚞𝚕𝚘, 𝚖𝚘𝚍.

Arguments
𝚀𝚍𝚟𝚊𝚛
𝙳𝚍𝚟𝚊𝚛
𝚁𝚍𝚟𝚊𝚛
Restrictions
𝚀≥0
𝙳>0
𝚁≥0
𝚁<𝙳
Purpose

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

Example
(15,2,1)

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

Arg. properties

Functional dependency: 𝚁 determined by 𝚀 and 𝙳.

Keywords

constraint arguments: ternary constraint, pure functional dependency.

constraint type: predefined constraint, arithmetic constraint.

modelling: functional dependency.