Re: #/\ Problem in Finite Domains

Markus Hannebauer wrote:
> Hi,
> 
> though the manual states that
> 
>   +E1 #/\ +E2 is equivalent to (E1,E2)
> 
> it seems to be a fact, that
> 
>   [eclipse 1]: X#=1,Y#=1.
> 
> yields
> 
>   X = 1
>   Y = 1
>   yes.
> 
> while
> 
>   [eclipse 1]: X#=1 #/\ Y#=1.
> 
> yields
> 
>   no (more) solution.
> 
> What's the problem here??

It seems to work for me:

ECLiPSe Constraint Logic Programming System [kernel]
Copyright Imperial College London and ICL
Certain libraries copyright Parc Technologies Ltd
GMP library copyright Free Software Foundation
Version 5.0.0, Fri Jun 23 01:09 2000
[eclipse 1]: lib(fd).
fd_domain.eco compiled traceable 0 bytes in 0.02 seconds
fd_arith.eco compiled traceable 0 bytes in 0.04 seconds
fd_util.pl compiled traceable 2112 bytes in 0.01 seconds
fd_chip.pl compiled traceable 4708 bytes in 0.03 seconds
fd_elipsys.pl compiled traceable 11004 bytes in 0.01 seconds
fd.eco     compiled traceable 0 bytes in 0.10 seconds

yes.
[eclipse 2]: X#=1,Y#=1.

X = 1
Y = 1
yes.
[eclipse 3]: X#=1 #/\ Y#=1.

X = 1
Y = 1
yes.
[eclipse 4]: 
bye

It also seems to work for 4.2.  Which version are you using, and can you
give a more complete transcript of what you're doing so I can try to
reproduce it here?

Thanks,
Warwick