diff options
author | dos-reis <gdr@axiomatics.org> | 2011-02-07 00:39:58 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-02-07 00:39:58 +0000 |
commit | 351022a3ec02f6e131d54f3a5bcb27a8dfffbcb0 (patch) | |
tree | 0b137b74a6663d6875e7f6d8862833f782032bd4 /src/algebra/strap/RNS-.lsp | |
parent | 2eef476c721ed93b1acaaf1a77e20b5b7c73ed4f (diff) | |
download | open-axiom-351022a3ec02f6e131d54f3a5bcb27a8dfffbcb0.tar.gz |
* interp/c-util.boot (matchingEXIT): New.
(simplifySEQ): Use it.
Diffstat (limited to 'src/algebra/strap/RNS-.lsp')
-rw-r--r-- | src/algebra/strap/RNS-.lsp | 33 |
1 files changed, 16 insertions, 17 deletions
diff --git a/src/algebra/strap/RNS-.lsp b/src/algebra/strap/RNS-.lsp index 1a319cca..3989a430 100644 --- a/src/algebra/strap/RNS-.lsp +++ b/src/algebra/strap/RNS-.lsp @@ -102,23 +102,22 @@ (DEFUN |RNS-;patternMatch;SP2Pmr;10| (|x| |p| |l| $) (PROG (|r|) (RETURN - (SEQ (COND - ((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 - ((ZEROP (CAR |r|)) - (COND - ((SPADCALL - (SPADCALL |x| - (|getShellEntry| $ 33)) - (CDR |r|) (|getShellEntry| $ 52)) - |l|) - (T (SPADCALL (|getShellEntry| $ 53))))) - (T (SPADCALL (|getShellEntry| $ 53))))))) - (T (SPADCALL (|getShellEntry| $ 53)))))))) + (COND + ((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 + ((ZEROP (CAR |r|)) + (COND + ((SPADCALL + (SPADCALL |x| (|getShellEntry| $ 33)) + (CDR |r|) (|getShellEntry| $ 52)) + |l|) + (T (SPADCALL (|getShellEntry| $ 53))))) + (T (SPADCALL (|getShellEntry| $ 53))))))) + (T (SPADCALL (|getShellEntry| $ 53))))))) (DEFUN |RealNumberSystem&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) |