aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/fspace.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-04-14 17:17:15 +0000
committerdos-reis <gdr@axiomatics.org>2008-04-14 17:17:15 +0000
commit8b65bcf401b83f62029436d36cc6a6c8cdf4be85 (patch)
tree8e12d378fbe7eb20caaaeaec9a969b74cc4186aa /src/algebra/fspace.spad.pamphlet
parent144847152d5a5e764f66d42e3fed6f64c3da6c0c (diff)
downloadopen-axiom-8b65bcf401b83f62029436d36cc6a6c8cdf4be85.tar.gz
Update cached Lisp translations.
Diffstat (limited to 'src/algebra/fspace.spad.pamphlet')
-rw-r--r--src/algebra/fspace.spad.pamphlet453
1 files changed, 248 insertions, 205 deletions
diff --git a/src/algebra/fspace.spad.pamphlet b/src/algebra/fspace.spad.pamphlet
index d044d256..cec12f80 100644
--- a/src/algebra/fspace.spad.pamphlet
+++ b/src/algebra/fspace.spad.pamphlet
@@ -502,25 +502,27 @@ Note that this code is not included in the generated catdef.spad file.
(/VERSIONCHECK 2)
-(DEFUN |ES-;box;2S;1| (|x| $) (SPADCALL (LIST |x|) (QREFELT $ 16)))
+(DEFUN |ES-;box;2S;1| (|x| $)
+ (SPADCALL (LIST |x|) (|getShellEntry| $ 16)))
-(DEFUN |ES-;paren;2S;2| (|x| $) (SPADCALL (LIST |x|) (QREFELT $ 18)))
+(DEFUN |ES-;paren;2S;2| (|x| $)
+ (SPADCALL (LIST |x|) (|getShellEntry| $ 18)))
(DEFUN |ES-;belong?;BoB;3| (|op| $)
(COND
- ((SPADCALL |op| (QREFELT $ 13) (QREFELT $ 21)) 'T)
- ('T (SPADCALL |op| (QREFELT $ 14) (QREFELT $ 21)))))
+ ((SPADCALL |op| (|getShellEntry| $ 13) (|getShellEntry| $ 21)) 'T)
+ ('T (SPADCALL |op| (|getShellEntry| $ 14) (|getShellEntry| $ 21)))))
(DEFUN |ES-;listk| (|f| $)
- (SPADCALL (|ES-;allKernels| |f| $) (QREFELT $ 25)))
+ (SPADCALL (|ES-;allKernels| |f| $) (|getShellEntry| $ 26)))
(DEFUN |ES-;tower;SL;5| (|f| $)
- (SPADCALL (|ES-;listk| |f| $) (QREFELT $ 26)))
+ (SPADCALL (|ES-;listk| |f| $) (|getShellEntry| $ 27)))
(DEFUN |ES-;allk| (|l| $)
- (PROG (#0=#:G1410 |f| #1=#:G1411)
+ (PROG (#0=#:G1419 |f| #1=#:G1420)
(RETURN
- (SEQ (SPADCALL (ELT $ 30)
+ (SEQ (SPADCALL (ELT $ 32)
(PROGN
(LETT #0# NIL |ES-;allk|)
(SEQ (LETT |f| NIL |ES-;allk|)
@@ -537,10 +539,11 @@ Note that this code is not included in the generated catdef.spad file.
|ES-;allk|)))
(LETT #1# (CDR #1#) |ES-;allk|) (GO G190) G191
(EXIT (NREVERSE0 #0#))))
- (SPADCALL NIL (QREFELT $ 29)) (QREFELT $ 33))))))
+ (SPADCALL NIL (|getShellEntry| $ 31))
+ (|getShellEntry| $ 35))))))
(DEFUN |ES-;operators;SL;7| (|f| $)
- (PROG (#0=#:G1414 |k| #1=#:G1415)
+ (PROG (#0=#:G1423 |k| #1=#:G1424)
(RETURN
(SEQ (PROGN
(LETT #0# NIL |ES-;operators;SL;7|)
@@ -554,20 +557,22 @@ Note that this code is not included in the generated catdef.spad file.
NIL))
(GO G191)))
(SEQ (EXIT (LETT #0#
- (CONS (SPADCALL |k| (QREFELT $ 35))
+ (CONS
+ (SPADCALL |k|
+ (|getShellEntry| $ 36))
#0#)
|ES-;operators;SL;7|)))
(LETT #1# (CDR #1#) |ES-;operators;SL;7|) (GO G190)
G191 (EXIT (NREVERSE0 #0#))))))))
(DEFUN |ES-;height;SNni;8| (|f| $)
- (PROG (#0=#:G1420 |k| #1=#:G1421)
+ (PROG (#0=#:G1429 |k| #1=#:G1430)
(RETURN
- (SEQ (SPADCALL (ELT $ 41)
+ (SEQ (SPADCALL (ELT $ 42)
(PROGN
(LETT #0# NIL |ES-;height;SNni;8|)
(SEQ (LETT |k| NIL |ES-;height;SNni;8|)
- (LETT #1# (SPADCALL |f| (QREFELT $ 38))
+ (LETT #1# (SPADCALL |f| (|getShellEntry| $ 39))
|ES-;height;SNni;8|)
G190
(COND
@@ -578,15 +583,16 @@ Note that this code is not included in the generated catdef.spad file.
(GO G191)))
(SEQ (EXIT (LETT #0#
(CONS
- (SPADCALL |k| (QREFELT $ 40))
+ (SPADCALL |k|
+ (|getShellEntry| $ 41))
#0#)
|ES-;height;SNni;8|)))
(LETT #1# (CDR #1#) |ES-;height;SNni;8|)
(GO G190) G191 (EXIT (NREVERSE0 #0#))))
- 0 (QREFELT $ 44))))))
+ 0 (|getShellEntry| $ 45))))))
(DEFUN |ES-;freeOf?;SSB;9| (|x| |s| $)
- (PROG (#0=#:G1425 |k| #1=#:G1426)
+ (PROG (#0=#:G1434 |k| #1=#:G1435)
(RETURN
(SEQ (SPADCALL
(SPADCALL |s|
@@ -605,16 +611,17 @@ Note that this code is not included in the generated catdef.spad file.
(GO G191)))
(SEQ (EXIT (LETT #0#
(CONS
- (SPADCALL |k| (QREFELT $ 46))
+ (SPADCALL |k|
+ (|getShellEntry| $ 47))
#0#)
|ES-;freeOf?;SSB;9|)))
(LETT #1# (CDR #1#) |ES-;freeOf?;SSB;9|)
(GO G190) G191 (EXIT (NREVERSE0 #0#))))
- (QREFELT $ 48))
- (QREFELT $ 49))))))
+ (|getShellEntry| $ 49))
+ (|getShellEntry| $ 50))))))
(DEFUN |ES-;distribute;2S;10| (|x| $)
- (PROG (#0=#:G1429 |k| #1=#:G1430)
+ (PROG (#0=#:G1438 |k| #1=#:G1439)
(RETURN
(SEQ (|ES-;unwrap|
(PROGN
@@ -631,8 +638,9 @@ Note that this code is not included in the generated catdef.spad file.
NIL))
(GO G191)))
(SEQ (EXIT (COND
- ((SPADCALL |k| (QREFELT $ 13)
- (QREFELT $ 51))
+ ((SPADCALL |k|
+ (|getShellEntry| $ 13)
+ (|getShellEntry| $ 52))
(LETT #0# (CONS |k| #0#)
|ES-;distribute;2S;10|)))))
(LETT #1# (CDR #1#) |ES-;distribute;2S;10|)
@@ -640,59 +648,62 @@ Note that this code is not included in the generated catdef.spad file.
|x| $)))))
(DEFUN |ES-;box;LS;11| (|l| $)
- (SPADCALL (QREFELT $ 14) |l| (QREFELT $ 53)))
+ (SPADCALL (|getShellEntry| $ 14) |l| (|getShellEntry| $ 54)))
(DEFUN |ES-;paren;LS;12| (|l| $)
- (SPADCALL (QREFELT $ 13) |l| (QREFELT $ 53)))
+ (SPADCALL (|getShellEntry| $ 13) |l| (|getShellEntry| $ 54)))
(DEFUN |ES-;freeOf?;2SB;13| (|x| |k| $)
- (SPADCALL (SPADCALL (SPADCALL |k| (QREFELT $ 57)) (|ES-;listk| |x| $)
- (QREFELT $ 58))
- (QREFELT $ 49)))
+ (SPADCALL
+ (SPADCALL (SPADCALL |k| (|getShellEntry| $ 57))
+ (|ES-;listk| |x| $) (|getShellEntry| $ 58))
+ (|getShellEntry| $ 50)))
(DEFUN |ES-;kernel;Bo2S;14| (|op| |arg| $)
- (SPADCALL |op| (LIST |arg|) (QREFELT $ 60)))
+ (SPADCALL |op| (LIST |arg|) (|getShellEntry| $ 60)))
(DEFUN |ES-;elt;Bo2S;15| (|op| |x| $)
- (SPADCALL |op| (LIST |x|) (QREFELT $ 53)))
+ (SPADCALL |op| (LIST |x|) (|getShellEntry| $ 54)))
(DEFUN |ES-;elt;Bo3S;16| (|op| |x| |y| $)
- (SPADCALL |op| (LIST |x| |y|) (QREFELT $ 53)))
+ (SPADCALL |op| (LIST |x| |y|) (|getShellEntry| $ 54)))
(DEFUN |ES-;elt;Bo4S;17| (|op| |x| |y| |z| $)
- (SPADCALL |op| (LIST |x| |y| |z|) (QREFELT $ 53)))
+ (SPADCALL |op| (LIST |x| |y| |z|) (|getShellEntry| $ 54)))
(DEFUN |ES-;elt;Bo5S;18| (|op| |x| |y| |z| |t| $)
- (SPADCALL |op| (LIST |x| |y| |z| |t|) (QREFELT $ 53)))
+ (SPADCALL |op| (LIST |x| |y| |z| |t|) (|getShellEntry| $ 54)))
(DEFUN |ES-;eval;SSMS;19| (|x| |s| |f| $)
- (SPADCALL |x| (LIST |s|) (LIST |f|) (QREFELT $ 68)))
+ (SPADCALL |x| (LIST |s|) (LIST |f|) (|getShellEntry| $ 68)))
(DEFUN |ES-;eval;SBoMS;20| (|x| |s| |f| $)
- (SPADCALL |x| (LIST (SPADCALL |s| (QREFELT $ 70))) (LIST |f|)
- (QREFELT $ 68)))
+ (SPADCALL |x| (LIST (SPADCALL |s| (|getShellEntry| $ 70))) (LIST |f|)
+ (|getShellEntry| $ 68)))
(DEFUN |ES-;eval;SSMS;21| (|x| |s| |f| $)
(SPADCALL |x| (LIST |s|)
(LIST (CONS #'|ES-;eval;SSMS;21!0| (VECTOR |f| $)))
- (QREFELT $ 68)))
+ (|getShellEntry| $ 68)))
(DEFUN |ES-;eval;SSMS;21!0| (|#1| $$)
- (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT $$ 1) 73)) (QREFELT $$ 0)))
+ (SPADCALL (SPADCALL |#1| (|getShellEntry| (|getShellEntry| $$ 1) 73))
+ (|getShellEntry| $$ 0)))
(DEFUN |ES-;eval;SBoMS;22| (|x| |s| |f| $)
(SPADCALL |x| (LIST |s|)
(LIST (CONS #'|ES-;eval;SBoMS;22!0| (VECTOR |f| $)))
- (QREFELT $ 76)))
+ (|getShellEntry| $ 76)))
(DEFUN |ES-;eval;SBoMS;22!0| (|#1| $$)
- (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT $$ 1) 73)) (QREFELT $$ 0)))
+ (SPADCALL (SPADCALL |#1| (|getShellEntry| (|getShellEntry| $$ 1) 73))
+ (|getShellEntry| $$ 0)))
(DEFUN |ES-;subst;SES;23| (|x| |e| $)
- (SPADCALL |x| (LIST |e|) (QREFELT $ 79)))
+ (SPADCALL |x| (LIST |e|) (|getShellEntry| $ 80)))
(DEFUN |ES-;eval;SLLS;24| (|x| |ls| |lf| $)
- (PROG (#0=#:G1450 |f| #1=#:G1451)
+ (PROG (#0=#:G1459 |f| #1=#:G1460)
(RETURN
(SEQ (SPADCALL |x| |ls|
(PROGN
@@ -713,13 +724,14 @@ Note that this code is not included in the generated catdef.spad file.
|ES-;eval;SLLS;24|)))
(LETT #1# (CDR #1#) |ES-;eval;SLLS;24|) (GO G190)
G191 (EXIT (NREVERSE0 #0#))))
- (QREFELT $ 76))))))
+ (|getShellEntry| $ 76))))))
(DEFUN |ES-;eval;SLLS;24!0| (|#1| $$)
- (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT $$ 1) 73)) (QREFELT $$ 0)))
+ (SPADCALL (SPADCALL |#1| (|getShellEntry| (|getShellEntry| $$ 1) 73))
+ (|getShellEntry| $$ 0)))
(DEFUN |ES-;eval;SLLS;25| (|x| |ls| |lf| $)
- (PROG (#0=#:G1454 |f| #1=#:G1455)
+ (PROG (#0=#:G1463 |f| #1=#:G1464)
(RETURN
(SEQ (SPADCALL |x| |ls|
(PROGN
@@ -740,13 +752,14 @@ Note that this code is not included in the generated catdef.spad file.
|ES-;eval;SLLS;25|)))
(LETT #1# (CDR #1#) |ES-;eval;SLLS;25|) (GO G190)
G191 (EXIT (NREVERSE0 #0#))))
- (QREFELT $ 68))))))
+ (|getShellEntry| $ 68))))))
(DEFUN |ES-;eval;SLLS;25!0| (|#1| $$)
- (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT $$ 1) 73)) (QREFELT $$ 0)))
+ (SPADCALL (SPADCALL |#1| (|getShellEntry| (|getShellEntry| $$ 1) 73))
+ (|getShellEntry| $$ 0)))
(DEFUN |ES-;eval;SLLS;26| (|x| |ls| |lf| $)
- (PROG (#0=#:G1459 |s| #1=#:G1460)
+ (PROG (#0=#:G1468 |s| #1=#:G1469)
(RETURN
(SEQ (SPADCALL |x|
(PROGN
@@ -761,15 +774,16 @@ Note that this code is not included in the generated catdef.spad file.
(GO G191)))
(SEQ (EXIT (LETT #0#
(CONS
- (SPADCALL |s| (QREFELT $ 70))
+ (SPADCALL |s|
+ (|getShellEntry| $ 70))
#0#)
|ES-;eval;SLLS;26|)))
(LETT #1# (CDR #1#) |ES-;eval;SLLS;26|) (GO G190)
G191 (EXIT (NREVERSE0 #0#))))
- |lf| (QREFELT $ 68))))))
+ |lf| (|getShellEntry| $ 68))))))
(DEFUN |ES-;map;MKS;27| (|fn| |k| $)
- (PROG (#0=#:G1475 |x| #1=#:G1476 |l|)
+ (PROG (#0=#:G1484 |x| #1=#:G1485 |l|)
(RETURN
(SEQ (COND
((SPADCALL
@@ -777,7 +791,9 @@ Note that this code is not included in the generated catdef.spad file.
(PROGN
(LETT #0# NIL |ES-;map;MKS;27|)
(SEQ (LETT |x| NIL |ES-;map;MKS;27|)
- (LETT #1# (SPADCALL |k| (QREFELT $ 86))
+ (LETT #1#
+ (SPADCALL |k|
+ (|getShellEntry| $ 86))
|ES-;map;MKS;27|)
G190
(COND
@@ -794,25 +810,28 @@ Note that this code is not included in the generated catdef.spad file.
(LETT #1# (CDR #1#) |ES-;map;MKS;27|)
(GO G190) G191 (EXIT (NREVERSE0 #0#))))
|ES-;map;MKS;27|)
- (SPADCALL |k| (QREFELT $ 86)) (QREFELT $ 87))
- (SPADCALL |k| (QREFELT $ 88)))
+ (SPADCALL |k| (|getShellEntry| $ 86))
+ (|getShellEntry| $ 87))
+ (SPADCALL |k| (|getShellEntry| $ 88)))
('T
- (SPADCALL (SPADCALL |k| (QREFELT $ 35)) |l|
- (QREFELT $ 53))))))))
+ (SPADCALL (SPADCALL |k| (|getShellEntry| $ 36)) |l|
+ (|getShellEntry| $ 54))))))))
(DEFUN |ES-;operator;2Bo;28| (|op| $)
(COND
- ((SPADCALL |op| (SPADCALL "%paren" (QREFELT $ 9)) (QREFELT $ 90))
- (QREFELT $ 13))
- ((SPADCALL |op| (SPADCALL "%box" (QREFELT $ 9)) (QREFELT $ 90))
- (QREFELT $ 14))
+ ((SPADCALL |op| (SPADCALL "%paren" (|getShellEntry| $ 9))
+ (|getShellEntry| $ 90))
+ (|getShellEntry| $ 13))
+ ((SPADCALL |op| (SPADCALL "%box" (|getShellEntry| $ 9))
+ (|getShellEntry| $ 90))
+ (|getShellEntry| $ 14))
('T (|error| "Unknown operator"))))
(DEFUN |ES-;mainKernel;SU;29| (|x| $)
- (PROG (|l| |kk| #0=#:G1492 |n| |k|)
+ (PROG (|l| |kk| #0=#:G1501 |n| |k|)
(RETURN
(SEQ (COND
- ((NULL (LETT |l| (SPADCALL |x| (QREFELT $ 38))
+ ((NULL (LETT |l| (SPADCALL |x| (|getShellEntry| $ 39))
|ES-;mainKernel;SU;29|))
(CONS 1 "failed"))
('T
@@ -820,7 +839,7 @@ Note that this code is not included in the generated catdef.spad file.
(SPADCALL
(LETT |k| (|SPADfirst| |l|)
|ES-;mainKernel;SU;29|)
- (QREFELT $ 40))
+ (|getShellEntry| $ 41))
|ES-;mainKernel;SU;29|)
(SEQ (LETT |kk| NIL |ES-;mainKernel;SU;29|)
(LETT #0# (CDR |l|) |ES-;mainKernel;SU;29|)
@@ -834,10 +853,12 @@ Note that this code is not included in the generated catdef.spad file.
(GO G191)))
(SEQ (EXIT (COND
((< |n|
- (SPADCALL |kk| (QREFELT $ 40)))
+ (SPADCALL |kk|
+ (|getShellEntry| $ 41)))
(SEQ
(LETT |n|
- (SPADCALL |kk| (QREFELT $ 40))
+ (SPADCALL |kk|
+ (|getShellEntry| $ 41))
|ES-;mainKernel;SU;29|)
(EXIT
(LETT |k| |kk|
@@ -847,13 +868,13 @@ Note that this code is not included in the generated catdef.spad file.
(EXIT (CONS 0 |k|)))))))))
(DEFUN |ES-;allKernels| (|f| $)
- (PROG (|l| |k| #0=#:G1505 |u| |s0| |n| |arg| |t| |s|)
+ (PROG (|l| |k| #0=#:G1514 |u| |s0| |n| |arg| |t| |s|)
(RETURN
(SEQ (LETT |s|
(SPADCALL
- (LETT |l| (SPADCALL |f| (QREFELT $ 38))
+ (LETT |l| (SPADCALL |f| (|getShellEntry| $ 39))
|ES-;allKernels|)
- (QREFELT $ 29))
+ (|getShellEntry| $ 31))
|ES-;allKernels|)
(SEQ (LETT |k| NIL |ES-;allKernels|)
(LETT #0# |l| |ES-;allKernels|) G190
@@ -866,25 +887,27 @@ Note that this code is not included in the generated catdef.spad file.
(SEQ (LETT |t|
(SEQ (LETT |u|
(SPADCALL
- (SPADCALL |k| (QREFELT $ 35))
- "%dummyVar" (QREFELT $ 95))
+ (SPADCALL |k|
+ (|getShellEntry| $ 36))
+ "%dummyVar"
+ (|getShellEntry| $ 96))
|ES-;allKernels|)
(EXIT (COND
((QEQCAR |u| 0)
(SEQ
(LETT |arg|
(SPADCALL |k|
- (QREFELT $ 86))
+ (|getShellEntry| $ 86))
|ES-;allKernels|)
(LETT |s0|
(SPADCALL
(SPADCALL
(SPADCALL |arg|
- (QREFELT $ 96))
- (QREFELT $ 57))
+ (|getShellEntry| $ 97))
+ (|getShellEntry| $ 57))
(|ES-;allKernels|
(|SPADfirst| |arg|) $)
- (QREFELT $ 97))
+ (|getShellEntry| $ 98))
|ES-;allKernels|)
(LETT |arg| (CDR (CDR |arg|))
|ES-;allKernels|)
@@ -897,13 +920,16 @@ Note that this code is not included in the generated catdef.spad file.
(EXIT
(SPADCALL |s0|
(|ES-;allk| |arg| $)
- (QREFELT $ 30)))))
+ (|getShellEntry| $ 32)))))
('T
(|ES-;allk|
- (SPADCALL |k| (QREFELT $ 86))
+ (SPADCALL |k|
+ (|getShellEntry| $ 86))
$)))))
|ES-;allKernels|)
- (EXIT (LETT |s| (SPADCALL |s| |t| (QREFELT $ 30))
+ (EXIT (LETT |s|
+ (SPADCALL |s| |t|
+ (|getShellEntry| $ 32))
|ES-;allKernels|)))
(LETT #0# (CDR #0#) |ES-;allKernels|) (GO G190) G191
(EXIT NIL))
@@ -911,17 +937,17 @@ Note that this code is not included in the generated catdef.spad file.
(DEFUN |ES-;kernel;BoLS;31| (|op| |args| $)
(COND
- ((NULL (SPADCALL |op| (QREFELT $ 98)))
+ ((NULL (SPADCALL |op| (|getShellEntry| $ 99)))
(|error| "Unknown operator"))
('T (|ES-;okkernel| |op| |args| $))))
(DEFUN |ES-;okkernel| (|op| |l| $)
- (PROG (#0=#:G1512 |f| #1=#:G1513)
+ (PROG (#0=#:G1521 |f| #1=#:G1522)
(RETURN
(SEQ (SPADCALL
(SPADCALL |op| |l|
(+ 1
- (SPADCALL (ELT $ 41)
+ (SPADCALL (ELT $ 42)
(PROGN
(LETT #0# NIL |ES-;okkernel|)
(SEQ (LETT |f| NIL |ES-;okkernel|)
@@ -936,30 +962,33 @@ Note that this code is not included in the generated catdef.spad file.
(SEQ (EXIT
(LETT #0#
(CONS
- (SPADCALL |f| (QREFELT $ 100))
+ (SPADCALL |f|
+ (|getShellEntry| $ 101))
#0#)
|ES-;okkernel|)))
(LETT #1# (CDR #1#) |ES-;okkernel|)
(GO G190) G191 (EXIT (NREVERSE0 #0#))))
- 0 (QREFELT $ 44)))
- (QREFELT $ 101))
- (QREFELT $ 88))))))
+ 0 (|getShellEntry| $ 45)))
+ (|getShellEntry| $ 102))
+ (|getShellEntry| $ 88))))))
(DEFUN |ES-;elt;BoLS;33| (|op| |args| $)
- (PROG (|u| #0=#:G1529 |v|)
+ (PROG (|u| #0=#:G1538 |v|)
(RETURN
(SEQ (EXIT (COND
- ((NULL (SPADCALL |op| (QREFELT $ 98)))
+ ((NULL (SPADCALL |op| (|getShellEntry| $ 99)))
(|error| "Unknown operator"))
('T
- (SEQ (SEQ (LETT |u| (SPADCALL |op| (QREFELT $ 103))
+ (SEQ (SEQ (LETT |u|
+ (SPADCALL |op|
+ (|getShellEntry| $ 104))
|ES-;elt;BoLS;33|)
(EXIT (COND
((QEQCAR |u| 0)
(COND
- ((NULL
- (EQL (LENGTH |args|)
- (QCDR |u|)))
+ ((SPADCALL (LENGTH |args|)
+ (QCDR |u|)
+ (|getShellEntry| $ 105))
(PROGN
(LETT #0#
(|error|
@@ -967,7 +996,8 @@ Note that this code is not included in the generated catdef.spad file.
|ES-;elt;BoLS;33|)
(GO #0#))))))))
(LETT |v|
- (SPADCALL |op| |args| (QREFELT $ 106))
+ (SPADCALL |op| |args|
+ (|getShellEntry| $ 108))
|ES-;elt;BoLS;33|)
(EXIT (COND
((QEQCAR |v| 0) (QCDR |v|))
@@ -977,47 +1007,53 @@ Note that this code is not included in the generated catdef.spad file.
(DEFUN |ES-;retract;SK;34| (|f| $)
(PROG (|k|)
(RETURN
- (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 108))
+ (SEQ (LETT |k| (SPADCALL |f| (|getShellEntry| $ 110))
|ES-;retract;SK;34|)
(EXIT (COND
((OR (QEQCAR |k| 1)
- (NULL (SPADCALL
- (SPADCALL (QCDR |k|) (QREFELT $ 88))
- |f| (QREFELT $ 109))))
+ (SPADCALL
+ (SPADCALL (QCDR |k|)
+ (|getShellEntry| $ 88))
+ |f| (|getShellEntry| $ 111)))
(|error| "not a kernel"))
('T (QCDR |k|))))))))
(DEFUN |ES-;retractIfCan;SU;35| (|f| $)
(PROG (|k|)
(RETURN
- (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 108))
+ (SEQ (LETT |k| (SPADCALL |f| (|getShellEntry| $ 110))
|ES-;retractIfCan;SU;35|)
(EXIT (COND
((OR (QEQCAR |k| 1)
- (NULL (SPADCALL
- (SPADCALL (QCDR |k|) (QREFELT $ 88))
- |f| (QREFELT $ 109))))
+ (SPADCALL
+ (SPADCALL (QCDR |k|)
+ (|getShellEntry| $ 88))
+ |f| (|getShellEntry| $ 111)))
(CONS 1 "failed"))
('T |k|)))))))
(DEFUN |ES-;is?;SSB;36| (|f| |s| $)
(PROG (|k|)
(RETURN
- (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 112)) |ES-;is?;SSB;36|)
+ (SEQ (LETT |k| (SPADCALL |f| (|getShellEntry| $ 114))
+ |ES-;is?;SSB;36|)
(EXIT (COND
((QEQCAR |k| 1) 'NIL)
- ('T (SPADCALL (QCDR |k|) |s| (QREFELT $ 113)))))))))
+ ('T
+ (SPADCALL (QCDR |k|) |s| (|getShellEntry| $ 115)))))))))
(DEFUN |ES-;is?;SBoB;37| (|f| |op| $)
(PROG (|k|)
(RETURN
- (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 112)) |ES-;is?;SBoB;37|)
+ (SEQ (LETT |k| (SPADCALL |f| (|getShellEntry| $ 114))
+ |ES-;is?;SBoB;37|)
(EXIT (COND
((QEQCAR |k| 1) 'NIL)
- ('T (SPADCALL (QCDR |k|) |op| (QREFELT $ 51)))))))))
+ ('T
+ (SPADCALL (QCDR |k|) |op| (|getShellEntry| $ 52)))))))))
(DEFUN |ES-;unwrap| (|l| |x| $)
- (PROG (|k| #0=#:G1554)
+ (PROG (|k| #0=#:G1565)
(RETURN
(SEQ (SEQ (LETT |k| NIL |ES-;unwrap|)
(LETT #0# (NREVERSE |l|) |ES-;unwrap|) G190
@@ -1028,17 +1064,18 @@ Note that this code is not included in the generated catdef.spad file.
(SEQ (EXIT (LETT |x|
(SPADCALL |x| |k|
(|SPADfirst|
- (SPADCALL |k| (QREFELT $ 86)))
- (QREFELT $ 116))
+ (SPADCALL |k|
+ (|getShellEntry| $ 86)))
+ (|getShellEntry| $ 118))
|ES-;unwrap|)))
(LETT #0# (CDR #0#) |ES-;unwrap|) (GO G190) G191
(EXIT NIL))
(EXIT |x|)))))
(DEFUN |ES-;distribute;3S;39| (|x| |y| $)
- (PROG (|ky| #0=#:G1559 |k| #1=#:G1560)
+ (PROG (|ky| #0=#:G1570 |k| #1=#:G1571)
(RETURN
- (SEQ (LETT |ky| (SPADCALL |y| (QREFELT $ 57))
+ (SEQ (LETT |ky| (SPADCALL |y| (|getShellEntry| $ 57))
|ES-;distribute;3S;39|)
(EXIT (|ES-;unwrap|
(PROGN
@@ -1058,14 +1095,14 @@ Note that this code is not included in the generated catdef.spad file.
((COND
((SPADCALL |k|
(SPADCALL "%paren"
- (QREFELT $ 9))
- (QREFELT $ 113))
+ (|getShellEntry| $ 9))
+ (|getShellEntry| $ 115))
(SPADCALL |ky|
(|ES-;listk|
(SPADCALL |k|
- (QREFELT $ 88))
+ (|getShellEntry| $ 88))
$)
- (QREFELT $ 58)))
+ (|getShellEntry| $ 58)))
('T 'NIL))
(LETT #0# (CONS |k| #0#)
|ES-;distribute;3S;39|)))))
@@ -1078,17 +1115,17 @@ Note that this code is not included in the generated catdef.spad file.
(RETURN
(SEQ (LETT |rec| (|ES-;mkKerLists| |leq| $) |ES-;eval;SLS;40|)
(EXIT (SPADCALL |f| (QCAR |rec|) (QCDR |rec|)
- (QREFELT $ 118)))))))
+ (|getShellEntry| $ 120)))))))
(DEFUN |ES-;subst;SLS;41| (|f| |leq| $)
(PROG (|rec|)
(RETURN
(SEQ (LETT |rec| (|ES-;mkKerLists| |leq| $) |ES-;subst;SLS;41|)
(EXIT (SPADCALL |f| (QCAR |rec|) (QCDR |rec|)
- (QREFELT $ 120)))))))
+ (|getShellEntry| $ 122)))))))
(DEFUN |ES-;mkKerLists| (|leq| $)
- (PROG (|eq| #0=#:G1577 |k| |lk| |lv|)
+ (PROG (|eq| #0=#:G1588 |k| |lk| |lv|)
(RETURN
(SEQ (LETT |lk| NIL |ES-;mkKerLists|)
(LETT |lv| NIL |ES-;mkKerLists|)
@@ -1101,34 +1138,37 @@ Note that this code is not included in the generated catdef.spad file.
NIL))
(GO G191)))
(SEQ (LETT |k|
- (SPADCALL (SPADCALL |eq| (QREFELT $ 123))
- (QREFELT $ 112))
+ (SPADCALL
+ (SPADCALL |eq| (|getShellEntry| $ 125))
+ (|getShellEntry| $ 114))
|ES-;mkKerLists|)
(EXIT (COND
((QEQCAR |k| 1)
(|error| "left hand side must be a single kernel"))
((NULL (SPADCALL (QCDR |k|) |lk|
- (QREFELT $ 58)))
+ (|getShellEntry| $ 58)))
(SEQ (LETT |lk| (CONS (QCDR |k|) |lk|)
|ES-;mkKerLists|)
(EXIT
(LETT |lv|
(CONS
- (SPADCALL |eq| (QREFELT $ 124))
+ (SPADCALL |eq|
+ (|getShellEntry| $ 126))
|lv|)
|ES-;mkKerLists|)))))))
(LETT #0# (CDR #0#) |ES-;mkKerLists|) (GO G190) G191
(EXIT NIL))
(EXIT (CONS |lk| |lv|))))))
-(DEFUN |ES-;even?;SB;43| (|x| $) (|ES-;intpred?| |x| (ELT $ 126) $))
+(DEFUN |ES-;even?;SB;43| (|x| $) (|ES-;intpred?| |x| (ELT $ 128) $))
-(DEFUN |ES-;odd?;SB;44| (|x| $) (|ES-;intpred?| |x| (ELT $ 128) $))
+(DEFUN |ES-;odd?;SB;44| (|x| $) (|ES-;intpred?| |x| (ELT $ 130) $))
(DEFUN |ES-;intpred?| (|x| |pred?| $)
(PROG (|u|)
(RETURN
- (SEQ (LETT |u| (SPADCALL |x| (QREFELT $ 131)) |ES-;intpred?|)
+ (SEQ (LETT |u| (SPADCALL |x| (|getShellEntry| $ 133))
+ |ES-;intpred?|)
(EXIT (COND
((QEQCAR |u| 0) (SPADCALL (QCDR |u|) |pred?|))
('T 'NIL)))))))
@@ -1139,26 +1179,28 @@ Note that this code is not included in the generated catdef.spad file.
(PROGN
(LETT |dv$1| (|devaluate| |#1|) . #0=(|ExpressionSpace&|))
(LETT |dv$| (LIST '|ExpressionSpace&| |dv$1|) . #0#)
- (LETT $ (GETREFV 132) . #0#)
- (QSETREFV $ 0 |dv$|)
- (QSETREFV $ 3
+ (LETT $ (|newShell| 134) . #0#)
+ (|setShellEntry| $ 0 |dv$|)
+ (|setShellEntry| $ 3
(LETT |pv$|
(|buildPredVector| 0 0
(LIST (|HasCategory| |#1|
'(|RetractableTo| (|Integer|)))
(|HasCategory| |#1| '(|Ring|)))) . #0#))
(|stuffDomainSlots| $)
- (QSETREFV $ 6 |#1|)
- (QSETREFV $ 13
- (SPADCALL (SPADCALL "%paren" (QREFELT $ 9)) (QREFELT $ 12)))
- (QSETREFV $ 14
- (SPADCALL (SPADCALL "%box" (QREFELT $ 9)) (QREFELT $ 12)))
+ (|setShellEntry| $ 6 |#1|)
+ (|setShellEntry| $ 13
+ (SPADCALL (SPADCALL "%paren" (|getShellEntry| $ 9))
+ (|getShellEntry| $ 12)))
+ (|setShellEntry| $ 14
+ (SPADCALL (SPADCALL "%box" (|getShellEntry| $ 9))
+ (|getShellEntry| $ 12)))
(COND
((|testBitVector| |pv$| 1)
(PROGN
- (QSETREFV $ 127
+ (|setShellEntry| $ 129
(CONS (|dispatchFunction| |ES-;even?;SB;43|) $))
- (QSETREFV $ 129
+ (|setShellEntry| $ 131
(CONS (|dispatchFunction| |ES-;odd?;SB;44|) $)))))
$))))
@@ -1168,89 +1210,90 @@ Note that this code is not included in the generated catdef.spad file.
(|CommonOperators|) (5 . |operator|) '|oppren| '|opbox|
(|List| $) (10 . |box|) |ES-;box;2S;1| (15 . |paren|)
|ES-;paren;2S;2| (|Boolean|) (20 . =) |ES-;belong?;BoB;3|
- (|List| 34) (|Set| 34) (26 . |parts|) (31 . |sort!|)
- (|List| 56) |ES-;tower;SL;5| (36 . |brace|) (41 . |union|)
- (|Mapping| 24 24 24) (|List| 24) (47 . |reduce|)
- (|Kernel| 6) (54 . |operator|) (|List| 10)
+ (|Kernel| 6) (|List| 23) (|Set| 23) (26 . |parts|)
+ (31 . |sort!|) (|Kernel| $) (|List| 28) |ES-;tower;SL;5|
+ (36 . |brace|) (41 . |union|) (|Mapping| 25 25 25)
+ (|List| 25) (47 . |reduce|) (54 . |operator|) (|List| 10)
|ES-;operators;SL;7| (59 . |kernels|)
(|NonNegativeInteger|) (64 . |height|) (69 . |max|)
- (|Mapping| 39 39 39) (|List| 39) (75 . |reduce|)
+ (|Mapping| 40 40 40) (|List| 40) (75 . |reduce|)
|ES-;height;SNni;8| (82 . |name|) (|List| 8)
(87 . |member?|) (93 . |not|) |ES-;freeOf?;SSB;9|
(98 . |is?|) |ES-;distribute;2S;10| (104 . |elt|)
- |ES-;box;LS;11| |ES-;paren;LS;12| (|Kernel| $)
- (110 . |retract|) (115 . |member?|) |ES-;freeOf?;2SB;13|
- (121 . |kernel|) |ES-;kernel;Bo2S;14| |ES-;elt;Bo2S;15|
- |ES-;elt;Bo3S;16| |ES-;elt;Bo4S;17| |ES-;elt;Bo5S;18|
- (|Mapping| $ 15) (|List| 66) (127 . |eval|)
- |ES-;eval;SSMS;19| (134 . |name|) |ES-;eval;SBoMS;20|
- (|List| 6) (139 . |first|) (|Mapping| $ $)
- |ES-;eval;SSMS;21| (144 . |eval|) |ES-;eval;SBoMS;22|
- (|List| 80) (151 . |subst|) (|Equation| $)
- |ES-;subst;SES;23| (|List| 74) |ES-;eval;SLLS;24|
- |ES-;eval;SLLS;25| |ES-;eval;SLLS;26| (157 . |argument|)
- (162 . =) (168 . |coerce|) |ES-;map;MKS;27| (173 . |is?|)
- |ES-;operator;2Bo;28| (|Union| 56 '"failed")
- |ES-;mainKernel;SU;29| (|Union| (|None|) '"failed")
- (179 . |property|) (185 . |second|) (190 . |remove!|)
- (196 . |belong?|) |ES-;kernel;BoLS;31| (201 . |height|)
- (206 . |kernel|) (|Union| 39 '"failed") (213 . |arity|)
- (|Union| 6 '"failed") (|BasicOperatorFunctions1| 6)
- (218 . |evaluate|) |ES-;elt;BoLS;33| (224 . |mainKernel|)
- (229 . =) |ES-;retract;SK;34| |ES-;retractIfCan;SU;35|
- (235 . |retractIfCan|) (240 . |is?|) |ES-;is?;SSB;36|
- |ES-;is?;SBoB;37| (246 . |eval|) |ES-;distribute;3S;39|
- (253 . |eval|) |ES-;eval;SLS;40| (260 . |subst|)
- |ES-;subst;SLS;41| (|Equation| 6) (267 . |lhs|)
- (272 . |rhs|) (|Integer|) (277 . |even?|) (282 . |even?|)
- (287 . |odd?|) (292 . |odd?|) (|Union| 125 '"failed")
- (297 . |retractIfCan|))
- '#(|tower| 302 |subst| 307 |retractIfCan| 319 |retract| 324
- |paren| 329 |operators| 339 |operator| 344 |odd?| 349
- |map| 354 |mainKernel| 360 |kernel| 365 |is?| 377 |height|
- 389 |freeOf?| 394 |even?| 406 |eval| 411 |elt| 466
- |distribute| 502 |box| 513 |belong?| 523)
+ |ES-;box;LS;11| |ES-;paren;LS;12| (110 . |retract|)
+ (115 . |member?|) |ES-;freeOf?;2SB;13| (121 . |kernel|)
+ |ES-;kernel;Bo2S;14| |ES-;elt;Bo2S;15| |ES-;elt;Bo3S;16|
+ |ES-;elt;Bo4S;17| |ES-;elt;Bo5S;18| (|Mapping| $ 15)
+ (|List| 66) (127 . |eval|) |ES-;eval;SSMS;19|
+ (134 . |name|) |ES-;eval;SBoMS;20| (|List| 6)
+ (139 . |first|) (|Mapping| $ $) |ES-;eval;SSMS;21|
+ (144 . |eval|) |ES-;eval;SBoMS;22| (|Equation| $)
+ (|List| 78) (151 . |subst|) |ES-;subst;SES;23| (|List| 74)
+ |ES-;eval;SLLS;24| |ES-;eval;SLLS;25| |ES-;eval;SLLS;26|
+ (157 . |argument|) (162 . =) (168 . |coerce|)
+ |ES-;map;MKS;27| (173 . |is?|) |ES-;operator;2Bo;28|
+ (|Union| 28 '"failed") |ES-;mainKernel;SU;29| (|None|)
+ (|Union| 94 '"failed") (179 . |property|) (185 . |second|)
+ (190 . |remove!|) (196 . |belong?|) |ES-;kernel;BoLS;31|
+ (201 . |height|) (206 . |kernel|) (|Union| 40 '"failed")
+ (213 . |arity|) (218 . ~=) (|Union| 6 '"failed")
+ (|BasicOperatorFunctions1| 6) (224 . |evaluate|)
+ |ES-;elt;BoLS;33| (230 . |mainKernel|) (235 . ~=)
+ |ES-;retract;SK;34| |ES-;retractIfCan;SU;35|
+ (241 . |retractIfCan|) (246 . |is?|) |ES-;is?;SSB;36|
+ |ES-;is?;SBoB;37| (252 . |eval|) |ES-;distribute;3S;39|
+ (259 . |eval|) |ES-;eval;SLS;40| (266 . |subst|)
+ |ES-;subst;SLS;41| (|Equation| 6) (273 . |lhs|)
+ (278 . |rhs|) (|Integer|) (283 . |even?|) (288 . |even?|)
+ (293 . |odd?|) (298 . |odd?|) (|Union| 127 '"failed")
+ (303 . |retractIfCan|))
+ '#(|tower| 308 |subst| 313 |retractIfCan| 325 |retract| 330
+ |paren| 335 |operators| 345 |operator| 350 |odd?| 355
+ |map| 360 |mainKernel| 366 |kernel| 371 |is?| 383 |height|
+ 395 |freeOf?| 400 |even?| 412 |eval| 417 |elt| 472
+ |distribute| 508 |box| 519 |belong?| 529)
'NIL
(CONS (|makeByteWordVec2| 1 'NIL)
(CONS '#()
(CONS '#()
- (|makeByteWordVec2| 131
+ (|makeByteWordVec2| 133
'(1 8 0 7 9 1 11 10 8 12 1 6 0 15 16 1
- 6 0 15 18 2 10 20 0 0 21 1 24 23 0 25
- 1 23 0 0 26 1 24 0 23 29 2 24 0 0 0
- 30 3 32 24 31 0 24 33 1 34 10 0 35 1
- 6 27 0 38 1 34 39 0 40 2 39 0 0 0 41
- 3 43 39 42 0 39 44 1 34 8 0 46 2 47
- 20 8 0 48 1 20 0 0 49 2 34 20 0 10 51
- 2 6 0 10 15 53 1 6 56 0 57 2 23 20 34
- 0 58 2 6 0 10 15 60 3 6 0 0 47 67 68
- 1 10 8 0 70 1 72 6 0 73 3 6 0 0 36 67
- 76 2 6 0 0 78 79 1 34 72 0 86 2 72 20
- 0 0 87 1 6 0 56 88 2 10 20 0 8 90 2
- 10 94 0 7 95 1 72 6 0 96 2 24 0 34 0
- 97 1 6 20 10 98 1 6 39 0 100 3 34 0
- 10 72 39 101 1 10 102 0 103 2 105 104
- 10 72 106 1 6 92 0 108 2 6 20 0 0 109
- 1 6 92 0 112 2 34 20 0 8 113 3 6 0 0
- 56 0 116 3 6 0 0 27 15 118 3 6 0 0 27
- 15 120 1 122 6 0 123 1 122 6 0 124 1
- 125 20 0 126 1 0 20 0 127 1 125 20 0
- 128 1 0 20 0 129 1 6 130 0 131 1 0 27
- 0 28 2 0 0 0 78 121 2 0 0 0 80 81 1 0
- 92 0 111 1 0 56 0 110 1 0 0 0 19 1 0
- 0 15 55 1 0 36 0 37 1 0 10 10 91 1 0
- 20 0 129 2 0 0 74 56 89 1 0 92 0 93 2
- 0 0 10 15 99 2 0 0 10 0 61 2 0 20 0 8
- 114 2 0 20 0 10 115 1 0 39 0 45 2 0
- 20 0 8 50 2 0 20 0 0 59 1 0 20 0 127
- 3 0 0 0 10 74 77 3 0 0 0 36 67 85 3 0
- 0 0 10 66 71 3 0 0 0 36 82 83 3 0 0 0
- 8 66 69 3 0 0 0 8 74 75 3 0 0 0 47 82
- 84 2 0 0 0 78 119 2 0 0 10 15 107 5 0
- 0 10 0 0 0 0 65 3 0 0 10 0 0 63 4 0 0
- 10 0 0 0 64 2 0 0 10 0 62 2 0 0 0 0
- 117 1 0 0 0 52 1 0 0 15 54 1 0 0 0 17
- 1 0 20 10 22)))))
+ 6 0 15 18 2 10 20 0 0 21 1 25 24 0 26
+ 1 24 0 0 27 1 25 0 24 31 2 25 0 0 0
+ 32 3 34 25 33 0 25 35 1 23 10 0 36 1
+ 6 29 0 39 1 23 40 0 41 2 40 0 0 0 42
+ 3 44 40 43 0 40 45 1 23 8 0 47 2 48
+ 20 8 0 49 1 20 0 0 50 2 23 20 0 10 52
+ 2 6 0 10 15 54 1 6 28 0 57 2 24 20 23
+ 0 58 2 6 0 10 15 60 3 6 0 0 48 67 68
+ 1 10 8 0 70 1 72 6 0 73 3 6 0 0 37 67
+ 76 2 6 0 0 79 80 1 23 72 0 86 2 72 20
+ 0 0 87 1 6 0 28 88 2 10 20 0 8 90 2
+ 10 95 0 7 96 1 72 6 0 97 2 25 0 23 0
+ 98 1 6 20 10 99 1 6 40 0 101 3 23 0
+ 10 72 40 102 1 10 103 0 104 2 40 20 0
+ 0 105 2 107 106 10 72 108 1 6 92 0
+ 110 2 6 20 0 0 111 1 6 92 0 114 2 23
+ 20 0 8 115 3 6 0 0 28 0 118 3 6 0 0
+ 29 15 120 3 6 0 0 29 15 122 1 124 6 0
+ 125 1 124 6 0 126 1 127 20 0 128 1 0
+ 20 0 129 1 127 20 0 130 1 0 20 0 131
+ 1 6 132 0 133 1 0 29 0 30 2 0 0 0 79
+ 123 2 0 0 0 78 81 1 0 92 0 113 1 0 28
+ 0 112 1 0 0 0 19 1 0 0 15 56 1 0 37 0
+ 38 1 0 10 10 91 1 0 20 0 131 2 0 0 74
+ 28 89 1 0 92 0 93 2 0 0 10 15 100 2 0
+ 0 10 0 61 2 0 20 0 8 116 2 0 20 0 10
+ 117 1 0 40 0 46 2 0 20 0 8 51 2 0 20
+ 0 0 59 1 0 20 0 129 3 0 0 0 10 74 77
+ 3 0 0 0 37 67 85 3 0 0 0 10 66 71 3 0
+ 0 0 37 82 83 3 0 0 0 8 66 69 3 0 0 0
+ 8 74 75 3 0 0 0 48 82 84 2 0 0 0 79
+ 121 2 0 0 10 15 109 5 0 0 10 0 0 0 0
+ 65 3 0 0 10 0 0 63 4 0 0 10 0 0 0 64
+ 2 0 0 10 0 62 2 0 0 0 0 119 1 0 0 0
+ 53 1 0 0 15 55 1 0 0 0 17 1 0 20 10
+ 22)))))
'|lookupComplete|))
@
\section{package ES1 ExpressionSpaceFunctions1}
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-23 13:09:17 +0000