[gecode-users] nroot for negative integers

Kish Shen kisshen at cisco.com
Mon Jul 22 23:27:28 CEST 2013


Hi,

I have just added support for pow and nroot to expressions in the 
ECLiPSe interface to Gecode, and on testing it, I get failures with 
negative numbers, for example (in ECLiPSe syntax):

A #= rootn(-8,3)

fails, while

A #= rootn(8, 3)

succeeds, with A = 2.

Should the first case set A to -2?

The above expressions are passed to MiniModel and parsed as IntExpr. I 
used Gecode 4.2.0 for the above tests.

Cheers,

Kish





More information about the users mailing list