diff options
author | dos-reis <gdr@axiomatics.org> | 2009-06-01 08:01:00 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-06-01 08:01:00 +0000 |
commit | 6fff2c66d36bf2f6cacf1d9086ba6c80eb5f7f64 (patch) | |
tree | ecd96105b5ee50cf5e81dfe1eb506797730e2955 /src/algebra/strap/ORDRING-.lsp | |
parent | 78dd44d657fa65a8029d996aaf7ac05d2133f509 (diff) | |
download | open-axiom-6fff2c66d36bf2f6cacf1d9086ba6c80eb5f7f64.tar.gz |
* interp/compiler.boot (compGreaterThan): Remove.
* interp/parse.boot (parseGreaterEqual): Likewise.
Diffstat (limited to 'src/algebra/strap/ORDRING-.lsp')
-rw-r--r-- | src/algebra/strap/ORDRING-.lsp | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/src/algebra/strap/ORDRING-.lsp b/src/algebra/strap/ORDRING-.lsp index 5a7d725e..c4dedafa 100644 --- a/src/algebra/strap/ORDRING-.lsp +++ b/src/algebra/strap/ORDRING-.lsp @@ -14,24 +14,24 @@ |ORDRING-;abs;2S;4|)) (DEFUN |ORDRING-;positive?;SB;1| (|x| $) - (SPADCALL (|spadConstant| $ 7) |x| (|getShellEntry| $ 9))) + (SPADCALL |x| (|spadConstant| $ 7) (|getShellEntry| $ 9))) (DEFUN |ORDRING-;negative?;SB;2| (|x| $) - (SPADCALL |x| (|spadConstant| $ 7) (|getShellEntry| $ 9))) + (SPADCALL |x| (|spadConstant| $ 7) (|getShellEntry| $ 11))) (DEFUN |ORDRING-;sign;SI;3| (|x| $) (COND - ((SPADCALL |x| (|getShellEntry| $ 12)) 1) - ((SPADCALL |x| (|getShellEntry| $ 15)) -1) - ((SPADCALL |x| (|getShellEntry| $ 18)) 0) + ((SPADCALL |x| (|getShellEntry| $ 13)) 1) + ((SPADCALL |x| (|getShellEntry| $ 16)) -1) + ((SPADCALL |x| (|getShellEntry| $ 19)) 0) ('T (|error| "x satisfies neither positive?, negative? or zero?")))) (DEFUN |ORDRING-;abs;2S;4| (|x| $) (COND - ((SPADCALL |x| (|getShellEntry| $ 12)) |x|) - ((SPADCALL |x| (|getShellEntry| $ 15)) - (SPADCALL |x| (|getShellEntry| $ 21))) - ((SPADCALL |x| (|getShellEntry| $ 18)) (|spadConstant| $ 7)) + ((SPADCALL |x| (|getShellEntry| $ 13)) |x|) + ((SPADCALL |x| (|getShellEntry| $ 16)) + (SPADCALL |x| (|getShellEntry| $ 22))) + ((SPADCALL |x| (|getShellEntry| $ 19)) (|spadConstant| $ 7)) ('T (|error| "x satisfies neither positive?, negative? or zero?")))) (DEFUN |OrderedRing&| (|#1|) @@ -40,7 +40,7 @@ (PROGN (LETT |dv$1| (|devaluate| |#1|) . #0=(|OrderedRing&|)) (LETT |dv$| (LIST '|OrderedRing&| |dv$1|) . #0#) - (LETT $ (|newShell| 23) . #0#) + (LETT $ (|newShell| 24) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) @@ -50,19 +50,19 @@ (MAKEPROP '|OrderedRing&| '|infovec| (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (0 . |Zero|) - (|Boolean|) (4 . <) |ORDRING-;positive?;SB;1| - |ORDRING-;negative?;SB;2| (10 . |positive?|) (|Integer|) - (15 . |One|) (19 . |negative?|) (24 . |One|) (28 . -) - (33 . |zero?|) (38 . |Zero|) |ORDRING-;sign;SI;3| (42 . -) + (|Boolean|) (4 . >) |ORDRING-;positive?;SB;1| (10 . <) + |ORDRING-;negative?;SB;2| (16 . |positive?|) (|Integer|) + (21 . |One|) (25 . |negative?|) (30 . |One|) (34 . -) + (39 . |zero?|) (44 . |Zero|) |ORDRING-;sign;SI;3| (48 . -) |ORDRING-;abs;2S;4|) - '#(|sign| 47 |positive?| 52 |negative?| 57 |abs| 62) 'NIL + '#(|sign| 53 |positive?| 58 |negative?| 63 |abs| 68) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 22 - '(0 6 0 7 2 6 8 0 0 9 1 6 8 0 12 0 13 0 - 14 1 6 8 0 15 0 6 0 16 1 13 0 0 17 1 - 6 8 0 18 0 13 0 19 1 6 0 0 21 1 0 13 - 0 20 1 0 8 0 10 1 0 8 0 11 1 0 0 0 - 22))))) + (|makeByteWordVec2| 23 + '(0 6 0 7 2 6 8 0 0 9 2 6 8 0 0 11 1 6 + 8 0 13 0 14 0 15 1 6 8 0 16 0 6 0 17 + 1 14 0 0 18 1 6 8 0 19 0 14 0 20 1 6 + 0 0 22 1 0 14 0 21 1 0 8 0 10 1 0 8 0 + 12 1 0 0 0 23))))) '|lookupComplete|)) |