augment.lisp 3.53 KB
Newer Older
Liam Healy's avatar
Liam Healy committed
1
2
;; Additional methods for lisp-unit
;; Liam Healy 2009-04-15 23:23:30EDT augment.lisp
3
;; Time-stamp: <2010-05-29 20:58:09EDT augment.lisp>
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
;;
;; Copyright 2009 Liam M. Healy
;; Distributed under the terms of the GNU General Public License
;;
;; This program is free software: you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by
;; the Free Software Foundation, either version 3 of the License, or
;; (at your option) any later version.
;;
;; This program is distributed in the hope that it will be useful,
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;; GNU General Public License for more details.
;;
;; You should have received a copy of the GNU General Public License
;; along with this program.  If not, see <http://www.gnu.org/licenses/>.
Liam Healy's avatar
Liam Healy committed
20
21
22
23

(in-package :gsl)

(defmethod lisp-unit:numerical-equal
24
25
26
27
28
    ((result1 marray) (result2 marray) &key (test #'lisp-unit:number-equal))
  "Return true if the arrays are numerically equal according to :TEST."
  (when (equal (dimensions result1) (dimensions result2))
    (lisp-unit:numerical-equal (cl-array result1) (cl-array result2)
			       :test test)))
29
30
31
32
33
34
35
36
37
38

;;; See cdf/test.c
(defconstant +test-tol0+ (* 2 +dbl-epsilon+))
(defconstant +test-tol1+ (* 16 +dbl-epsilon+))
(defconstant +test-tol2+ (* 256 +dbl-epsilon+))
(defconstant +test-tol3+ (* 2048 +dbl-epsilon+))
(defconstant +test-tol4+ (* 16384 +dbl-epsilon+))
(defconstant +test-tol5+ (* 131072 +dbl-epsilon+))
(defconstant +test-tol6+ (* 1048576 +dbl-epsilon+))

39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
;;; These are 1.0 if not "RELEASED"
(defconstant +test-sigma+ 1.5d0)
(defconstant +test-factor+ 100.0d0)

(defun sf-frac-diff (x1 x2)
  ;; After test_sf_frac_diff in specfunc/test_sf.c.
  (cond ((and (zerop x1) (zerop x2))
	 (coerce 0 (type-of x1)))
	((zerop x1)
	 (abs x2))
	((and (<= x1 most-positive-double-float)
	      (<= x2 most-positive-double-float)
	      (not (zerop (+ x1 x2))))
	 (abs (/ (- x1 x2) (+ x1 x2))))
	(t 1.0d0)))

(defun sf-check-pair (result expected-value tolerance &optional error-estimate)
  (or (eql result expected-value) ; catch expected inifinity/nan
      (let ((diff (abs (- result expected-value))))
	(and
	 (<= (sf-frac-diff result expected-value) (* +test-factor+ tolerance))
	 (if error-estimate
	     (and (not (minusp error-estimate)) ; redundant but signalled as separate error in C
		  (finitep error-estimate)
		  (<= diff (* 2 +test-sigma+ error-estimate)))
	     t)))))

(defun sf-check-results (result-list expected-value tolerance)
  ;; After test_sf_check_result in specfunc/test_sf.c.
  (when (atom expected-value)
    (setf expected-value (list expected-value)))
  (when (= (length result-list) (* 2 (length expected-value)))
    ;; Error information is returned
    (loop for ind below (length expected-value)
       always
       (sf-check-pair
	(elt result-list ind)
	(elt expected-value ind)
	tolerance
	(elt result-list (+ ind (length expected-value)))))))

80
81
82
;; (assert-to-tolerance (tdist-P 0.0d0 1.0d0) 0.5d0 +test-tol6+)
(defmacro assert-to-tolerance (form expected-value tolerance)
  `(let ((lisp-unit:*epsilon* ,tolerance))
83
     (lisp-unit::assert-true
Liam Healy's avatar
Liam Healy committed
84
      ,expected-value
85
86
87
88
      (sf-check-results
       (multiple-value-list ,form) ,expected-value ,tolerance))))

;; lisp-unit::assert-true
89
90
91
92
93
94
95
96
97
98

(defmacro assert-posinf (form)
  `(lisp-unit::assert-true
    (let ((val ,form))
      (and (infinityp val) (plusp val)))))

(defmacro assert-neginf (form)
  `(lisp-unit::assert-true
    (let ((val ,form))
      (and (infinityp val) (minusp val)))))