aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/FPS.lsp
blob: 3d7e42bb94b69849196e20b5940e0da1ff4ad241 (plain)
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
(/VERSIONCHECK 2) 

(DEFPARAMETER |FloatingPointSystem;AL| 'NIL) 

(DEFUN |FloatingPointSystem;| ()
  (LET ((#0=#:G1396
            (|Join| (|RealNumberSystem|)
                    (|mkCategory| '|domain|
                        '(((|float| ($ (|Integer|) (|Integer|))) T)
                          ((|float| ($ (|Integer|) (|Integer|)
                                     (|PositiveInteger|)))
                           T)
                          ((|order| ((|Integer|) $)) T)
                          ((|base| ((|PositiveInteger|))) T)
                          ((|exponent| ((|Integer|) $)) T)
                          ((|mantissa| ((|Integer|) $)) T)
                          ((|bits| ((|PositiveInteger|))) T)
                          ((|digits| ((|PositiveInteger|))) T)
                          ((|precision| ((|PositiveInteger|))) T)
                          ((|bits| ((|PositiveInteger|)
                                    (|PositiveInteger|)))
                           (|has| $ (ATTRIBUTE |arbitraryPrecision|)))
                          ((|digits|
                               ((|PositiveInteger|)
                                (|PositiveInteger|)))
                           (|has| $ (ATTRIBUTE |arbitraryPrecision|)))
                          ((|precision|
                               ((|PositiveInteger|)
                                (|PositiveInteger|)))
                           (|has| $ (ATTRIBUTE |arbitraryPrecision|)))
                          ((|increasePrecision|
                               ((|PositiveInteger|) (|Integer|)))
                           (|has| $ (ATTRIBUTE |arbitraryPrecision|)))
                          ((|decreasePrecision|
                               ((|PositiveInteger|) (|Integer|)))
                           (|has| $ (ATTRIBUTE |arbitraryPrecision|)))
                          ((|min| ($))
                           (AND (|not| (|has| $
                                        (ATTRIBUTE
                                         |arbitraryPrecision|)))
                                (|not| (|has| $
                                        (ATTRIBUTE |arbitraryExponent|)))))
                          ((|max| ($))
                           (AND (|not| (|has| $
                                        (ATTRIBUTE
                                         |arbitraryPrecision|)))
                                (|not| (|has| $
                                        (ATTRIBUTE |arbitraryExponent|))))))
                        '((|approximate| T))
                        '((|PositiveInteger|) (|Integer|)) NIL))))
    (|setShellEntry| #0# 0 '(|FloatingPointSystem|))
    #0#)) 

(DEFUN |FloatingPointSystem| ()
  (COND
    (|FloatingPointSystem;AL|)
    (T (SETQ |FloatingPointSystem;AL| (|FloatingPointSystem;|))))) 

(MAKEPROP '|FloatingPointSystem| 'NILADIC T)