## 5.285. same_sign

Origin

Arithmetic.

Constraint

$\mathrm{𝚜𝚊𝚖𝚎}_\mathrm{𝚜𝚒𝚐𝚗}\left(\mathrm{𝚅𝙰𝚁}\mathtt{1},\mathrm{𝚅𝙰𝚁}\mathtt{2}\right)$

Arguments
 $\mathrm{𝚅𝙰𝚁}\mathtt{1}$ $\mathrm{𝚍𝚟𝚊𝚛}$ $\mathrm{𝚅𝙰𝚁}\mathtt{2}$ $\mathrm{𝚍𝚟𝚊𝚛}$
Restriction
Purpose

Enforce the fact that the product of the first and second variables is greater than or equal to 0.

Example
$\left(7,1\right)$

The $\mathrm{𝚜𝚊𝚖𝚎}_\mathrm{𝚜𝚒𝚐𝚗}$ constraint holds since 7 and 1 have the same sign.

Symmetry

Arguments are permutable w.r.t. permutation $\left(\mathrm{𝚅𝙰𝚁}\mathtt{1},\mathrm{𝚅𝙰𝚁}\mathtt{2}\right)$.