Re: [eclipse-clp-users] Exponentiation and integers

Sergey Dymchenko wrote:
> Hi!
> 
> I've found that exponentiation (^) from ic library will not work with
> integer constraints even if both values in a exponentiation expression
> are integers.
> 
> For example, this will not find any possibilities:
> 
> N #> 0,
> B #> 0,
> 10^B #> N,
> 
> you have to write
> 
> N #> 0,
> B #> 0,
> 10^B $> N,
> 
> Is this a bug? Is this documented?

Yes, it's a bug (the constraint gets rewritten with an auxiliary
variable, onto which integrality is incorrectly imposed).

Your alternative formulation has the semantics you intended
(as B and N are already known to be integral at this point).

Cheers,
Joachim