5.272. power

DESCRIPTIONLINKS
Origin

[DenmatGotliebDucasse07]

Constraint

πš™πš˜πš πšŽπš›(πš‡,𝙽,𝚈)

Synonym

πš‘πšŽπš‘πš™πš’πšŽπššπš£.

Arguments
πš‡πšπšŸπšŠπš›
π™½πšπšŸπšŠπš›
πšˆπšπšŸπšŠπš›
Restrictions
πš‡β‰₯0
𝙽β‰₯0
𝚈β‰₯0
Purpose

Enforce the fact that 𝚈 is equal to πš‡ 𝙽 .

Example
(2,3,8)

The πš™πš˜πš πšŽπš› constraint holds since 8 is equal to 2 3 .

Algorithm

InΒ [DenmatGotliebDucasse07] a filtering algorithm for the πš™πš˜πš πšŽπš› 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

xexpyeqz in JaCoP.

See also

common keyword: 𝚐𝚌𝚍 (abstract interpretation).

Keywords

constraint arguments: ternary constraint.

constraint type: arithmetic constraint, predefined constraint.

filtering: abstract interpretation.