Hello I am using now the new Version 5.3 of Eclipse 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.3 #41, Sat Nov 24 13:49 2001 But i got a strange behavior with squash, which were not present in the 5.2 version squash with lin works fine lib(ria). ria:(A::0.0..3.0), ria:(C::0.5..0.65), ria:(C =:= cos(A)), squash([A], 0.01, lin). C = C{0.49999999999999994 .. 0.65000000000000013} A = A{0.85693359375000011 .. 1.0546875000000002} Delayed goals: C{0.49999999999999994 .. 0.65000000000000013} iis cos(A{0.85693359375000011 .. 1.0546875000000002}) Yes (0.01s cpu) But the same with squash with log does not answer ria:(A::0.0..3.0), ria:(C::0.5..0.65), ria:(C =:= cos(A)), squash([A], 0.01, log). Eric Bensana ************************************************************************* ONERA : Office National d'Etudes et de Recherches Aerospatiales DCSD : Departement Commande des Systemes et Dynamique du vol CERT : Centre d'Etudes et de Recherche de Toulouse 2 avenue Edouard Belin, BP 4025, 31055 Toulouse Cedex, France Tel : +33 (0)5 62 25 29 01, Fax : +33 (0)5 62 25 25 64 Mél : Eric.Bensana@cert.fr ou Eric.Bensana@onera.fr Page Web : http://www.cert.fr/dcsd/cd/MEMBRES/bensana/index.html *************************************************************************Received on Tue Jan 15 14:44:10 2002
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:12 PM GMT GMT