Re: Table 4 proposal version 0.2...
Vincent Lefèvre replied to me:
> > 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).
Not at all! powr(x,y) is defined as exp(y * log(x)), so it
is simply an instance of Inf*0 which is NaN. All inputs are
assumed exact (well, it's exp(NaN) but that is also NaN).
Michel.
---Sent: 2012-03-23 15:39:40 UTC