Blame view

qd-const2.lisp 3.33 KB
d2650578   Raymond Toy   Move +pi+ and fri...
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
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
80
81
82
83
84
  ;;;; -*- Mode: lisp -*-
  ;;;;
  ;;;; Copyright (c) 2007, 2008, 2011 Raymond Toy
  ;;;;
  ;;;; Permission is hereby granted, free of charge, to any person
  ;;;; obtaining a copy of this software and associated documentation
  ;;;; files (the "Software"), to deal in the Software without
  ;;;; restriction, including without limitation the rights to use,
  ;;;; copy, modify, merge, publish, distribute, sublicense, and/or sell
  ;;;; copies of the Software, and to permit persons to whom the
  ;;;; Software is furnished to do so, subject to the following
  ;;;; conditions:
  ;;;;
  ;;;; The above copyright notice and this permission notice shall be
  ;;;; included in all copies or substantial portions of the Software.
  ;;;;
  ;;;; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  ;;;; EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
  ;;;; OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  ;;;; NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
  ;;;; HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
  ;;;; WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
  ;;;; FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
  ;;;; OTHER DEALINGS IN THE SOFTWARE.
  
  (in-package #:oct)
  
  (defconstant +pi+
    (make-instance 'qd-real :value octi:+qd-pi+)
    "Pi represented as a QD-REAL")
  
  (defconstant +pi/2+
    (make-instance 'qd-real :value octi:+qd-pi/2+)
    "Pi/2 represented as a QD-REAL")
  
  (defconstant +pi/4+
    (make-instance 'qd-real :value octi:+qd-pi/4+)
    "Pi/4 represented as a QD-REAL")
  
  (defconstant +2pi+
    (make-instance 'qd-real :value octi:+qd-2pi+)
    "2*pi represented as a QD-REAL")
  
  (defconstant +log2+
    (make-instance 'qd-real :value octi:+qd-log2+)
    "Natural log of 2 represented as a QD-REAL")
  
  ;; How do we represent infinity for a QD-REAL?  For now, we just make
  ;; the QD-REAL whose most significant part is infinity.  Currently
  ;; only supported on CMUCL.
  #+cmu
  (defconstant +quad-double-float-positive-infinity+
    (make-instance 'qd-real :value (make-qd-d ext:double-float-positive-infinity))
    "One representation of positive infinity for QD-REAL")
  
  #+cmu
  (defconstant +quad-double-float-negative-infinity+
    (make-instance 'qd-real :value (make-qd-d ext:double-float-negative-infinity))
    "One representation of negative infinity for QD-REAL")
  
  (defconstant +most-positive-quad-double-float+
    (make-instance 'qd-real
  		 :value (octi::%make-qd-d most-positive-double-float
  					 (cl:scale-float most-positive-double-float (cl:* 1 -53))
  					 (cl:scale-float most-positive-double-float (cl:* 2 -53))
  					 (cl:scale-float most-positive-double-float (cl:* 3 -53))))
    "Most positive representable QD-REAL")
  
  (defconstant +least-positive-quad-double-float+
    (make-instance 'qd-real
  		 :value (make-qd-d least-positive-double-float))
    "Least positive QD-REAL")
  
  ;; Not sure this is 100% correct, but I think if the first component
  ;; is any smaller than this, the last component would no longer be a
  ;; normalized double-float.
  (defconstant +least-positive-normalized-quad-double-float+
    (make-instance 'qd-real
  		 :value (make-qd-d (cl:scale-float least-positive-normalized-double-float (cl:* 3 53))))
    "Least positive normalized QD-REAL")
  
  (defconstant +qd-real-one+
    (make-instance 'qd-real :value (make-qd-d 1d0))
    "QD-REAL representation of 1")
405df618   Raymond Toy   Add Euler's const...
85
86
87
88
  
  (defconstant +%gamma+
    (make-instance 'qd-real :value octi::+qd-%gamma+)
    "Euler's constant")