On 13/11/06, Rhythmic Fistman <[EMAIL PROTECTED]> wrote: > > 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.
I like 3). 2) is asking for trouble, but so is using 'eq' with floats anyway, so I vote for doing both 1) and 3).:) ben -- You know we all became mathematicians for the same reason: we were lazy. --Max Rosenlicht ------------------------------------------------------------------------- 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
