Question/Bug?

Hi!

The following seems to be a bug but I am just starting to use ECLiPSe.
Could you please tell me whether I am right or missing some detail on the
usage of lib(fd)? In the examples, the main difference is the domain of X, 
which includes either 8 or -8.

Thanks a lot for an urgent reply.
Ana Paula

-------------------------------------------------------------------------------
--

(Version 4.2.1, Fri Aug 20 19:00 1999; and Version 5.1.2 Thu Apr 5 01:09 2001,
running on LINUX)


[eclipse 1]: lib(fd).
lists.pl   compiled traceable 6992 bytes in 0.00 seconds
fd_domain.sd loaded traceable 21476 bytes in 0.01 seconds
fd_arith.sd loaded traceable 69516 bytes in 0.06 seconds
fd_util.pl compiled traceable 2060 bytes in 0.00 seconds
fd_chip.pl compiled traceable 4728 bytes in 0.00 seconds
fd_elipsys.pl compiled traceable 10640 bytes in 0.01 seconds
fd.sd      loaded traceable 15608 bytes in 0.08 seconds

yes.

[eclipse 2]: X::[-8,0,1],Y::[0,1], X*Y #= 0, X+Y #\=0.

X = 1
Y = 0
yes.


[eclipse 3]: X::[-8,0,1],Y::[0,1], X*Y #= 0, X+Y #\=0, labeling([X,Y]).

X = 1
Y = 0
yes.


[eclipse 4]: X::[8,0,1],Y::[0,1], X*Y #= 0, X+Y #\=0.

X = X{[0, 1, 8]}
Y = Y{[0, 1]}

Delayed goals:
	X{[0, 1, 8]} * Y{[0, 1]}#=0
	0 + Y{[0, 1]} + X{[0, 1, 8]}#\=0
yes.

[eclipse 5]: X::[8,0,1],Y::[0,1], X*Y #= 0, X+Y #\=0, labeling([X,Y]).

X = 0
Y = 1     More? (;) 

X = 1
Y = 0     More? (;) 

X = 8
Y = 0
yes.

[eclipse 6]: X::[-8,0,1], Y::[0,1],indomain(X),indomain(Y), X*Y #=0,X+Y#\=0.
X = -8
Y = 0     More? (;) 

X = 0
Y = 1     More? (;) 

X = 1
Y = 0     More? (;) 

no (more) solution.

[eclipse 7]: X::[-8,0,1], Y::[0,1], X*Y #=0.

X = X{[0, 1]}
Y = 0
yes.

[eclipse 8]: X::[8,0,1], Y::[0,1], X*Y #=0.

X = X{[0, 1, 8]}
Y = Y{[0, 1]}

Delayed goals:
	X{[0, 1, 8]} * Y{[0, 1]}#=0
yes.