> Well .. of course the distributive law doesn't hold for > floats. The question is .. what to do about it? > > Options: > > 1. Change 'eq' for floats > > 2. Change the axiom for floats to be > > axiom distrib (x:t,y:t,z:t): close (x * ( y + z), x * y + x * z);
3. not expect that axiom to hold for floats. ------------------------------------------------------------------------- Using Tomcat but need to do more? Need to support web services, security? Get stuff done quickly with pre-integrated technology to make your job easier Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642 _______________________________________________ Felix-language mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/felix-language
