diff options
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|)) |