From a62294119b9b3cf34c25fedc8f1fa1aa9392367b Mon Sep 17 00:00:00 2001 From: Andreas Rossberg Date: Mon, 27 Jul 2020 14:57:59 +0200 Subject: [PATCH] [spec] Fix sqrt(-0) --- document/core/exec/numerics.rst | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/document/core/exec/numerics.rst b/document/core/exec/numerics.rst index cd5596a904..04783a4424 100644 --- a/document/core/exec/numerics.rst +++ b/document/core/exec/numerics.rst @@ -1058,12 +1058,14 @@ This non-deterministic result is expressed by the following auxiliary function p * If :math:`z` is a NaN, then return an element of :math:`\nans_N\{z\}`. -* Else if :math:`z` has a negative sign, then return an element of :math:`\nans_N\{\}`. +* Else if :math:`z` is negative infinity, then return an element of :math:`\nans_N\{\}`. * Else if :math:`z` is positive infinity, then return positive infinity. * Else if :math:`z` is a zero, then return that zero. +* Else if :math:`z` has a negative sign, then return an element of :math:`\nans_N\{\}`. + * Else return the square root of :math:`z`. .. math::