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/RNS-.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/RNS-.lsp')
| -rw-r--r-- | src/algebra/strap/RNS-.lsp | 60 |
1 files changed, 30 insertions, 30 deletions
diff --git a/src/algebra/strap/RNS-.lsp b/src/algebra/strap/RNS-.lsp index 04fe9f0d..0ffc053f 100644 --- a/src/algebra/strap/RNS-.lsp +++ b/src/algebra/strap/RNS-.lsp @@ -107,20 +107,19 @@ (EXIT (COND ((SPADCALL |x| |x1| (|getShellEntry| $ 38)) |x|) ((SPADCALL |x| (|spadConstant| $ 39) - (|getShellEntry| $ 41)) - |x1|) - ('T + (|getShellEntry| $ 44)) (SPADCALL |x1| (|spadConstant| $ 18) - (|getShellEntry| $ 24))))))))) + (|getShellEntry| $ 24))) + ('T |x1|))))))) (DEFUN |RNS-;patternMatch;SP2Pmr;10| (|x| |p| |l| $) (PROG (|r|) (RETURN (SEQ (COND - ((SPADCALL |p| (|getShellEntry| $ 45)) - (SPADCALL |p| |x| |l| (|getShellEntry| $ 47))) - ((SPADCALL |p| (|getShellEntry| $ 48)) - (SEQ (LETT |r| (SPADCALL |p| (|getShellEntry| $ 50)) + ((SPADCALL |p| (|getShellEntry| $ 46)) + (SPADCALL |p| |x| |l| (|getShellEntry| $ 48))) + ((SPADCALL |p| (|getShellEntry| $ 49)) + (SEQ (LETT |r| (SPADCALL |p| (|getShellEntry| $ 51)) |RNS-;patternMatch;SP2Pmr;10|) (EXIT (COND ((QEQCAR |r| 0) @@ -128,11 +127,11 @@ ((SPADCALL (SPADCALL |x| (|getShellEntry| $ 33)) - (QCDR |r|) (|getShellEntry| $ 51)) + (QCDR |r|) (|getShellEntry| $ 52)) |l|) - ('T (SPADCALL (|getShellEntry| $ 52))))) - ('T (SPADCALL (|getShellEntry| $ 52))))))) - ('T (SPADCALL (|getShellEntry| $ 52)))))))) + ('T (SPADCALL (|getShellEntry| $ 53))))) + ('T (SPADCALL (|getShellEntry| $ 53))))))) + ('T (SPADCALL (|getShellEntry| $ 53)))))))) (DEFUN |RealNumberSystem&| (|#1|) (PROG (|dv$1| |dv$| $ |pv$|) @@ -140,7 +139,7 @@ (PROGN (LETT |dv$1| (|devaluate| |#1|) . #0=(|RealNumberSystem&|)) (LETT |dv$| (LIST '|RealNumberSystem&| |dv$1|) . #0#) - (LETT $ (|newShell| 57) . #0#) + (LETT $ (|newShell| 58) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) @@ -161,31 +160,32 @@ (70 . |convert|) (|Pattern| 32) (75 . |coerce|) |RNS-;convert;SP;7| (80 . |wholePart|) (85 . =) (91 . |Zero|) (95 . |Zero|) (99 . <) (105 . |One|) - |RNS-;floor;2S;8| |RNS-;ceiling;2S;9| (109 . |generic?|) - (|PatternMatchResult| 32 6) (114 . |addMatch|) - (121 . |constant?|) (|Union| 32 '"failed") - (126 . |retractIfCan|) (131 . =) (137 . |failed|) - (|PatternMatchResult| 32 $) |RNS-;patternMatch;SP2Pmr;10| - (|DoubleFloat|) (|OutputForm|)) - '#(|truncate| 141 |round| 146 |patternMatch| 151 |norm| 158 - |fractionPart| 163 |floor| 168 |convert| 173 |coerce| 178 - |characteristic| 188 |ceiling| 192) + |RNS-;floor;2S;8| (109 . >=) |RNS-;ceiling;2S;9| + (115 . |generic?|) (|PatternMatchResult| 32 6) + (120 . |addMatch|) (127 . |constant?|) + (|Union| 32 '"failed") (132 . |retractIfCan|) (137 . =) + (143 . |failed|) (|PatternMatchResult| 32 $) + |RNS-;patternMatch;SP2Pmr;10| (|DoubleFloat|) + (|OutputForm|)) + '#(|truncate| 147 |round| 152 |patternMatch| 157 |norm| 164 + |fractionPart| 169 |floor| 174 |convert| 179 |coerce| 184 + |characteristic| 194 |ceiling| 198) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 54 + (|makeByteWordVec2| 55 '(0 7 0 8 1 6 0 0 10 2 6 0 0 0 11 1 6 13 0 14 1 6 0 0 15 1 6 0 0 16 0 6 0 18 1 6 0 19 20 2 6 0 0 0 21 0 22 0 23 2 6 0 0 0 24 1 6 0 0 26 1 28 19 0 29 1 28 19 0 30 1 6 32 0 33 1 34 0 32 35 1 6 19 0 37 2 6 13 0 0 38 0 6 0 39 0 - 19 0 40 2 6 13 0 0 41 0 19 0 42 1 34 - 13 0 45 3 46 0 34 6 0 47 1 34 13 0 48 - 1 34 49 0 50 2 32 13 0 0 51 0 46 0 52 - 1 0 0 0 17 1 0 0 0 25 3 0 53 0 34 53 - 54 1 0 0 0 27 1 0 0 0 12 1 0 0 0 43 1 - 0 34 0 36 1 0 0 28 31 1 0 0 28 31 0 0 - 7 9 1 0 0 0 44))))) + 19 0 40 2 6 13 0 0 41 0 19 0 42 2 6 + 13 0 0 44 1 34 13 0 46 3 47 0 34 6 0 + 48 1 34 13 0 49 1 34 50 0 51 2 32 13 + 0 0 52 0 47 0 53 1 0 0 0 17 1 0 0 0 + 25 3 0 54 0 34 54 55 1 0 0 0 27 1 0 0 + 0 12 1 0 0 0 43 1 0 34 0 36 1 0 0 28 + 31 1 0 0 28 31 0 0 7 9 1 0 0 0 45))))) '|lookupComplete|)) |