Multiplication

From: Glauber Jose Vaz <glauber.vaz_at_ic.unicamp.br>
Date: Wed 29 Aug 2001 08:32:52 PM GMT
Message-Id: <01082921041003.04803@clash.grad.dcc.unicamp.br>
Hello,

I'm using ECLiPSe version 5.1.1 and I think there is something wrong with this:

?- use_module(library(fd)), A :: -2 .. 6, X :: 0 .. 1, T :: 0 .. 4, T #= A * X.
T = T{[0..4]}
A = A{[0..6]}
X = X{[0, 1]}

Note that the variable A had its domain reduced.
As X can be zero, the domain of A should not be reduced.

Why does it happen?

Thanks,
Glauber

-- 
Glauber Josť Vaz 
glauber.vaz@ic.unicamp.br
Received on Wed Aug 29 22:11:45 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:09 PM GMT GMT