[Cfp-interest 3064] About powr(0, 0) from WG14 IEEE 754-C binding meeting minutes - 2024/03/13 - Corrected

[Vincent Lefevre]

On 2024-03-13 17:34:50 +0000, Rajan Bhakta wrote:
[...]

About this point in the 2024-03-13 meeting minutes:

>       David: It's an exception since there is no right answer. The default is arbitrary. You should get an exception for pow(0,0). I had forgotten that.
>       Joshua: All the pown, powr, and pow say they return 1 without exceptions in IEEE.

For powr:

  powr (±0, ±0) signals the invalid operation exception

This is not explicit, but this implies NaN.

>       Jerome: I think some people wanted NaN since it is dangerous to say anything since 0, 1, or infinity are all valid.

powr is what could be regarded as the "safe" version of the
power function. (But of course, it is safe only if the program
acknowledges NaN values.)

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)