Re: Table 4 proposal version 0.2...
On 2012-03-22 17:17:28 -0400, Michel Hack wrote:
> The problem here is that the 754 representations of Zero, Infinity
> (and also NaN) are overloaded.
and +1, because
powr (+1, ±inf) signals the invalid operation exception.
because +1 is regarded here as a potentially inexact number
(contrary to the usual exact inputs).
> For results, the flags can be used to distinguish the meanings, but
> inputs are considered exact by definition.
Not in the above particular case, where +1 is considered inexact.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)