[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Suggestion of annex D



On 2007-05-28 17:05:58 +0200, Christoph Quirin Lauter wrote:
I am okay with that. We (Florent and I) thought to have treated the 
question as follows: +0 = 0 = -0 and for functions for which f(0) is some 
finite c, the operation f(-0) returns c. If c is 0, then f(-0) is -0.

This is not a good rule. Consider the function f(x) = -x for instance.

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)

754 | revision | FAQ | references | list archive