Re: Conflicts between C standard and 754-2008
On 01/06/2011 12:39 PM, Hossam A. H. Fahmy wrote:
> I am a bit troubled by this since it means that C assumes that FP
> addition is commutative in general which is not true. It is specifically
> wrong if applied on more than two terms. For example,
As far as I understand, you are referring to associativity, not
commutativity:
(a + b) + c == a + (b + c)
Commutativity is just the permission to swap the two operands to a +.
begin:vcard
fn:David Monniaux
n:Monniaux;David
org:CNRS;VERIMAG
adr;quoted-printable;quoted-printable:2, avenue de Vignate;;Centre =C3=89quation;GI=C3=88RES;;38610;France
email;internet:David.Monniaux@xxxxxxx
title;quoted-printable:charg=C3=A9 de recherche au CNRS
tel;work:+33 4 56 52 03 68
tel;fax:+33 4 56 52 03 44
url:http://www-verimag.imag.fr/~monniaux/
version:2.1
end:vcard