Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

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