diff --git a/numbers/atan.lsp b/numbers/atan.lsp index fdf8c9cd6e375b96ba70fb72adee6e535f22645f..34880080c420ba11a836c5eefa9c367426b2495e 100644 --- a/numbers/atan.lsp +++ b/numbers/atan.lsp @@ -128,16 +128,16 @@ ;;; ieee-fp tests (deftest atan.ieee.1 :description "Verify if atan handles 0.0 correctly" - ;; (atan +-0 +(anything-but-nan)) -> +-0 - ;; (atan +-0 -(anything-but-nan)) -> +-pi (flet ((pip (a b) ;; we are not testing accuracy, so this simplified - ;; precdicate would be sufficient for our needs. We are - ;; also not interested in sign of the result, because we - ;; don't know whenever zero is signed or not. + ;; predicate would be sufficient for our needs. We are also + ;; not interested in sign of the result, because we don't + ;; know whenever zero is signed or not. (<= (abs (- (abs a) (abs b))) 0.01))) (every #'identity (append + ;; (atan +-0 +(anything-but-nan)) -> +-0 + ;; (atan +-0 -(anything-but-nan)) -> +-pi (map 'list (lambda (n) ;; notice, that we don't test a case, where ;; both arguments are 0.0, because if