Robert, >I have a feeling you probably want an infinite precision simplex >implementation. ...actually the crucial thing is eliciting entailed equalities, so it also works with lib(clpr). Hopefully in eclipse5.0 you can use both linear solvers (eplex and clpr) in the same eclipse session - I'm just checking with Kish if there's a bug though... Cheers Mark 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(eplex). ... yes. [eclipse 2]: lib(clpr). ... yes. [eclipse 3]: eplex:(X$=Y). X = X Y = Y Delayed goals: eplex : (X - Y =:= 0) yes. *****************bug???***************************************** [eclipse 4]: clpr:(X$=Y). calling an undefined procedure clpr : (X $= Y) in module eclipse ... *************this seems to be where clpr imports $= from ******* [eclipse 6]: nf:(X$=Y). X = Y Y = Y yes. -- _______________________________________________________________ Dr. Mark Wallace, IC-Parc, Phone +44 (0)20 7594 8434 William Penney Laboratory, Fax +44 (0)20 7594 8432 Imperial College, London SW7 2AZ, UK. Email: mgw@icparc.ic.ac.ukReceived on Tue Oct 03 09:43:29 2000
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:01 PM GMT GMT