## 5.272. power

Origin
Constraint

$\mathrm{𝚙𝚘𝚠𝚎𝚛}\left(𝚇,𝙽,𝚈\right)$

Synonym

$\mathrm{𝚡𝚎𝚡𝚙𝚢𝚎𝚚𝚣}$.

Arguments
 $𝚇$ $\mathrm{𝚍𝚟𝚊𝚛}$ $𝙽$ $\mathrm{𝚍𝚟𝚊𝚛}$ $𝚈$ $\mathrm{𝚍𝚟𝚊𝚛}$
Restrictions
 $𝚇\ge 0$ $𝙽\ge 0$ $𝚈\ge 0$
Purpose

Enforce the fact that $𝚈$ is equal to ${𝚇}^{𝙽}$.

Example
$\left(2,3,8\right)$

The $\mathrm{𝚙𝚘𝚠𝚎𝚛}$ constraint holds since 8 is equal to ${2}^{3}$.

Algorithm

In [DenmatGotliebDucasse07] a filtering algorithm for the $\mathrm{𝚙𝚘𝚠𝚎𝚛}$ constraint was automatically derived from the algorithm that multiplies $𝚇$ by itself $𝙽$ times by using constructive disjunction and abstract interpretation in order to approximate the behaviour of the while loop of that algorithm.

Systems