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?? Markus -- +--------------------------------------------------------------------+ | Markus Hannebauer www.first.gmd.de/~hannebau | | Dipl.-Inform., Research Fellow hannebau@first.gmd.de | | | | Research Institute for Computer Architecture | | and Software Technology (FIRST) | | phone: +49- 30-63 92 18 66 | | German National Research Center cell. p.: +49-179-101 33 40 | | for Information Technology (GMD) fax: +49- 30-63 92 18 05 | +--------------------------------------------------------------------+Received on Mon Sep 25 16:32:54 2000
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:06 PM GMT GMT