将sqrt(-0.0)定义为-0.0,简化了哪种数值算法？

Question

IEEE 754标准将负零的平方根定义为负零.这种选择很容易合理化,但其他选择(如定义sqrt(-0.0)为NaN)也可以合理化,并且更容易在硬件中实现.如果担心程序员会编写if (x >= 0.0) then sqrt(x) else 0.0并被这个表达式判断为何NaN时x被评估-0.0,那么sqrt(-0.0)就可以将其定义为+0.0(实际上,对于这个特定的表达式,结果会更加一致).

是否存在特定的数值算法,其中sqrt(-0.0)定义为-0.0简化算法本身的逻辑？

Answer 1

唯一在数学上合理的结果是 0。存在一个合理的问题：它应该是 +0 还是 -0。对于大多数计算来说，它根本没有区别，但有一些特定的复杂表达式，其结果在 -0 约定下更有意义。确切的细节超出了本网站的范围，但这就是它的要点。

如果其他人不比我先一步的话，我可以在不度假的时候解释更多。