blob: 1d84e2f8a997e1667753483764c6285eb452e184 (
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=#:G1397
(|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)
|
