r10069: fix keyword name

[kmrcl.git] / math.lisp

diff --git a/math.lisp b/math.lisp
index 0197d52d5652a9fcdf28f117a309766fc7f9dc12..fcbab3c4baa2e922b0eba049af0bd04079a19739 100644 (file)
--- a/math.lisp
+++ b/math.lisp
@@ -70,3 +70,29 @@
            (incf (aref bins bin))))))
     (values bins min max)))
              
+
+(defun fixnum-width ()
+  (nth-value 0 (truncate (+ (/ (log (1+ most-positive-fixnum)) (log 2)) .5))))
+
+(defun scaled-epsilon (float &optional (operation '+))
+  "Return the smallest number that would return a value different from
+  FLOAT if OPERATION were applied to FLOAT and this number.  OPERATION
+  should be either + or -, and defauls to +."
+  (multiple-value-bind (significand exponent)
+      (decode-float float)
+    (multiple-value-bind (1.0-significand 1.0-exponent)
+       (decode-float (float 1.0 float))
+      (if (and (eq operation '-)
+              (= significand 1.0-significand))
+         (scale-float (typecase float
+                        (short-float short-float-negative-epsilon)
+                        (single-float single-float-negative-epsilon)
+                        (double-float double-float-negative-epsilon)
+                        (long-float long-float-negative-epsilon))
+                      (- exponent 1.0-exponent))
+       (scale-float (typecase float
+                      (short-float short-float-epsilon)
+                      (single-float single-float-epsilon)
+                      (double-float double-float-epsilon)
+                      (long-float long-float-epsilon))
+                    (- exponent 1.0-exponent))))))