Simplify 5*eps and assume the number of digits we wrote down.
authorTaylor R Campbell <campbell@mumble.net>
Sun, 21 Oct 2018 07:21:32 +0000 (07:21 +0000)
committerTaylor R Campbell <campbell@mumble.net>
Sun, 21 Oct 2018 07:21:32 +0000 (07:21 +0000)
tests/runtime/test-arith.scm

index b8dee7d12a5b495fe72cebff877778e2190ea561..973137873ca939974059bde12ea11492a618f4b7 100644 (file)
@@ -203,20 +203,19 @@ USA.
   (lambda (v)
     (let ((x (vector-ref v 0))
           (p (vector-ref v 1))
-          (t (vector-ref v 2))
-          (maxerr (* 5 microcode-id/floating-epsilon)))
-      (assert->= maxerr (relerr p (logistic x)))
+          (t (vector-ref v 2)))
+      (assert->= 1e-15 (relerr p (logistic x)))
       (if (and (not (= p 0))
                (not (= p 1)))
-          (assert->= maxerr (relerr x (logit p))))
+          (assert->= 1e-15 (relerr x (logit p))))
       (if (< p 1)
           (begin
-            (assert->= maxerr (relerr (- 1 p) (logistic (- x))))
+            (assert->= 1e-15 (relerr (- 1 p) (logistic (- x))))
             (if (< (- 1 p) 1)
-                (assert->= maxerr (relerr (- x) (logit (- 1 p))))))
+                (assert->= 1e-15 (relerr (- x) (logit (- 1 p))))))
           (assert->= 1e-300 (logistic (- x))))
-      (assert->= maxerr (relerr t (log-logistic x)))
+      (assert->= 1e-15 (relerr t (log-logistic x)))
       (if (<= x 709)
-          (assert->= maxerr (relerr x (logit-exp t))))
+          (assert->= 1e-15 (relerr x (logit-exp t))))
       (if (< p 1)
-          (assert->= maxerr (relerr (log1p (- p)) (log-logistic (- x))))))))
\ No newline at end of file
+          (assert->= 1e-15 (relerr (log1p (- p)) (log-logistic (- x))))))))
\ No newline at end of file