diff options
Diffstat (limited to 'src/algebra/strap/RNS-.lsp')
| -rw-r--r-- | src/algebra/strap/RNS-.lsp | 27 |
1 files changed, 13 insertions, 14 deletions
diff --git a/src/algebra/strap/RNS-.lsp b/src/algebra/strap/RNS-.lsp index e7be74cf..1a319cca 100644 --- a/src/algebra/strap/RNS-.lsp +++ b/src/algebra/strap/RNS-.lsp @@ -47,7 +47,7 @@ (SPADCALL (SPADCALL |x| (|getShellEntry| $ 15)) (|getShellEntry| $ 16)) (|getShellEntry| $ 15))) - ('T (SPADCALL |x| (|getShellEntry| $ 16))))) + (T (SPADCALL |x| (|getShellEntry| $ 16))))) (DEFUN |RNS-;round;2S;4| (|x| $) (COND @@ -59,14 +59,13 @@ (|getShellEntry| $ 21)) (|getShellEntry| $ 11)) (|getShellEntry| $ 10))) - ('T - (SPADCALL - (SPADCALL |x| - (SPADCALL (|spadConstant| $ 18) - (SPADCALL 2 (|getShellEntry| $ 20)) - (|getShellEntry| $ 21)) - (|getShellEntry| $ 24)) - (|getShellEntry| $ 10))))) + (T (SPADCALL + (SPADCALL |x| + (SPADCALL (|spadConstant| $ 18) + (SPADCALL 2 (|getShellEntry| $ 20)) + (|getShellEntry| $ 21)) + (|getShellEntry| $ 24)) + (|getShellEntry| $ 10))))) (DEFUN |RNS-;norm;2S;5| (|x| $) (SPADCALL |x| (|getShellEntry| $ 26))) @@ -89,7 +88,7 @@ ((SPADCALL |x| |x1| (|getShellEntry| $ 38)) |x|) ((SPADCALL |x| (|spadConstant| $ 39) (|getShellEntry| $ 41)) (SPADCALL |x1| (|spadConstant| $ 18) (|getShellEntry| $ 11))) - ('T |x1|)))) + (T |x1|)))) (DEFUN |RNS-;ceiling;2S;9| (|x| $) (LET ((|x1| (SPADCALL (SPADCALL |x| (|getShellEntry| $ 37)) @@ -98,7 +97,7 @@ ((SPADCALL |x| |x1| (|getShellEntry| $ 38)) |x|) ((SPADCALL |x| (|spadConstant| $ 39) (|getShellEntry| $ 44)) (SPADCALL |x1| (|spadConstant| $ 18) (|getShellEntry| $ 24))) - ('T |x1|)))) + (T |x1|)))) (DEFUN |RNS-;patternMatch;SP2Pmr;10| (|x| |p| |l| $) (PROG (|r|) @@ -117,9 +116,9 @@ (|getShellEntry| $ 33)) (CDR |r|) (|getShellEntry| $ 52)) |l|) - ('T (SPADCALL (|getShellEntry| $ 53))))) - ('T (SPADCALL (|getShellEntry| $ 53))))))) - ('T (SPADCALL (|getShellEntry| $ 53)))))))) + (T (SPADCALL (|getShellEntry| $ 53))))) + (T (SPADCALL (|getShellEntry| $ 53))))))) + (T (SPADCALL (|getShellEntry| $ 53)))))))) (DEFUN |RealNumberSystem&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) |