IEEE-754复合功能范围限制的基本原理

Rationale for range restriction of IEEE-754 compound function

提问人:gammatester 提问时间:6/2/2018 更新时间:3/15/2023 访问量:159

问:

IEEE Std 754-2008 在表 9.1 中列出 推荐的函数,有实数 x,整数 n(其中是幂运算符)。 域指定为 和 。 该函数应发出 x < -1 的无效操作异常信号。compound(x,n) = (1+x)^n^x in [-1, +infinity]n in Z

范围限制是否有一些好的/已知但未列出的原因?在数学上,(1+x)^n 对于所有 x != -1 都是明确定义的(如果 n > 0,甚至对 x = -1 也是如此。

浮点 IEEE-754

评论

5赞 njuffa 6/3/2018
由于 IEEE Std 754-2008 工作组的电子邮件存档似乎已从公共互联网访问中删除,我们只能希望同样在 Stackoverflow 上的几位委员会成员之一记住其中的基本原理。我有根据的猜测是,域限制直接源于通用定义。compound (r,n) = exp (n * log1p (r))
1赞 Stephen Canon 10/7/2021
@njuffa是的,这是完全正确的。

答:

0赞 Andrew 3/15/2023 #1

在内部,使用 ln(1 + x),而 ln(1 + -1) 在数学上是未定义的。请参阅 https://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.html(他们使用 e 与 2 讨论这个问题)。

评论

0赞 chux - Reinstate Monica 6/7/2023
“在内部,使用 ln(1 + x),而 ln(1 + -1) 在数学上是未定义的。” --> 好的,但 OP 的问题是关于 ,而不是关于 .也许未定义是问题所在。x < -1x == -1ln(1 + a_value_less_than_negative_1)ln()