coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Guillaume Melquiond <guillaume.melquiond AT inria.fr>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Machine floats in Coq
- Date: Mon, 06 Jul 2015 10:50:36 +0200
On 06/07/2015 08:53, Soegtrop, Michael wrote:
Dear Eric,
is it really so that floats don’t commute? I thought floats are
commutative under addition and multiplication, but not associative. But
maybe there are some exceptions I didn’t see as yet.
It depends the kind of inputs you consider. For non-NaN results, addition and multiplication are commutative operations. When given NaN as inputs, they no longer are. Imagine "NaN(1) + NaN(2)", what is the result? NaN(1) or NaN(2) or some other NaN? This case is underspecified in the IEEE-754 standard and depends on the implementation.
Best regards,
Guillaume
- [Coq-Club] Machine floats in Coq, Abhishek Anand, 07/04/2015
- Re: [Coq-Club] Machine floats in Coq, Eric Mullen, 07/05/2015
- Re: [Coq-Club] Machine floats in Coq, Laurent Théry, 07/05/2015
- RE: [Coq-Club] Machine floats in Coq, Soegtrop, Michael, 07/06/2015
- RE: [Coq-Club] Machine floats in Coq, Christophe Bal, 07/06/2015
- Re: [Coq-Club] Machine floats in Coq, Guillaume Melquiond, 07/06/2015
- RE: [Coq-Club] Machine floats in Coq, Soegtrop, Michael, 07/06/2015
- Re: [Coq-Club] Machine floats in Coq, Guillaume Melquiond, 07/06/2015
- RE: [Coq-Club] Machine floats in Coq, Soegtrop, Michael, 07/06/2015
- Re: [Coq-Club] Machine floats in Coq, Bas Spitters, 07/05/2015
- Re: [Coq-Club] Machine floats in Coq, Eric Mullen, 07/05/2015
Archive powered by MHonArc 2.6.18.