aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/INS-.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/INS-.lsp')
-rw-r--r--src/algebra/strap/INS-.lsp138
1 files changed, 64 insertions, 74 deletions
diff --git a/src/algebra/strap/INS-.lsp b/src/algebra/strap/INS-.lsp
index f210ce16..f7993375 100644
--- a/src/algebra/strap/INS-.lsp
+++ b/src/algebra/strap/INS-.lsp
@@ -100,175 +100,165 @@
(DEFUN |INS-;differentiate;2S;2| (|x| $) (|spadConstant| $ 10))
(DEFUN |INS-;even?;SB;3| (|x| $)
- (NOT (SPADCALL |x| (|getShellEntry| $ 13))))
+ (NOT (SPADCALL |x| (|shellEntry| $ 13))))
(DEFUN |INS-;positive?;SB;4| (|x| $)
- (SPADCALL |x| (|spadConstant| $ 10) (|getShellEntry| $ 16)))
+ (SPADCALL |x| (|spadConstant| $ 10) (|shellEntry| $ 16)))
(DEFUN |INS-;copy;2S;5| (|x| $) (DECLARE (IGNORE $)) |x|)
(DEFUN |INS-;bit?;2SB;6| (|x| |i| $)
(SPADCALL
- (SPADCALL |x| (SPADCALL |i| (|getShellEntry| $ 19))
- (|getShellEntry| $ 20))
- (|getShellEntry| $ 13)))
+ (SPADCALL |x| (SPADCALL |i| (|shellEntry| $ 19))
+ (|shellEntry| $ 20))
+ (|shellEntry| $ 13)))
(DEFUN |INS-;mask;2S;7| (|n| $)
- (SPADCALL (SPADCALL (|spadConstant| $ 22) |n| (|getShellEntry| $ 20))
- (|getShellEntry| $ 23)))
+ (SPADCALL (SPADCALL (|spadConstant| $ 22) |n| (|shellEntry| $ 20))
+ (|shellEntry| $ 23)))
(DEFUN |INS-;rational?;SB;8| (|x| $) (DECLARE (IGNORE $)) T)
(DEFUN |INS-;euclideanSize;SNni;9| (|x| $)
(COND
- ((SPADCALL |x| (|spadConstant| $ 10) (|getShellEntry| $ 27))
+ ((SPADCALL |x| (|spadConstant| $ 10) (|shellEntry| $ 27))
(|error| "euclideanSize called on zero"))
- ((SPADCALL |x| (|spadConstant| $ 10) (|getShellEntry| $ 28))
- (LET ((#0=#:G1401 (- (SPADCALL |x| (|getShellEntry| $ 30)))))
+ ((SPADCALL |x| (|spadConstant| $ 10) (|shellEntry| $ 28))
+ (LET ((#0=#:G1401 (- (SPADCALL |x| (|shellEntry| $ 30)))))
(|check-subtype| (NOT (MINUSP #0#)) '(|NonNegativeInteger|) #0#)))
- (T (LET ((#1=#:G1402 (SPADCALL |x| (|getShellEntry| $ 30))))
+ (T (LET ((#1=#:G1402 (SPADCALL |x| (|shellEntry| $ 30))))
(|check-subtype| (NOT (MINUSP #1#)) '(|NonNegativeInteger|)
#1#)))))
(DEFUN |INS-;convert;SF;10| (|x| $)
- (SPADCALL (SPADCALL |x| (|getShellEntry| $ 30))
- (|getShellEntry| $ 34)))
+ (SPADCALL (SPADCALL |x| (|shellEntry| $ 30)) (|shellEntry| $ 34)))
(DEFUN |INS-;convert;SDf;11| (|x| $)
- (FLOAT (SPADCALL |x| (|getShellEntry| $ 30)) |$DoubleFloatMaximum|))
+ (FLOAT (SPADCALL |x| (|shellEntry| $ 30)) |$DoubleFloatMaximum|))
(DEFUN |INS-;convert;SIf;12| (|x| $)
- (SPADCALL (SPADCALL |x| (|getShellEntry| $ 30))
- (|getShellEntry| $ 40)))
+ (SPADCALL (SPADCALL |x| (|shellEntry| $ 30)) (|shellEntry| $ 40)))
(DEFUN |INS-;retract;SI;13| (|x| $)
- (SPADCALL |x| (|getShellEntry| $ 30)))
+ (SPADCALL |x| (|shellEntry| $ 30)))
(DEFUN |INS-;convert;SP;14| (|x| $)
- (SPADCALL (SPADCALL |x| (|getShellEntry| $ 30))
- (|getShellEntry| $ 44)))
+ (SPADCALL (SPADCALL |x| (|shellEntry| $ 30)) (|shellEntry| $ 44)))
-(DEFUN |INS-;factor;SF;15| (|x| $)
- (SPADCALL |x| (|getShellEntry| $ 48)))
+(DEFUN |INS-;factor;SF;15| (|x| $) (SPADCALL |x| (|shellEntry| $ 48)))
(DEFUN |INS-;squareFree;SF;16| (|x| $)
- (SPADCALL |x| (|getShellEntry| $ 51)))
+ (SPADCALL |x| (|shellEntry| $ 51)))
-(DEFUN |INS-;prime?;SB;17| (|x| $)
- (SPADCALL |x| (|getShellEntry| $ 54)))
+(DEFUN |INS-;prime?;SB;17| (|x| $) (SPADCALL |x| (|shellEntry| $ 54)))
(DEFUN |INS-;factorial;2S;18| (|x| $)
- (SPADCALL |x| (|getShellEntry| $ 57)))
+ (SPADCALL |x| (|shellEntry| $ 57)))
(DEFUN |INS-;binomial;3S;19| (|n| |m| $)
- (SPADCALL |n| |m| (|getShellEntry| $ 59)))
+ (SPADCALL |n| |m| (|shellEntry| $ 59)))
(DEFUN |INS-;permutation;3S;20| (|n| |m| $)
- (SPADCALL |n| |m| (|getShellEntry| $ 61)))
+ (SPADCALL |n| |m| (|shellEntry| $ 61)))
(DEFUN |INS-;retractIfCan;SU;21| (|x| $)
- (CONS 0 (SPADCALL |x| (|getShellEntry| $ 30))))
+ (CONS 0 (SPADCALL |x| (|shellEntry| $ 30))))
(DEFUN |INS-;init;S;22| ($) (|spadConstant| $ 10))
(DEFUN |INS-;nextItem;SU;23| (|n| $)
(COND
- ((SPADCALL |n| (|getShellEntry| $ 66))
- (CONS 0 (|spadConstant| $ 22)))
- ((SPADCALL |n| (|spadConstant| $ 10) (|getShellEntry| $ 16))
- (CONS 0 (SPADCALL |n| (|getShellEntry| $ 19))))
+ ((SPADCALL |n| (|shellEntry| $ 66)) (CONS 0 (|spadConstant| $ 22)))
+ ((SPADCALL |n| (|spadConstant| $ 10) (|shellEntry| $ 16))
+ (CONS 0 (SPADCALL |n| (|shellEntry| $ 19))))
(T (CONS 0
- (SPADCALL (|spadConstant| $ 22) |n|
- (|getShellEntry| $ 67))))))
+ (SPADCALL (|spadConstant| $ 22) |n| (|shellEntry| $ 67))))))
(DEFUN |INS-;patternMatch;SP2Pmr;24| (|x| |p| |l| $)
- (SPADCALL |x| |p| |l| (|getShellEntry| $ 72)))
+ (SPADCALL |x| |p| |l| (|shellEntry| $ 72)))
(DEFUN |INS-;rational;SF;25| (|x| $)
- (SPADCALL (SPADCALL |x| (|getShellEntry| $ 30))
- (|getShellEntry| $ 76)))
+ (SPADCALL (SPADCALL |x| (|shellEntry| $ 30)) (|shellEntry| $ 76)))
(DEFUN |INS-;rationalIfCan;SU;26| (|x| $)
(CONS 0
- (SPADCALL (SPADCALL |x| (|getShellEntry| $ 30))
- (|getShellEntry| $ 76))))
+ (SPADCALL (SPADCALL |x| (|shellEntry| $ 30))
+ (|shellEntry| $ 76))))
(DEFUN |INS-;symmetricRemainder;3S;27| (|x| |n| $)
- (LET ((|r| (SPADCALL |x| |n| (|getShellEntry| $ 80))))
+ (LET ((|r| (SPADCALL |x| |n| (|shellEntry| $ 80))))
(COND
- ((SPADCALL |r| (|spadConstant| $ 10) (|getShellEntry| $ 27)) |r|)
+ ((SPADCALL |r| (|spadConstant| $ 10) (|shellEntry| $ 27)) |r|)
(T (SEQ (COND
((SPADCALL |n| (|spadConstant| $ 10)
- (|getShellEntry| $ 28))
- (SETQ |n| (SPADCALL |n| (|getShellEntry| $ 19)))))
+ (|shellEntry| $ 28))
+ (SETQ |n| (SPADCALL |n| (|shellEntry| $ 19)))))
(EXIT (COND
((SPADCALL |r| (|spadConstant| $ 10)
- (|getShellEntry| $ 16))
+ (|shellEntry| $ 16))
(COND
((SPADCALL
- (SPADCALL 2 |r| (|getShellEntry| $ 82))
- |n| (|getShellEntry| $ 16))
- (SPADCALL |r| |n| (|getShellEntry| $ 67)))
+ (SPADCALL 2 |r| (|shellEntry| $ 82)) |n|
+ (|shellEntry| $ 16))
+ (SPADCALL |r| |n| (|shellEntry| $ 67)))
(T |r|)))
((NOT (SPADCALL
(SPADCALL
(SPADCALL 2 |r|
- (|getShellEntry| $ 82))
- |n| (|getShellEntry| $ 83))
+ (|shellEntry| $ 82))
+ |n| (|shellEntry| $ 83))
(|spadConstant| $ 10)
- (|getShellEntry| $ 16)))
- (SPADCALL |r| |n| (|getShellEntry| $ 83)))
+ (|shellEntry| $ 16)))
+ (SPADCALL |r| |n| (|shellEntry| $ 83)))
(T |r|))))))))
(DEFUN |INS-;invmod;3S;28| (|a| |b| $)
(PROG (|c| |c1| |d| |d1| |q| |r| |r1|)
(RETURN
(SEQ (COND
- ((SPADCALL |a| (|getShellEntry| $ 85))
- (SETQ |a| (SPADCALL |a| |b| (|getShellEntry| $ 86)))))
+ ((SPADCALL |a| (|shellEntry| $ 85))
+ (SETQ |a| (SPADCALL |a| |b| (|shellEntry| $ 86)))))
(LETT |c| |a| |INS-;invmod;3S;28|)
(LETT |c1| (|spadConstant| $ 22) |INS-;invmod;3S;28|)
(LETT |d| |b| |INS-;invmod;3S;28|)
(LETT |d1| (|spadConstant| $ 10) |INS-;invmod;3S;28|)
(LOOP
(COND
- ((NOT (NOT (SPADCALL |d| (|getShellEntry| $ 66))))
+ ((NOT (NOT (SPADCALL |d| (|shellEntry| $ 66))))
(RETURN NIL))
- (T (SEQ (LETT |q|
- (SPADCALL |c| |d| (|getShellEntry| $ 87))
+ (T (SEQ (LETT |q| (SPADCALL |c| |d| (|shellEntry| $ 87))
|INS-;invmod;3S;28|)
(LETT |r|
(SPADCALL |c|
- (SPADCALL |q| |d|
- (|getShellEntry| $ 88))
- (|getShellEntry| $ 67))
+ (SPADCALL |q| |d| (|shellEntry| $ 88))
+ (|shellEntry| $ 67))
|INS-;invmod;3S;28|)
(LETT |r1|
(SPADCALL |c1|
(SPADCALL |q| |d1|
- (|getShellEntry| $ 88))
- (|getShellEntry| $ 67))
+ (|shellEntry| $ 88))
+ (|shellEntry| $ 67))
|INS-;invmod;3S;28|)
(SETQ |c| |d|) (SETQ |c1| |d1|) (SETQ |d| |r|)
(EXIT (SETQ |d1| |r1|))))))
(COND
- ((NOT (SPADCALL |c| (|getShellEntry| $ 89)))
+ ((NOT (SPADCALL |c| (|shellEntry| $ 89)))
(EXIT (|error| "inverse does not exist"))))
(EXIT (COND
- ((SPADCALL |c1| (|getShellEntry| $ 85))
- (SPADCALL |c1| |b| (|getShellEntry| $ 83)))
+ ((SPADCALL |c1| (|shellEntry| $ 85))
+ (SPADCALL |c1| |b| (|shellEntry| $ 83)))
(T |c1|)))))))
(DEFUN |INS-;powmod;4S;29| (|x| |n| |p| $)
(PROG (|y| |z|)
(RETURN
(SEQ (COND
- ((SPADCALL |x| (|getShellEntry| $ 85))
- (SETQ |x| (SPADCALL |x| |p| (|getShellEntry| $ 86)))))
+ ((SPADCALL |x| (|shellEntry| $ 85))
+ (SETQ |x| (SPADCALL |x| |p| (|shellEntry| $ 86)))))
(EXIT (COND
- ((SPADCALL |x| (|getShellEntry| $ 66))
+ ((SPADCALL |x| (|shellEntry| $ 66))
(|spadConstant| $ 10))
- ((SPADCALL |n| (|getShellEntry| $ 66))
+ ((SPADCALL |n| (|shellEntry| $ 66))
(|spadConstant| $ 22))
(T (SEQ (LETT |y| (|spadConstant| $ 22)
|INS-;powmod;4S;29|)
@@ -280,10 +270,10 @@
(SEQ
(COND
((SPADCALL |n|
- (|getShellEntry| $ 13))
+ (|shellEntry| $ 13))
(SETQ |y|
(SPADCALL |y| |z| |p|
- (|getShellEntry| $ 91)))))
+ (|shellEntry| $ 91)))))
(EXIT
(COND
((SPADCALL
@@ -291,16 +281,16 @@
(SPADCALL |n|
(SPADCALL
(|spadConstant| $ 22)
- (|getShellEntry| $ 19))
- (|getShellEntry| $ 20)))
- (|getShellEntry| $ 66))
+ (|shellEntry| $ 19))
+ (|shellEntry| $ 20)))
+ (|shellEntry| $ 66))
(RETURN-FROM
|INS-;powmod;4S;29|
|y|))
(T
(SETQ |z|
(SPADCALL |z| |z| |p|
- (|getShellEntry| $ 91)))))))))))))))))))
+ (|shellEntry| $ 91)))))))))))))))))))
(DEFUN |IntegerNumberSystem&| (|#1|)
(LET* ((|dv$1| (|devaluate| |#1|))
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-06 16:58:33 +0000