mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2026-01-24 05:21:20 -08:00
Code Issues Projects Releases Packages Wiki Activity

Merge branch 'develop' into 'develop'

Browse source 
osx: fix #349 IEEE-FP.0005.ATAN2-SPECIAL-CASE.ZERO-ARG

Closes #349

See merge request !46
This commit is contained in:
Daniel Kochmański 2017-01-21 08:23:54 +00:00
commit eddfe4009c
1 changed files with 14 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

27
src/tests/normal-tests/ieee-fp.lsp
View file

@ -92,19 +92,20 @@
(-zerop (atan -0.0 +0.0))
(+pi-p (atan +0.0 -0.0))
(-pi-p (atan -0.0 -0.0))
(map () (lambda (n)
;; (atan +-0 +(anything-but/nan)) -> +-0
(is (+zerop (atan +0.0 n)))
(is (-zerop (atan -0.0 n)))
;; (atan +-0 -(anything-but/nan)) -> +-pi
(is (+pi-p (atan +0.0 (- n))))
(is (-pi-p (atan -0.0 (- n))))
;; (atan +-(anything-but/0+nan) 0) -> +-pi/2
(is (+pi/2-p (atan n +0.0)))
(is (+pi/2-p (atan n -0.0)))
(is (-pi/2-p (atan (- n) +0.0)))
(is (-pi/2-p (atan (- n) -0.0))))
(remove-if-not #'plusp (append *floats* *ieee-fp.inf*))))
(without-fpe-traps
(map () (lambda (n)
;; (atan +-0 +(anything-but/nan)) -> +-0
(is (+zerop (atan +0.0 n)))
(is (-zerop (atan -0.0 n)))
;; (atan +-0 -(anything-but/nan)) -> +-pi
(is (+pi-p (atan +0.0 (- n))))
(is (-pi-p (atan -0.0 (- n))))
;; (atan +-(anything-but/0+nan) 0) -> +-pi/2
(is (+pi/2-p (atan n +0.0)))
(is (+pi/2-p (atan n -0.0)))
(is (-pi/2-p (atan (- n) +0.0)))
(is (-pi/2-p (atan (- n) -0.0))))
(remove-if-not #'plusp (append *floats* *ieee-fp.inf*)))))
(test ieee-fp.0006.atan2-special-case.inf-arg
;; (atan +-inf +inf) -> +-pi/4