Стандарт 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
, упрощает логику самого алгоритма?