aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/fspace.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-03-14 04:22:08 +0000
committerdos-reis <gdr@axiomatics.org>2008-03-14 04:22:08 +0000
commitd1ebc50619fe75e940812f84220d087a2f77b3f5 (patch)
tree05dcf1adcfbb6ac72e10ea322503c052193962c0 /src/algebra/fspace.spad.pamphlet
parent606a4af6213e60c027f6c789b1b0a5d64a782f8d (diff)
downloadopen-axiom-d1ebc50619fe75e940812f84220d087a2f77b3f5.tar.gz
* algebra/catdef.spad.pamphlet: Update cached Lisp translation.
* algebra/sf.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet: Likewise. * algebra/fspace.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/fspace.spad.pamphlet')
-rw-r--r--src/algebra/fspace.spad.pamphlet1018
1 files changed, 906 insertions, 112 deletions
diff --git a/src/algebra/fspace.spad.pamphlet b/src/algebra/fspace.spad.pamphlet
index b1bd6454..902aa197 100644
--- a/src/algebra/fspace.spad.pamphlet
+++ b/src/algebra/fspace.spad.pamphlet
@@ -334,15 +334,160 @@ Note that this code is not included in the generated catdef.spad file.
<<ES.lsp BOOTSTRAP>>=
-(|/VERSIONCHECK| 2)
-
-(SETQ |ExpressionSpace;AL| (QUOTE NIL))
-
-(DEFUN |ExpressionSpace| NIL (LET (#:G82344) (COND (|ExpressionSpace;AL|) (T (SETQ |ExpressionSpace;AL| (|ExpressionSpace;|))))))
-
-(DEFUN |ExpressionSpace;| NIL (PROG (#1=#:G82342) (RETURN (PROG1 (LETT #1# (|sublisV| (PAIR (QUOTE (#2=#:G82340 #3=#:G82341)) (LIST (QUOTE (|Kernel| |$|)) (QUOTE (|Kernel| |$|)))) (|Join| (|OrderedSet|) (|RetractableTo| (QUOTE #2#)) (|InnerEvalable| (QUOTE #3#) (QUOTE |$|)) (|Evalable| (QUOTE |$|)) (|mkCategory| (QUOTE |domain|) (QUOTE (((|elt| (|$| (|BasicOperator|) |$|)) T) ((|elt| (|$| (|BasicOperator|) |$| |$|)) T) ((|elt| (|$| (|BasicOperator|) |$| |$| |$|)) T) ((|elt| (|$| (|BasicOperator|) |$| |$| |$| |$|)) T) ((|elt| (|$| (|BasicOperator|) (|List| |$|))) T) ((|subst| (|$| |$| (|Equation| |$|))) T) ((|subst| (|$| |$| (|List| (|Equation| |$|)))) T) ((|subst| (|$| |$| (|List| (|Kernel| |$|)) (|List| |$|))) T) ((|box| (|$| |$|)) T) ((|box| (|$| (|List| |$|))) T) ((|paren| (|$| |$|)) T) ((|paren| (|$| (|List| |$|))) T) ((|distribute| (|$| |$|)) T) ((|distribute| (|$| |$| |$|)) T) ((|height| ((|NonNegativeInteger|) |$|)) T) ((|mainKernel| ((|Union| (|Kernel| |$|) "failed") |$|)) T) ((|kernels| ((|List| (|Kernel| |$|)) |$|)) T) ((|tower| ((|List| (|Kernel| |$|)) |$|)) T) ((|operators| ((|List| (|BasicOperator|)) |$|)) T) ((|operator| ((|BasicOperator|) (|BasicOperator|))) T) ((|belong?| ((|Boolean|) (|BasicOperator|))) T) ((|is?| ((|Boolean|) |$| (|BasicOperator|))) T) ((|is?| ((|Boolean|) |$| (|Symbol|))) T) ((|kernel| (|$| (|BasicOperator|) |$|)) T) ((|kernel| (|$| (|BasicOperator|) (|List| |$|))) T) ((|map| (|$| (|Mapping| |$| |$|) (|Kernel| |$|))) T) ((|freeOf?| ((|Boolean|) |$| |$|)) T) ((|freeOf?| ((|Boolean|) |$| (|Symbol|))) T) ((|eval| (|$| |$| (|List| (|Symbol|)) (|List| (|Mapping| |$| |$|)))) T) ((|eval| (|$| |$| (|List| (|Symbol|)) (|List| (|Mapping| |$| (|List| |$|))))) T) ((|eval| (|$| |$| (|Symbol|) (|Mapping| |$| (|List| |$|)))) T) ((|eval| (|$| |$| (|Symbol|) (|Mapping| |$| |$|))) T) ((|eval| (|$| |$| (|List| (|BasicOperator|)) (|List| (|Mapping| |$| |$|)))) T) ((|eval| (|$| |$| (|List| (|BasicOperator|)) (|List| (|Mapping| |$| (|List| |$|))))) T) ((|eval| (|$| |$| (|BasicOperator|) (|Mapping| |$| (|List| |$|)))) T) ((|eval| (|$| |$| (|BasicOperator|) (|Mapping| |$| |$|))) T) ((|minPoly| ((|SparseUnivariatePolynomial| |$|) (|Kernel| |$|))) (|has| |$| (|Ring|))) ((|definingPolynomial| (|$| |$|)) (|has| |$| (|Ring|))) ((|even?| ((|Boolean|) |$|)) (|has| |$| (|RetractableTo| (|Integer|)))) ((|odd?| ((|Boolean|) |$|)) (|has| |$| (|RetractableTo| (|Integer|)))))) NIL (QUOTE ((|Boolean|) (|SparseUnivariatePolynomial| |$|) (|Kernel| |$|) (|BasicOperator|) (|List| (|BasicOperator|)) (|List| (|Mapping| |$| (|List| |$|))) (|List| (|Mapping| |$| |$|)) (|Symbol|) (|List| (|Symbol|)) (|List| |$|) (|List| (|Kernel| |$|)) (|NonNegativeInteger|) (|List| (|Equation| |$|)) (|Equation| |$|))) NIL))) |ExpressionSpace|) (SETELT #1# 0 (QUOTE (|ExpressionSpace|)))))))
-
-(MAKEPROP (QUOTE |ExpressionSpace|) (QUOTE NILADIC) T)
+(/VERSIONCHECK 2)
+
+(DEFPARAMETER |ExpressionSpace;AL| 'NIL)
+
+(DEFUN |ExpressionSpace| ()
+ (LET (#:G1400)
+ (COND
+ (|ExpressionSpace;AL|)
+ (T (SETQ |ExpressionSpace;AL| (|ExpressionSpace;|))))))
+
+(DEFUN |ExpressionSpace;| ()
+ (PROG (#0=#:G1398)
+ (RETURN
+ (PROG1 (LETT #0#
+ (|sublisV|
+ (PAIR '(#1=#:G1396 #2=#:G1397)
+ (LIST '(|Kernel| $) '(|Kernel| $)))
+ (|Join| (|OrderedSet|) (|RetractableTo| '#1#)
+ (|InnerEvalable| '#2# '$)
+ (|Evalable| '$)
+ (|mkCategory| '|domain|
+ '(((|elt| ($ (|BasicOperator|) $))
+ T)
+ ((|elt| ($ (|BasicOperator|) $ $))
+ T)
+ ((|elt|
+ ($ (|BasicOperator|) $ $ $))
+ T)
+ ((|elt|
+ ($ (|BasicOperator|) $ $ $ $))
+ T)
+ ((|elt|
+ ($ (|BasicOperator|) (|List| $)))
+ T)
+ ((|subst| ($ $ (|Equation| $))) T)
+ ((|subst|
+ ($ $ (|List| (|Equation| $))))
+ T)
+ ((|subst|
+ ($ $ (|List| (|Kernel| $))
+ (|List| $)))
+ T)
+ ((|box| ($ $)) T)
+ ((|box| ($ (|List| $))) T)
+ ((|paren| ($ $)) T)
+ ((|paren| ($ (|List| $))) T)
+ ((|distribute| ($ $)) T)
+ ((|distribute| ($ $ $)) T)
+ ((|height|
+ ((|NonNegativeInteger|) $))
+ T)
+ ((|mainKernel|
+ ((|Union| (|Kernel| $) "failed")
+ $))
+ T)
+ ((|kernels|
+ ((|List| (|Kernel| $)) $))
+ T)
+ ((|tower|
+ ((|List| (|Kernel| $)) $))
+ T)
+ ((|operators|
+ ((|List| (|BasicOperator|)) $))
+ T)
+ ((|operator|
+ ((|BasicOperator|)
+ (|BasicOperator|)))
+ T)
+ ((|belong?|
+ ((|Boolean|) (|BasicOperator|)))
+ T)
+ ((|is?|
+ ((|Boolean|) $
+ (|BasicOperator|)))
+ T)
+ ((|is?|
+ ((|Boolean|) $ (|Symbol|)))
+ T)
+ ((|kernel|
+ ($ (|BasicOperator|) $))
+ T)
+ ((|kernel|
+ ($ (|BasicOperator|) (|List| $)))
+ T)
+ ((|map|
+ ($ (|Mapping| $ $) (|Kernel| $)))
+ T)
+ ((|freeOf?| ((|Boolean|) $ $)) T)
+ ((|freeOf?|
+ ((|Boolean|) $ (|Symbol|)))
+ T)
+ ((|eval|
+ ($ $ (|List| (|Symbol|))
+ (|List| (|Mapping| $ $))))
+ T)
+ ((|eval|
+ ($ $ (|List| (|Symbol|))
+ (|List|
+ (|Mapping| $ (|List| $)))))
+ T)
+ ((|eval|
+ ($ $ (|Symbol|)
+ (|Mapping| $ (|List| $))))
+ T)
+ ((|eval|
+ ($ $ (|Symbol|) (|Mapping| $ $)))
+ T)
+ ((|eval|
+ ($ $ (|List| (|BasicOperator|))
+ (|List| (|Mapping| $ $))))
+ T)
+ ((|eval|
+ ($ $ (|List| (|BasicOperator|))
+ (|List|
+ (|Mapping| $ (|List| $)))))
+ T)
+ ((|eval|
+ ($ $ (|BasicOperator|)
+ (|Mapping| $ (|List| $))))
+ T)
+ ((|eval|
+ ($ $ (|BasicOperator|)
+ (|Mapping| $ $)))
+ T)
+ ((|minPoly|
+ ((|SparseUnivariatePolynomial|
+ $)
+ (|Kernel| $)))
+ (|has| $ (|Ring|)))
+ ((|definingPolynomial| ($ $))
+ (|has| $ (|Ring|)))
+ ((|even?| ((|Boolean|) $))
+ (|has| $
+ (|RetractableTo| (|Integer|))))
+ ((|odd?| ((|Boolean|) $))
+ (|has| $
+ (|RetractableTo| (|Integer|)))))
+ NIL
+ '((|Boolean|)
+ (|SparseUnivariatePolynomial| $)
+ (|Kernel| $) (|BasicOperator|)
+ (|List| (|BasicOperator|))
+ (|List| (|Mapping| $ (|List| $)))
+ (|List| (|Mapping| $ $))
+ (|Symbol|) (|List| (|Symbol|))
+ (|List| $) (|List| (|Kernel| $))
+ (|NonNegativeInteger|)
+ (|List| (|Equation| $))
+ (|Equation| $))
+ NIL)))
+ |ExpressionSpace|)
+ (SETELT #0# 0 '(|ExpressionSpace|))))))
+
+(MAKEPROP '|ExpressionSpace| 'NILADIC T)
@
\section{ES-.lsp BOOTSTRAP}
{\bf ES-} depends on {\bf ES}. We need to break this cycle to build
@@ -355,109 +500,758 @@ Note that this code is not included in the generated catdef.spad file.
<<ES-.lsp BOOTSTRAP>>=
-(|/VERSIONCHECK| 2)
-
-(DEFUN |ES-;box;2S;1| (|x| |$|) (SPADCALL (LIST |x|) (QREFELT |$| 16)))
-
-(DEFUN |ES-;paren;2S;2| (|x| |$|) (SPADCALL (LIST |x|) (QREFELT |$| 18)))
-
-(DEFUN |ES-;belong?;BoB;3| (|op| |$|) (COND ((SPADCALL |op| (QREFELT |$| 13) (QREFELT |$| 21)) (QUOTE T)) ((QUOTE T) (SPADCALL |op| (QREFELT |$| 14) (QREFELT |$| 21)))))
-
-(DEFUN |ES-;listk| (|f| |$|) (SPADCALL (|ES-;allKernels| |f| |$|) (QREFELT |$| 25)))
-
-(DEFUN |ES-;tower;SL;5| (|f| |$|) (SPADCALL (|ES-;listk| |f| |$|) (QREFELT |$| 26)))
-
-(DEFUN |ES-;allk| (|l| |$|) (PROG (#1=#:G82361 |f| #2=#:G82362) (RETURN (SEQ (SPADCALL (ELT |$| 30) (PROGN (LETT #1# NIL |ES-;allk|) (SEQ (LETT |f| NIL |ES-;allk|) (LETT #2# |l| |ES-;allk|) G190 (COND ((OR (ATOM #2#) (PROGN (LETT |f| (CAR #2#) |ES-;allk|) NIL)) (GO G191))) (SEQ (EXIT (LETT #1# (CONS (|ES-;allKernels| |f| |$|) #1#) |ES-;allk|))) (LETT #2# (CDR #2#) |ES-;allk|) (GO G190) G191 (EXIT (NREVERSE0 #1#)))) (SPADCALL NIL (QREFELT |$| 29)) (QREFELT |$| 33))))))
-
-(DEFUN |ES-;operators;SL;7| (|f| |$|) (PROG (#1=#:G82365 |k| #2=#:G82366) (RETURN (SEQ (PROGN (LETT #1# NIL |ES-;operators;SL;7|) (SEQ (LETT |k| NIL |ES-;operators;SL;7|) (LETT #2# (|ES-;listk| |f| |$|) |ES-;operators;SL;7|) G190 (COND ((OR (ATOM #2#) (PROGN (LETT |k| (CAR #2#) |ES-;operators;SL;7|) NIL)) (GO G191))) (SEQ (EXIT (LETT #1# (CONS (SPADCALL |k| (QREFELT |$| 35)) #1#) |ES-;operators;SL;7|))) (LETT #2# (CDR #2#) |ES-;operators;SL;7|) (GO G190) G191 (EXIT (NREVERSE0 #1#))))))))
-
-(DEFUN |ES-;height;SNni;8| (|f| |$|) (PROG (#1=#:G82371 |k| #2=#:G82372) (RETURN (SEQ (SPADCALL (ELT |$| 41) (PROGN (LETT #1# NIL |ES-;height;SNni;8|) (SEQ (LETT |k| NIL |ES-;height;SNni;8|) (LETT #2# (SPADCALL |f| (QREFELT |$| 38)) |ES-;height;SNni;8|) G190 (COND ((OR (ATOM #2#) (PROGN (LETT |k| (CAR #2#) |ES-;height;SNni;8|) NIL)) (GO G191))) (SEQ (EXIT (LETT #1# (CONS (SPADCALL |k| (QREFELT |$| 40)) #1#) |ES-;height;SNni;8|))) (LETT #2# (CDR #2#) |ES-;height;SNni;8|) (GO G190) G191 (EXIT (NREVERSE0 #1#)))) 0 (QREFELT |$| 44))))))
-
-(DEFUN |ES-;freeOf?;SSB;9| (|x| |s| |$|) (PROG (#1=#:G82377 |k| #2=#:G82378) (RETURN (SEQ (COND ((SPADCALL |s| (PROGN (LETT #1# NIL |ES-;freeOf?;SSB;9|) (SEQ (LETT |k| NIL |ES-;freeOf?;SSB;9|) (LETT #2# (|ES-;listk| |x| |$|) |ES-;freeOf?;SSB;9|) G190 (COND ((OR (ATOM #2#) (PROGN (LETT |k| (CAR #2#) |ES-;freeOf?;SSB;9|) NIL)) (GO G191))) (SEQ (EXIT (LETT #1# (CONS (SPADCALL |k| (QREFELT |$| 46)) #1#) |ES-;freeOf?;SSB;9|))) (LETT #2# (CDR #2#) |ES-;freeOf?;SSB;9|) (GO G190) G191 (EXIT (NREVERSE0 #1#)))) (QREFELT |$| 48)) (QUOTE NIL)) ((QUOTE T) (QUOTE T)))))))
-
-(DEFUN |ES-;distribute;2S;10| (|x| |$|) (PROG (#1=#:G82381 |k| #2=#:G82382) (RETURN (SEQ (|ES-;unwrap| (PROGN (LETT #1# NIL |ES-;distribute;2S;10|) (SEQ (LETT |k| NIL |ES-;distribute;2S;10|) (LETT #2# (|ES-;listk| |x| |$|) |ES-;distribute;2S;10|) G190 (COND ((OR (ATOM #2#) (PROGN (LETT |k| (CAR #2#) |ES-;distribute;2S;10|) NIL)) (GO G191))) (SEQ (EXIT (COND ((SPADCALL |k| (QREFELT |$| 13) (QREFELT |$| 50)) (LETT #1# (CONS |k| #1#) |ES-;distribute;2S;10|))))) (LETT #2# (CDR #2#) |ES-;distribute;2S;10|) (GO G190) G191 (EXIT (NREVERSE0 #1#)))) |x| |$|)))))
-
-(DEFUN |ES-;box;LS;11| (|l| |$|) (SPADCALL (QREFELT |$| 14) |l| (QREFELT |$| 52)))
-
-(DEFUN |ES-;paren;LS;12| (|l| |$|) (SPADCALL (QREFELT |$| 13) |l| (QREFELT |$| 52)))
-
-(DEFUN |ES-;freeOf?;2SB;13| (|x| |k| |$|) (COND ((SPADCALL (SPADCALL |k| (QREFELT |$| 56)) (|ES-;listk| |x| |$|) (QREFELT |$| 57)) (QUOTE NIL)) ((QUOTE T) (QUOTE T))))
-
-(DEFUN |ES-;kernel;Bo2S;14| (|op| |arg| |$|) (SPADCALL |op| (LIST |arg|) (QREFELT |$| 59)))
-
-(DEFUN |ES-;elt;Bo2S;15| (|op| |x| |$|) (SPADCALL |op| (LIST |x|) (QREFELT |$| 52)))
-
-(DEFUN |ES-;elt;Bo3S;16| (|op| |x| |y| |$|) (SPADCALL |op| (LIST |x| |y|) (QREFELT |$| 52)))
-
-(DEFUN |ES-;elt;Bo4S;17| (|op| |x| |y| |z| |$|) (SPADCALL |op| (LIST |x| |y| |z|) (QREFELT |$| 52)))
-
-(DEFUN |ES-;elt;Bo5S;18| (|op| |x| |y| |z| |t| |$|) (SPADCALL |op| (LIST |x| |y| |z| |t|) (QREFELT |$| 52)))
-
-(DEFUN |ES-;eval;SSMS;19| (|x| |s| |f| |$|) (SPADCALL |x| (LIST |s|) (LIST |f|) (QREFELT |$| 67)))
-
-(DEFUN |ES-;eval;SBoMS;20| (|x| |s| |f| |$|) (SPADCALL |x| (LIST (SPADCALL |s| (QREFELT |$| 69))) (LIST |f|) (QREFELT |$| 67)))
-
-(DEFUN |ES-;eval;SSMS;21| (|x| |s| |f| |$|) (SPADCALL |x| (LIST |s|) (LIST (CONS (FUNCTION |ES-;eval;SSMS;21!0|) (VECTOR |f| |$|))) (QREFELT |$| 67)))
-
-(DEFUN |ES-;eval;SSMS;21!0| (|#1| |$$|) (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT |$$| 1) 72)) (QREFELT |$$| 0)))
-
-(DEFUN |ES-;eval;SBoMS;22| (|x| |s| |f| |$|) (SPADCALL |x| (LIST |s|) (LIST (CONS (FUNCTION |ES-;eval;SBoMS;22!0|) (VECTOR |f| |$|))) (QREFELT |$| 75)))
-
-(DEFUN |ES-;eval;SBoMS;22!0| (|#1| |$$|) (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT |$$| 1) 72)) (QREFELT |$$| 0)))
-
-(DEFUN |ES-;subst;SES;23| (|x| |e| |$|) (SPADCALL |x| (LIST |e|) (QREFELT |$| 78)))
-
-(DEFUN |ES-;eval;SLLS;24| (|x| |ls| |lf| |$|) (PROG (#1=#:G82403 |f| #2=#:G82404) (RETURN (SEQ (SPADCALL |x| |ls| (PROGN (LETT #1# NIL |ES-;eval;SLLS;24|) (SEQ (LETT |f| NIL |ES-;eval;SLLS;24|) (LETT #2# |lf| |ES-;eval;SLLS;24|) G190 (COND ((OR (ATOM #2#) (PROGN (LETT |f| (CAR #2#) |ES-;eval;SLLS;24|) NIL)) (GO G191))) (SEQ (EXIT (LETT #1# (CONS (CONS (FUNCTION |ES-;eval;SLLS;24!0|) (VECTOR |f| |$|)) #1#) |ES-;eval;SLLS;24|))) (LETT #2# (CDR #2#) |ES-;eval;SLLS;24|) (GO G190) G191 (EXIT (NREVERSE0 #1#)))) (QREFELT |$| 75))))))
-
-(DEFUN |ES-;eval;SLLS;24!0| (|#1| |$$|) (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT |$$| 1) 72)) (QREFELT |$$| 0)))
-
-(DEFUN |ES-;eval;SLLS;25| (|x| |ls| |lf| |$|) (PROG (#1=#:G82407 |f| #2=#:G82408) (RETURN (SEQ (SPADCALL |x| |ls| (PROGN (LETT #1# NIL |ES-;eval;SLLS;25|) (SEQ (LETT |f| NIL |ES-;eval;SLLS;25|) (LETT #2# |lf| |ES-;eval;SLLS;25|) G190 (COND ((OR (ATOM #2#) (PROGN (LETT |f| (CAR #2#) |ES-;eval;SLLS;25|) NIL)) (GO G191))) (SEQ (EXIT (LETT #1# (CONS (CONS (FUNCTION |ES-;eval;SLLS;25!0|) (VECTOR |f| |$|)) #1#) |ES-;eval;SLLS;25|))) (LETT #2# (CDR #2#) |ES-;eval;SLLS;25|) (GO G190) G191 (EXIT (NREVERSE0 #1#)))) (QREFELT |$| 67))))))
-
-(DEFUN |ES-;eval;SLLS;25!0| (|#1| |$$|) (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT |$$| 1) 72)) (QREFELT |$$| 0)))
-
-(DEFUN |ES-;eval;SLLS;26| (|x| |ls| |lf| |$|) (PROG (#1=#:G82412 |s| #2=#:G82413) (RETURN (SEQ (SPADCALL |x| (PROGN (LETT #1# NIL |ES-;eval;SLLS;26|) (SEQ (LETT |s| NIL |ES-;eval;SLLS;26|) (LETT #2# |ls| |ES-;eval;SLLS;26|) G190 (COND ((OR (ATOM #2#) (PROGN (LETT |s| (CAR #2#) |ES-;eval;SLLS;26|) NIL)) (GO G191))) (SEQ (EXIT (LETT #1# (CONS (SPADCALL |s| (QREFELT |$| 69)) #1#) |ES-;eval;SLLS;26|))) (LETT #2# (CDR #2#) |ES-;eval;SLLS;26|) (GO G190) G191 (EXIT (NREVERSE0 #1#)))) |lf| (QREFELT |$| 67))))))
-
-(DEFUN |ES-;map;MKS;27| (|fn| |k| |$|) (PROG (#1=#:G82428 |x| #2=#:G82429 |l|) (RETURN (SEQ (COND ((SPADCALL (LETT |l| (PROGN (LETT #1# NIL |ES-;map;MKS;27|) (SEQ (LETT |x| NIL |ES-;map;MKS;27|) (LETT #2# (SPADCALL |k| (QREFELT |$| 85)) |ES-;map;MKS;27|) G190 (COND ((OR (ATOM #2#) (PROGN (LETT |x| (CAR #2#) |ES-;map;MKS;27|) NIL)) (GO G191))) (SEQ (EXIT (LETT #1# (CONS (SPADCALL |x| |fn|) #1#) |ES-;map;MKS;27|))) (LETT #2# (CDR #2#) |ES-;map;MKS;27|) (GO G190) G191 (EXIT (NREVERSE0 #1#)))) |ES-;map;MKS;27|) (SPADCALL |k| (QREFELT |$| 85)) (QREFELT |$| 86)) (SPADCALL |k| (QREFELT |$| 87))) ((QUOTE T) (SPADCALL (SPADCALL |k| (QREFELT |$| 35)) |l| (QREFELT |$| 52))))))))
-
-(DEFUN |ES-;operator;2Bo;28| (|op| |$|) (COND ((SPADCALL |op| (SPADCALL "%paren" (QREFELT |$| 9)) (QREFELT |$| 89)) (QREFELT |$| 13)) ((SPADCALL |op| (SPADCALL "%box" (QREFELT |$| 9)) (QREFELT |$| 89)) (QREFELT |$| 14)) ((QUOTE T) (|error| "Unknown operator"))))
-
-(DEFUN |ES-;mainKernel;SU;29| (|x| |$|) (PROG (|l| |kk| #1=#:G82445 |n| |k|) (RETURN (SEQ (COND ((NULL (LETT |l| (SPADCALL |x| (QREFELT |$| 38)) |ES-;mainKernel;SU;29|)) (CONS 1 "failed")) ((QUOTE T) (SEQ (LETT |n| (SPADCALL (LETT |k| (|SPADfirst| |l|) |ES-;mainKernel;SU;29|) (QREFELT |$| 40)) |ES-;mainKernel;SU;29|) (SEQ (LETT |kk| NIL |ES-;mainKernel;SU;29|) (LETT #1# (CDR |l|) |ES-;mainKernel;SU;29|) G190 (COND ((OR (ATOM #1#) (PROGN (LETT |kk| (CAR #1#) |ES-;mainKernel;SU;29|) NIL)) (GO G191))) (SEQ (EXIT (COND ((|<| |n| (SPADCALL |kk| (QREFELT |$| 40))) (SEQ (LETT |n| (SPADCALL |kk| (QREFELT |$| 40)) |ES-;mainKernel;SU;29|) (EXIT (LETT |k| |kk| |ES-;mainKernel;SU;29|))))))) (LETT #1# (CDR #1#) |ES-;mainKernel;SU;29|) (GO G190) G191 (EXIT NIL)) (EXIT (CONS 0 |k|)))))))))
-
-(DEFUN |ES-;allKernels| (|f| |$|) (PROG (|l| |k| #1=#:G82458 |u| |s0| |n| |arg| |t| |s|) (RETURN (SEQ (LETT |s| (SPADCALL (LETT |l| (SPADCALL |f| (QREFELT |$| 38)) |ES-;allKernels|) (QREFELT |$| 29)) |ES-;allKernels|) (SEQ (LETT |k| NIL |ES-;allKernels|) (LETT #1# |l| |ES-;allKernels|) G190 (COND ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) |ES-;allKernels|) NIL)) (GO G191))) (SEQ (LETT |t| (SEQ (LETT |u| (SPADCALL (SPADCALL |k| (QREFELT |$| 35)) "%dummyVar" (QREFELT |$| 94)) |ES-;allKernels|) (EXIT (COND ((QEQCAR |u| 0) (SEQ (LETT |arg| (SPADCALL |k| (QREFELT |$| 85)) |ES-;allKernels|) (LETT |s0| (SPADCALL (SPADCALL (SPADCALL |arg| (QREFELT |$| 95)) (QREFELT |$| 56)) (|ES-;allKernels| (|SPADfirst| |arg|) |$|) (QREFELT |$| 96)) |ES-;allKernels|) (LETT |arg| (CDR (CDR |arg|)) |ES-;allKernels|) (LETT |n| (QCDR |u|) |ES-;allKernels|) (COND ((|<| 1 |n|) (LETT |arg| (CDR |arg|) |ES-;allKernels|))) (EXIT (SPADCALL |s0| (|ES-;allk| |arg| |$|) (QREFELT |$| 30))))) ((QUOTE T) (|ES-;allk| (SPADCALL |k| (QREFELT |$| 85)) |$|))))) |ES-;allKernels|) (EXIT (LETT |s| (SPADCALL |s| |t| (QREFELT |$| 30)) |ES-;allKernels|))) (LETT #1# (CDR #1#) |ES-;allKernels|) (GO G190) G191 (EXIT NIL)) (EXIT |s|)))))
-
-(DEFUN |ES-;kernel;BoLS;31| (|op| |args| |$|) (COND ((NULL (SPADCALL |op| (QREFELT |$| 97))) (|error| "Unknown operator")) ((QUOTE T) (|ES-;okkernel| |op| |args| |$|))))
-
-(DEFUN |ES-;okkernel| (|op| |l| |$|) (PROG (#1=#:G82465 |f| #2=#:G82466) (RETURN (SEQ (SPADCALL (SPADCALL |op| |l| (|+| 1 (SPADCALL (ELT |$| 41) (PROGN (LETT #1# NIL |ES-;okkernel|) (SEQ (LETT |f| NIL |ES-;okkernel|) (LETT #2# |l| |ES-;okkernel|) G190 (COND ((OR (ATOM #2#) (PROGN (LETT |f| (CAR #2#) |ES-;okkernel|) NIL)) (GO G191))) (SEQ (EXIT (LETT #1# (CONS (SPADCALL |f| (QREFELT |$| 99)) #1#) |ES-;okkernel|))) (LETT #2# (CDR #2#) |ES-;okkernel|) (GO G190) G191 (EXIT (NREVERSE0 #1#)))) 0 (QREFELT |$| 44))) (QREFELT |$| 100)) (QREFELT |$| 87))))))
-
-(DEFUN |ES-;elt;BoLS;33| (|op| |args| |$|) (PROG (|u| #1=#:G82482 |v|) (RETURN (SEQ (EXIT (COND ((NULL (SPADCALL |op| (QREFELT |$| 97))) (|error| "Unknown operator")) ((QUOTE T) (SEQ (SEQ (LETT |u| (SPADCALL |op| (QREFELT |$| 102)) |ES-;elt;BoLS;33|) (EXIT (COND ((QEQCAR |u| 0) (COND ((NULL (EQL (LENGTH |args|) (QCDR |u|))) (PROGN (LETT #1# (|error| "Wrong number of arguments") |ES-;elt;BoLS;33|) (GO #1#)))))))) (LETT |v| (SPADCALL |op| |args| (QREFELT |$| 105)) |ES-;elt;BoLS;33|) (EXIT (COND ((QEQCAR |v| 0) (QCDR |v|)) ((QUOTE T) (|ES-;okkernel| |op| |args| |$|)))))))) #1# (EXIT #1#)))))
-
-(DEFUN |ES-;retract;SK;34| (|f| |$|) (PROG (|k|) (RETURN (SEQ (LETT |k| (SPADCALL |f| (QREFELT |$| 107)) |ES-;retract;SK;34|) (EXIT (COND ((OR (QEQCAR |k| 1) (NULL (SPADCALL (SPADCALL (QCDR |k|) (QREFELT |$| 87)) |f| (QREFELT |$| 108)))) (|error| "not a kernel")) ((QUOTE T) (QCDR |k|))))))))
-
-(DEFUN |ES-;retractIfCan;SU;35| (|f| |$|) (PROG (|k|) (RETURN (SEQ (LETT |k| (SPADCALL |f| (QREFELT |$| 107)) |ES-;retractIfCan;SU;35|) (EXIT (COND ((OR (QEQCAR |k| 1) (NULL (SPADCALL (SPADCALL (QCDR |k|) (QREFELT |$| 87)) |f| (QREFELT |$| 108)))) (CONS 1 "failed")) ((QUOTE T) |k|)))))))
-
-(DEFUN |ES-;is?;SSB;36| (|f| |s| |$|) (PROG (|k|) (RETURN (SEQ (LETT |k| (SPADCALL |f| (QREFELT |$| 111)) |ES-;is?;SSB;36|) (EXIT (COND ((QEQCAR |k| 1) (QUOTE NIL)) ((QUOTE T) (SPADCALL (QCDR |k|) |s| (QREFELT |$| 112)))))))))
-
-(DEFUN |ES-;is?;SBoB;37| (|f| |op| |$|) (PROG (|k|) (RETURN (SEQ (LETT |k| (SPADCALL |f| (QREFELT |$| 111)) |ES-;is?;SBoB;37|) (EXIT (COND ((QEQCAR |k| 1) (QUOTE NIL)) ((QUOTE T) (SPADCALL (QCDR |k|) |op| (QREFELT |$| 50)))))))))
-
-(DEFUN |ES-;unwrap| (|l| |x| |$|) (PROG (|k| #1=#:G82507) (RETURN (SEQ (SEQ (LETT |k| NIL |ES-;unwrap|) (LETT #1# (NREVERSE |l|) |ES-;unwrap|) G190 (COND ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) |ES-;unwrap|) NIL)) (GO G191))) (SEQ (EXIT (LETT |x| (SPADCALL |x| |k| (|SPADfirst| (SPADCALL |k| (QREFELT |$| 85))) (QREFELT |$| 115)) |ES-;unwrap|))) (LETT #1# (CDR #1#) |ES-;unwrap|) (GO G190) G191 (EXIT NIL)) (EXIT |x|)))))
-
-(DEFUN |ES-;distribute;3S;39| (|x| |y| |$|) (PROG (|ky| #1=#:G82512 |k| #2=#:G82513) (RETURN (SEQ (LETT |ky| (SPADCALL |y| (QREFELT |$| 56)) |ES-;distribute;3S;39|) (EXIT (|ES-;unwrap| (PROGN (LETT #1# NIL |ES-;distribute;3S;39|) (SEQ (LETT |k| NIL |ES-;distribute;3S;39|) (LETT #2# (|ES-;listk| |x| |$|) |ES-;distribute;3S;39|) G190 (COND ((OR (ATOM #2#) (PROGN (LETT |k| (CAR #2#) |ES-;distribute;3S;39|) NIL)) (GO G191))) (SEQ (EXIT (COND ((COND ((SPADCALL |k| (SPADCALL "%paren" (QREFELT |$| 9)) (QREFELT |$| 112)) (SPADCALL |ky| (|ES-;listk| (SPADCALL |k| (QREFELT |$| 87)) |$|) (QREFELT |$| 57))) ((QUOTE T) (QUOTE NIL))) (LETT #1# (CONS |k| #1#) |ES-;distribute;3S;39|))))) (LETT #2# (CDR #2#) |ES-;distribute;3S;39|) (GO G190) G191 (EXIT (NREVERSE0 #1#)))) |x| |$|))))))
-
-(DEFUN |ES-;eval;SLS;40| (|f| |leq| |$|) (PROG (|rec|) (RETURN (SEQ (LETT |rec| (|ES-;mkKerLists| |leq| |$|) |ES-;eval;SLS;40|) (EXIT (SPADCALL |f| (QCAR |rec|) (QCDR |rec|) (QREFELT |$| 117)))))))
-
-(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 |$| 119)))))))
-
-(DEFUN |ES-;mkKerLists| (|leq| |$|) (PROG (|eq| #1=#:G82530 |k| |lk| |lv|) (RETURN (SEQ (LETT |lk| NIL |ES-;mkKerLists|) (LETT |lv| NIL |ES-;mkKerLists|) (SEQ (LETT |eq| NIL |ES-;mkKerLists|) (LETT #1# |leq| |ES-;mkKerLists|) G190 (COND ((OR (ATOM #1#) (PROGN (LETT |eq| (CAR #1#) |ES-;mkKerLists|) NIL)) (GO G191))) (SEQ (LETT |k| (SPADCALL (SPADCALL |eq| (QREFELT |$| 122)) (QREFELT |$| 111)) |ES-;mkKerLists|) (EXIT (COND ((QEQCAR |k| 1) (|error| "left hand side must be a single kernel")) ((NULL (SPADCALL (QCDR |k|) |lk| (QREFELT |$| 57))) (SEQ (LETT |lk| (CONS (QCDR |k|) |lk|) |ES-;mkKerLists|) (EXIT (LETT |lv| (CONS (SPADCALL |eq| (QREFELT |$| 123)) |lv|) |ES-;mkKerLists|))))))) (LETT #1# (CDR #1#) |ES-;mkKerLists|) (GO G190) G191 (EXIT NIL)) (EXIT (CONS |lk| |lv|))))))
-
-(DEFUN |ES-;even?;SB;43| (|x| |$|) (|ES-;intpred?| |x| (ELT |$| 125) |$|))
-
-(DEFUN |ES-;odd?;SB;44| (|x| |$|) (|ES-;intpred?| |x| (ELT |$| 127) |$|))
-
-(DEFUN |ES-;intpred?| (|x| |pred?| |$|) (PROG (|u|) (RETURN (SEQ (LETT |u| (SPADCALL |x| (QREFELT |$| 130)) |ES-;intpred?|) (EXIT (COND ((QEQCAR |u| 0) (SPADCALL (QCDR |u|) |pred?|)) ((QUOTE T) (QUOTE NIL))))))))
-
-(DEFUN |ExpressionSpace&| (|#1|) (PROG (|DV$1| |dv$| |$| |pv$|) (RETURN (PROGN (LETT |DV$1| (|devaluate| |#1|) . #1=(|ExpressionSpace&|)) (LETT |dv$| (LIST (QUOTE |ExpressionSpace&|) |DV$1|) . #1#) (LETT |$| (GETREFV 131) . #1#) (QSETREFV |$| 0 |dv$|) (QSETREFV |$| 3 (LETT |pv$| (|buildPredVector| 0 0 (LIST (|HasCategory| |#1| (QUOTE (|RetractableTo| (|Integer|)))) (|HasCategory| |#1| (QUOTE (|Ring|))))) . #1#)) (|stuffDomainSlots| |$|) (QSETREFV |$| 6 |#1|) (QSETREFV |$| 13 (SPADCALL (SPADCALL "%paren" (QREFELT |$| 9)) (QREFELT |$| 12))) (QSETREFV |$| 14 (SPADCALL (SPADCALL "%box" (QREFELT |$| 9)) (QREFELT |$| 12))) (COND ((|testBitVector| |pv$| 1) (PROGN (QSETREFV |$| 126 (CONS (|dispatchFunction| |ES-;even?;SB;43|) |$|)) (QSETREFV |$| 128 (CONS (|dispatchFunction| |ES-;odd?;SB;44|) |$|))))) |$|))))
-
-(MAKEPROP (QUOTE |ExpressionSpace&|) (QUOTE |infovec|) (LIST (QUOTE #(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|String|) (|Symbol|) (0 . |coerce|) (|BasicOperator|) (|CommonOperators|) (5 . |operator|) (QUOTE |oppren|) (QUOTE |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| 55) |ES-;tower;SL;5| (36 . |brace|) (41 . |union|) (|Mapping| 24 24 24) (|List| 24) (47 . |reduce|) (|Kernel| 6) (54 . |operator|) (|List| 10) |ES-;operators;SL;7| (59 . |kernels|) (|NonNegativeInteger|) (64 . |height|) (69 . |max|) (|Mapping| 39 39 39) (|List| 39) (75 . |reduce|) |ES-;height;SNni;8| (82 . |name|) (|List| 8) (87 . |member?|) |ES-;freeOf?;SSB;9| (93 . |is?|) |ES-;distribute;2S;10| (99 . |elt|) |ES-;box;LS;11| |ES-;paren;LS;12| (|Kernel| |$|) (105 . |retract|) (110 . |member?|) |ES-;freeOf?;2SB;13| (116 . |kernel|) |ES-;kernel;Bo2S;14| |ES-;elt;Bo2S;15| |ES-;elt;Bo3S;16| |ES-;elt;Bo4S;17| |ES-;elt;Bo5S;18| (|Mapping| |$| 15) (|List| 65) (122 . |eval|) |ES-;eval;SSMS;19| (129 . |name|) |ES-;eval;SBoMS;20| (|List| 6) (134 . |first|) (|Mapping| |$| |$|) |ES-;eval;SSMS;21| (139 . |eval|) |ES-;eval;SBoMS;22| (|List| 79) (146 . |subst|) (|Equation| |$|) |ES-;subst;SES;23| (|List| 73) |ES-;eval;SLLS;24| |ES-;eval;SLLS;25| |ES-;eval;SLLS;26| (152 . |argument|) (157 . |=|) (163 . |coerce|) |ES-;map;MKS;27| (168 . |is?|) |ES-;operator;2Bo;28| (|Union| 55 (QUOTE "failed")) |ES-;mainKernel;SU;29| (|Union| (|None|) (QUOTE "failed")) (174 . |property|) (180 . |second|) (185 . |remove!|) (191 . |belong?|) |ES-;kernel;BoLS;31| (196 . |height|) (201 . |kernel|) (|Union| 39 (QUOTE "failed")) (208 . |arity|) (|Union| 6 (QUOTE "failed")) (|BasicOperatorFunctions1| 6) (213 . |evaluate|) |ES-;elt;BoLS;33| (219 . |mainKernel|) (224 . |=|) |ES-;retract;SK;34| |ES-;retractIfCan;SU;35| (230 . |retractIfCan|) (235 . |is?|) |ES-;is?;SSB;36| |ES-;is?;SBoB;37| (241 . |eval|) |ES-;distribute;3S;39| (248 . |eval|) |ES-;eval;SLS;40| (255 . |subst|) |ES-;subst;SLS;41| (|Equation| 6) (262 . |lhs|) (267 . |rhs|) (|Integer|) (272 . |even?|) (277 . |even?|) (282 . |odd?|) (287 . |odd?|) (|Union| 124 (QUOTE "failed")) (292 . |retractIfCan|))) (QUOTE #(|tower| 297 |subst| 302 |retractIfCan| 314 |retract| 319 |paren| 324 |operators| 334 |operator| 339 |odd?| 344 |map| 349 |mainKernel| 355 |kernel| 360 |is?| 372 |height| 384 |freeOf?| 389 |even?| 401 |eval| 406 |elt| 461 |distribute| 497 |box| 508 |belong?| 518)) (QUOTE NIL) (CONS (|makeByteWordVec2| 1 (QUOTE NIL)) (CONS (QUOTE #()) (CONS (QUOTE #()) (|makeByteWordVec2| 130 (QUOTE (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 2 34 20 0 10 50 2 6 0 10 15 52 1 6 55 0 56 2 23 20 34 0 57 2 6 0 10 15 59 3 6 0 0 47 66 67 1 10 8 0 69 1 71 6 0 72 3 6 0 0 36 66 75 2 6 0 0 77 78 1 34 71 0 85 2 71 20 0 0 86 1 6 0 55 87 2 10 20 0 8 89 2 10 93 0 7 94 1 71 6 0 95 2 24 0 34 0 96 1 6 20 10 97 1 6 39 0 99 3 34 0 10 71 39 100 1 10 101 0 102 2 104 103 10 71 105 1 6 91 0 107 2 6 20 0 0 108 1 6 91 0 111 2 34 20 0 8 112 3 6 0 0 55 0 115 3 6 0 0 27 15 117 3 6 0 0 27 15 119 1 121 6 0 122 1 121 6 0 123 1 124 20 0 125 1 0 20 0 126 1 124 20 0 127 1 0 20 0 128 1 6 129 0 130 1 0 27 0 28 2 0 0 0 77 120 2 0 0 0 79 80 1 0 91 0 110 1 0 55 0 109 1 0 0 0 19 1 0 0 15 54 1 0 36 0 37 1 0 10 10 90 1 0 20 0 128 2 0 0 73 55 88 1 0 91 0 92 2 0 0 10 15 98 2 0 0 10 0 60 2 0 20 0 8 113 2 0 20 0 10 114 1 0 39 0 45 2 0 20 0 8 49 2 0 20 0 0 58 1 0 20 0 126 3 0 0 0 10 73 76 3 0 0 0 36 66 84 3 0 0 0 10 65 70 3 0 0 0 36 81 82 3 0 0 0 8 65 68 3 0 0 0 8 73 74 3 0 0 0 47 81 83 2 0 0 0 77 118 2 0 0 10 15 106 5 0 0 10 0 0 0 0 64 3 0 0 10 0 0 62 4 0 0 10 0 0 0 63 2 0 0 10 0 61 2 0 0 0 0 116 1 0 0 0 51 1 0 0 15 53 1 0 0 0 17 1 0 20 10 22)))))) (QUOTE |lookupComplete|)))
+(/VERSIONCHECK 2)
+
+(DEFUN |ES-;box;2S;1| (|x| $) (SPADCALL (LIST |x|) (QREFELT $ 16)))
+
+(DEFUN |ES-;paren;2S;2| (|x| $) (SPADCALL (LIST |x|) (QREFELT $ 18)))
+
+(DEFUN |ES-;belong?;BoB;3| (|op| $)
+ (COND
+ ((SPADCALL |op| (QREFELT $ 13) (QREFELT $ 21)) 'T)
+ ('T (SPADCALL |op| (QREFELT $ 14) (QREFELT $ 21)))))
+
+(DEFUN |ES-;listk| (|f| $)
+ (SPADCALL (|ES-;allKernels| |f| $) (QREFELT $ 25)))
+
+(DEFUN |ES-;tower;SL;5| (|f| $)
+ (SPADCALL (|ES-;listk| |f| $) (QREFELT $ 26)))
+
+(DEFUN |ES-;allk| (|l| $)
+ (PROG (#0=#:G1410 |f| #1=#:G1411)
+ (RETURN
+ (SEQ (SPADCALL (ELT $ 30)
+ (PROGN
+ (LETT #0# NIL |ES-;allk|)
+ (SEQ (LETT |f| NIL |ES-;allk|)
+ (LETT #1# |l| |ES-;allk|) G190
+ (COND
+ ((OR (ATOM #1#)
+ (PROGN
+ (LETT |f| (CAR #1#) |ES-;allk|)
+ NIL))
+ (GO G191)))
+ (SEQ (EXIT (LETT #0#
+ (CONS (|ES-;allKernels| |f| $)
+ #0#)
+ |ES-;allk|)))
+ (LETT #1# (CDR #1#) |ES-;allk|) (GO G190) G191
+ (EXIT (NREVERSE0 #0#))))
+ (SPADCALL NIL (QREFELT $ 29)) (QREFELT $ 33))))))
+
+(DEFUN |ES-;operators;SL;7| (|f| $)
+ (PROG (#0=#:G1414 |k| #1=#:G1415)
+ (RETURN
+ (SEQ (PROGN
+ (LETT #0# NIL |ES-;operators;SL;7|)
+ (SEQ (LETT |k| NIL |ES-;operators;SL;7|)
+ (LETT #1# (|ES-;listk| |f| $) |ES-;operators;SL;7|)
+ G190
+ (COND
+ ((OR (ATOM #1#)
+ (PROGN
+ (LETT |k| (CAR #1#) |ES-;operators;SL;7|)
+ NIL))
+ (GO G191)))
+ (SEQ (EXIT (LETT #0#
+ (CONS (SPADCALL |k| (QREFELT $ 35))
+ #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)
+ (RETURN
+ (SEQ (SPADCALL (ELT $ 41)
+ (PROGN
+ (LETT #0# NIL |ES-;height;SNni;8|)
+ (SEQ (LETT |k| NIL |ES-;height;SNni;8|)
+ (LETT #1# (SPADCALL |f| (QREFELT $ 38))
+ |ES-;height;SNni;8|)
+ G190
+ (COND
+ ((OR (ATOM #1#)
+ (PROGN
+ (LETT |k| (CAR #1#) |ES-;height;SNni;8|)
+ NIL))
+ (GO G191)))
+ (SEQ (EXIT (LETT #0#
+ (CONS
+ (SPADCALL |k| (QREFELT $ 40))
+ #0#)
+ |ES-;height;SNni;8|)))
+ (LETT #1# (CDR #1#) |ES-;height;SNni;8|)
+ (GO G190) G191 (EXIT (NREVERSE0 #0#))))
+ 0 (QREFELT $ 44))))))
+
+(DEFUN |ES-;freeOf?;SSB;9| (|x| |s| $)
+ (PROG (#0=#:G1425 |k| #1=#:G1426)
+ (RETURN
+ (SEQ (SPADCALL
+ (SPADCALL |s|
+ (PROGN
+ (LETT #0# NIL |ES-;freeOf?;SSB;9|)
+ (SEQ (LETT |k| NIL |ES-;freeOf?;SSB;9|)
+ (LETT #1# (|ES-;listk| |x| $)
+ |ES-;freeOf?;SSB;9|)
+ G190
+ (COND
+ ((OR (ATOM #1#)
+ (PROGN
+ (LETT |k| (CAR #1#)
+ |ES-;freeOf?;SSB;9|)
+ NIL))
+ (GO G191)))
+ (SEQ (EXIT (LETT #0#
+ (CONS
+ (SPADCALL |k| (QREFELT $ 46))
+ #0#)
+ |ES-;freeOf?;SSB;9|)))
+ (LETT #1# (CDR #1#) |ES-;freeOf?;SSB;9|)
+ (GO G190) G191 (EXIT (NREVERSE0 #0#))))
+ (QREFELT $ 48))
+ (QREFELT $ 49))))))
+
+(DEFUN |ES-;distribute;2S;10| (|x| $)
+ (PROG (#0=#:G1429 |k| #1=#:G1430)
+ (RETURN
+ (SEQ (|ES-;unwrap|
+ (PROGN
+ (LETT #0# NIL |ES-;distribute;2S;10|)
+ (SEQ (LETT |k| NIL |ES-;distribute;2S;10|)
+ (LETT #1# (|ES-;listk| |x| $)
+ |ES-;distribute;2S;10|)
+ G190
+ (COND
+ ((OR (ATOM #1#)
+ (PROGN
+ (LETT |k| (CAR #1#)
+ |ES-;distribute;2S;10|)
+ NIL))
+ (GO G191)))
+ (SEQ (EXIT (COND
+ ((SPADCALL |k| (QREFELT $ 13)
+ (QREFELT $ 51))
+ (LETT #0# (CONS |k| #0#)
+ |ES-;distribute;2S;10|)))))
+ (LETT #1# (CDR #1#) |ES-;distribute;2S;10|)
+ (GO G190) G191 (EXIT (NREVERSE0 #0#))))
+ |x| $)))))
+
+(DEFUN |ES-;box;LS;11| (|l| $)
+ (SPADCALL (QREFELT $ 14) |l| (QREFELT $ 53)))
+
+(DEFUN |ES-;paren;LS;12| (|l| $)
+ (SPADCALL (QREFELT $ 13) |l| (QREFELT $ 53)))
+
+(DEFUN |ES-;freeOf?;2SB;13| (|x| |k| $)
+ (SPADCALL (SPADCALL (SPADCALL |k| (QREFELT $ 57)) (|ES-;listk| |x| $)
+ (QREFELT $ 58))
+ (QREFELT $ 49)))
+
+(DEFUN |ES-;kernel;Bo2S;14| (|op| |arg| $)
+ (SPADCALL |op| (LIST |arg|) (QREFELT $ 60)))
+
+(DEFUN |ES-;elt;Bo2S;15| (|op| |x| $)
+ (SPADCALL |op| (LIST |x|) (QREFELT $ 53)))
+
+(DEFUN |ES-;elt;Bo3S;16| (|op| |x| |y| $)
+ (SPADCALL |op| (LIST |x| |y|) (QREFELT $ 53)))
+
+(DEFUN |ES-;elt;Bo4S;17| (|op| |x| |y| |z| $)
+ (SPADCALL |op| (LIST |x| |y| |z|) (QREFELT $ 53)))
+
+(DEFUN |ES-;elt;Bo5S;18| (|op| |x| |y| |z| |t| $)
+ (SPADCALL |op| (LIST |x| |y| |z| |t|) (QREFELT $ 53)))
+
+(DEFUN |ES-;eval;SSMS;19| (|x| |s| |f| $)
+ (SPADCALL |x| (LIST |s|) (LIST |f|) (QREFELT $ 68)))
+
+(DEFUN |ES-;eval;SBoMS;20| (|x| |s| |f| $)
+ (SPADCALL |x| (LIST (SPADCALL |s| (QREFELT $ 70))) (LIST |f|)
+ (QREFELT $ 68)))
+
+(DEFUN |ES-;eval;SSMS;21| (|x| |s| |f| $)
+ (SPADCALL |x| (LIST |s|)
+ (LIST (CONS #'|ES-;eval;SSMS;21!0| (VECTOR |f| $)))
+ (QREFELT $ 68)))
+
+(DEFUN |ES-;eval;SSMS;21!0| (|#1| $$)
+ (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT $$ 1) 73)) (QREFELT $$ 0)))
+
+(DEFUN |ES-;eval;SBoMS;22| (|x| |s| |f| $)
+ (SPADCALL |x| (LIST |s|)
+ (LIST (CONS #'|ES-;eval;SBoMS;22!0| (VECTOR |f| $)))
+ (QREFELT $ 76)))
+
+(DEFUN |ES-;eval;SBoMS;22!0| (|#1| $$)
+ (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT $$ 1) 73)) (QREFELT $$ 0)))
+
+(DEFUN |ES-;subst;SES;23| (|x| |e| $)
+ (SPADCALL |x| (LIST |e|) (QREFELT $ 79)))
+
+(DEFUN |ES-;eval;SLLS;24| (|x| |ls| |lf| $)
+ (PROG (#0=#:G1450 |f| #1=#:G1451)
+ (RETURN
+ (SEQ (SPADCALL |x| |ls|
+ (PROGN
+ (LETT #0# NIL |ES-;eval;SLLS;24|)
+ (SEQ (LETT |f| NIL |ES-;eval;SLLS;24|)
+ (LETT #1# |lf| |ES-;eval;SLLS;24|) G190
+ (COND
+ ((OR (ATOM #1#)
+ (PROGN
+ (LETT |f| (CAR #1#) |ES-;eval;SLLS;24|)
+ NIL))
+ (GO G191)))
+ (SEQ (EXIT (LETT #0#
+ (CONS
+ (CONS #'|ES-;eval;SLLS;24!0|
+ (VECTOR |f| $))
+ #0#)
+ |ES-;eval;SLLS;24|)))
+ (LETT #1# (CDR #1#) |ES-;eval;SLLS;24|) (GO G190)
+ G191 (EXIT (NREVERSE0 #0#))))
+ (QREFELT $ 76))))))
+
+(DEFUN |ES-;eval;SLLS;24!0| (|#1| $$)
+ (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT $$ 1) 73)) (QREFELT $$ 0)))
+
+(DEFUN |ES-;eval;SLLS;25| (|x| |ls| |lf| $)
+ (PROG (#0=#:G1454 |f| #1=#:G1455)
+ (RETURN
+ (SEQ (SPADCALL |x| |ls|
+ (PROGN
+ (LETT #0# NIL |ES-;eval;SLLS;25|)
+ (SEQ (LETT |f| NIL |ES-;eval;SLLS;25|)
+ (LETT #1# |lf| |ES-;eval;SLLS;25|) G190
+ (COND
+ ((OR (ATOM #1#)
+ (PROGN
+ (LETT |f| (CAR #1#) |ES-;eval;SLLS;25|)
+ NIL))
+ (GO G191)))
+ (SEQ (EXIT (LETT #0#
+ (CONS
+ (CONS #'|ES-;eval;SLLS;25!0|
+ (VECTOR |f| $))
+ #0#)
+ |ES-;eval;SLLS;25|)))
+ (LETT #1# (CDR #1#) |ES-;eval;SLLS;25|) (GO G190)
+ G191 (EXIT (NREVERSE0 #0#))))
+ (QREFELT $ 68))))))
+
+(DEFUN |ES-;eval;SLLS;25!0| (|#1| $$)
+ (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT $$ 1) 73)) (QREFELT $$ 0)))
+
+(DEFUN |ES-;eval;SLLS;26| (|x| |ls| |lf| $)
+ (PROG (#0=#:G1459 |s| #1=#:G1460)
+ (RETURN
+ (SEQ (SPADCALL |x|
+ (PROGN
+ (LETT #0# NIL |ES-;eval;SLLS;26|)
+ (SEQ (LETT |s| NIL |ES-;eval;SLLS;26|)
+ (LETT #1# |ls| |ES-;eval;SLLS;26|) G190
+ (COND
+ ((OR (ATOM #1#)
+ (PROGN
+ (LETT |s| (CAR #1#) |ES-;eval;SLLS;26|)
+ NIL))
+ (GO G191)))
+ (SEQ (EXIT (LETT #0#
+ (CONS
+ (SPADCALL |s| (QREFELT $ 70))
+ #0#)
+ |ES-;eval;SLLS;26|)))
+ (LETT #1# (CDR #1#) |ES-;eval;SLLS;26|) (GO G190)
+ G191 (EXIT (NREVERSE0 #0#))))
+ |lf| (QREFELT $ 68))))))
+
+(DEFUN |ES-;map;MKS;27| (|fn| |k| $)
+ (PROG (#0=#:G1475 |x| #1=#:G1476 |l|)
+ (RETURN
+ (SEQ (COND
+ ((SPADCALL
+ (LETT |l|
+ (PROGN
+ (LETT #0# NIL |ES-;map;MKS;27|)
+ (SEQ (LETT |x| NIL |ES-;map;MKS;27|)
+ (LETT #1# (SPADCALL |k| (QREFELT $ 86))
+ |ES-;map;MKS;27|)
+ G190
+ (COND
+ ((OR (ATOM #1#)
+ (PROGN
+ (LETT |x| (CAR #1#)
+ |ES-;map;MKS;27|)
+ NIL))
+ (GO G191)))
+ (SEQ (EXIT
+ (LETT #0#
+ (CONS (SPADCALL |x| |fn|) #0#)
+ |ES-;map;MKS;27|)))
+ (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)))
+ ('T
+ (SPADCALL (SPADCALL |k| (QREFELT $ 35)) |l|
+ (QREFELT $ 53))))))))
+
+(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))
+ ('T (|error| "Unknown operator"))))
+
+(DEFUN |ES-;mainKernel;SU;29| (|x| $)
+ (PROG (|l| |kk| #0=#:G1492 |n| |k|)
+ (RETURN
+ (SEQ (COND
+ ((NULL (LETT |l| (SPADCALL |x| (QREFELT $ 38))
+ |ES-;mainKernel;SU;29|))
+ (CONS 1 "failed"))
+ ('T
+ (SEQ (LETT |n|
+ (SPADCALL
+ (LETT |k| (|SPADfirst| |l|)
+ |ES-;mainKernel;SU;29|)
+ (QREFELT $ 40))
+ |ES-;mainKernel;SU;29|)
+ (SEQ (LETT |kk| NIL |ES-;mainKernel;SU;29|)
+ (LETT #0# (CDR |l|) |ES-;mainKernel;SU;29|)
+ G190
+ (COND
+ ((OR (ATOM #0#)
+ (PROGN
+ (LETT |kk| (CAR #0#)
+ |ES-;mainKernel;SU;29|)
+ NIL))
+ (GO G191)))
+ (SEQ (EXIT (COND
+ ((< |n|
+ (SPADCALL |kk| (QREFELT $ 40)))
+ (SEQ
+ (LETT |n|
+ (SPADCALL |kk| (QREFELT $ 40))
+ |ES-;mainKernel;SU;29|)
+ (EXIT
+ (LETT |k| |kk|
+ |ES-;mainKernel;SU;29|)))))))
+ (LETT #0# (CDR #0#) |ES-;mainKernel;SU;29|)
+ (GO G190) G191 (EXIT NIL))
+ (EXIT (CONS 0 |k|)))))))))
+
+(DEFUN |ES-;allKernels| (|f| $)
+ (PROG (|l| |k| #0=#:G1505 |u| |s0| |n| |arg| |t| |s|)
+ (RETURN
+ (SEQ (LETT |s|
+ (SPADCALL
+ (LETT |l| (SPADCALL |f| (QREFELT $ 38))
+ |ES-;allKernels|)
+ (QREFELT $ 29))
+ |ES-;allKernels|)
+ (SEQ (LETT |k| NIL |ES-;allKernels|)
+ (LETT #0# |l| |ES-;allKernels|) G190
+ (COND
+ ((OR (ATOM #0#)
+ (PROGN
+ (LETT |k| (CAR #0#) |ES-;allKernels|)
+ NIL))
+ (GO G191)))
+ (SEQ (LETT |t|
+ (SEQ (LETT |u|
+ (SPADCALL
+ (SPADCALL |k| (QREFELT $ 35))
+ "%dummyVar" (QREFELT $ 95))
+ |ES-;allKernels|)
+ (EXIT (COND
+ ((QEQCAR |u| 0)
+ (SEQ
+ (LETT |arg|
+ (SPADCALL |k|
+ (QREFELT $ 86))
+ |ES-;allKernels|)
+ (LETT |s0|
+ (SPADCALL
+ (SPADCALL
+ (SPADCALL |arg|
+ (QREFELT $ 96))
+ (QREFELT $ 57))
+ (|ES-;allKernels|
+ (|SPADfirst| |arg|) $)
+ (QREFELT $ 97))
+ |ES-;allKernels|)
+ (LETT |arg| (CDR (CDR |arg|))
+ |ES-;allKernels|)
+ (LETT |n| (QCDR |u|)
+ |ES-;allKernels|)
+ (COND
+ ((< 1 |n|)
+ (LETT |arg| (CDR |arg|)
+ |ES-;allKernels|)))
+ (EXIT
+ (SPADCALL |s0|
+ (|ES-;allk| |arg| $)
+ (QREFELT $ 30)))))
+ ('T
+ (|ES-;allk|
+ (SPADCALL |k| (QREFELT $ 86))
+ $)))))
+ |ES-;allKernels|)
+ (EXIT (LETT |s| (SPADCALL |s| |t| (QREFELT $ 30))
+ |ES-;allKernels|)))
+ (LETT #0# (CDR #0#) |ES-;allKernels|) (GO G190) G191
+ (EXIT NIL))
+ (EXIT |s|)))))
+
+(DEFUN |ES-;kernel;BoLS;31| (|op| |args| $)
+ (COND
+ ((NULL (SPADCALL |op| (QREFELT $ 98)))
+ (|error| "Unknown operator"))
+ ('T (|ES-;okkernel| |op| |args| $))))
+
+(DEFUN |ES-;okkernel| (|op| |l| $)
+ (PROG (#0=#:G1512 |f| #1=#:G1513)
+ (RETURN
+ (SEQ (SPADCALL
+ (SPADCALL |op| |l|
+ (+ 1
+ (SPADCALL (ELT $ 41)
+ (PROGN
+ (LETT #0# NIL |ES-;okkernel|)
+ (SEQ (LETT |f| NIL |ES-;okkernel|)
+ (LETT #1# |l| |ES-;okkernel|) G190
+ (COND
+ ((OR (ATOM #1#)
+ (PROGN
+ (LETT |f| (CAR #1#)
+ |ES-;okkernel|)
+ NIL))
+ (GO G191)))
+ (SEQ (EXIT
+ (LETT #0#
+ (CONS
+ (SPADCALL |f| (QREFELT $ 100))
+ #0#)
+ |ES-;okkernel|)))
+ (LETT #1# (CDR #1#) |ES-;okkernel|)
+ (GO G190) G191 (EXIT (NREVERSE0 #0#))))
+ 0 (QREFELT $ 44)))
+ (QREFELT $ 101))
+ (QREFELT $ 88))))))
+
+(DEFUN |ES-;elt;BoLS;33| (|op| |args| $)
+ (PROG (|u| #0=#:G1529 |v|)
+ (RETURN
+ (SEQ (EXIT (COND
+ ((NULL (SPADCALL |op| (QREFELT $ 98)))
+ (|error| "Unknown operator"))
+ ('T
+ (SEQ (SEQ (LETT |u| (SPADCALL |op| (QREFELT $ 103))
+ |ES-;elt;BoLS;33|)
+ (EXIT (COND
+ ((QEQCAR |u| 0)
+ (COND
+ ((NULL
+ (EQL (LENGTH |args|)
+ (QCDR |u|)))
+ (PROGN
+ (LETT #0#
+ (|error|
+ "Wrong number of arguments")
+ |ES-;elt;BoLS;33|)
+ (GO #0#))))))))
+ (LETT |v|
+ (SPADCALL |op| |args| (QREFELT $ 106))
+ |ES-;elt;BoLS;33|)
+ (EXIT (COND
+ ((QEQCAR |v| 0) (QCDR |v|))
+ ('T (|ES-;okkernel| |op| |args| $))))))))
+ #0# (EXIT #0#)))))
+
+(DEFUN |ES-;retract;SK;34| (|f| $)
+ (PROG (|k|)
+ (RETURN
+ (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 108))
+ |ES-;retract;SK;34|)
+ (EXIT (COND
+ ((OR (QEQCAR |k| 1)
+ (NULL (SPADCALL
+ (SPADCALL (QCDR |k|) (QREFELT $ 88))
+ |f| (QREFELT $ 109))))
+ (|error| "not a kernel"))
+ ('T (QCDR |k|))))))))
+
+(DEFUN |ES-;retractIfCan;SU;35| (|f| $)
+ (PROG (|k|)
+ (RETURN
+ (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 108))
+ |ES-;retractIfCan;SU;35|)
+ (EXIT (COND
+ ((OR (QEQCAR |k| 1)
+ (NULL (SPADCALL
+ (SPADCALL (QCDR |k|) (QREFELT $ 88))
+ |f| (QREFELT $ 109))))
+ (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|)
+ (EXIT (COND
+ ((QEQCAR |k| 1) 'NIL)
+ ('T (SPADCALL (QCDR |k|) |s| (QREFELT $ 113)))))))))
+
+(DEFUN |ES-;is?;SBoB;37| (|f| |op| $)
+ (PROG (|k|)
+ (RETURN
+ (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 112)) |ES-;is?;SBoB;37|)
+ (EXIT (COND
+ ((QEQCAR |k| 1) 'NIL)
+ ('T (SPADCALL (QCDR |k|) |op| (QREFELT $ 51)))))))))
+
+(DEFUN |ES-;unwrap| (|l| |x| $)
+ (PROG (|k| #0=#:G1554)
+ (RETURN
+ (SEQ (SEQ (LETT |k| NIL |ES-;unwrap|)
+ (LETT #0# (NREVERSE |l|) |ES-;unwrap|) G190
+ (COND
+ ((OR (ATOM #0#)
+ (PROGN (LETT |k| (CAR #0#) |ES-;unwrap|) NIL))
+ (GO G191)))
+ (SEQ (EXIT (LETT |x|
+ (SPADCALL |x| |k|
+ (|SPADfirst|
+ (SPADCALL |k| (QREFELT $ 86)))
+ (QREFELT $ 116))
+ |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)
+ (RETURN
+ (SEQ (LETT |ky| (SPADCALL |y| (QREFELT $ 57))
+ |ES-;distribute;3S;39|)
+ (EXIT (|ES-;unwrap|
+ (PROGN
+ (LETT #0# NIL |ES-;distribute;3S;39|)
+ (SEQ (LETT |k| NIL |ES-;distribute;3S;39|)
+ (LETT #1# (|ES-;listk| |x| $)
+ |ES-;distribute;3S;39|)
+ G190
+ (COND
+ ((OR (ATOM #1#)
+ (PROGN
+ (LETT |k| (CAR #1#)
+ |ES-;distribute;3S;39|)
+ NIL))
+ (GO G191)))
+ (SEQ (EXIT (COND
+ ((COND
+ ((SPADCALL |k|
+ (SPADCALL "%paren"
+ (QREFELT $ 9))
+ (QREFELT $ 113))
+ (SPADCALL |ky|
+ (|ES-;listk|
+ (SPADCALL |k|
+ (QREFELT $ 88))
+ $)
+ (QREFELT $ 58)))
+ ('T 'NIL))
+ (LETT #0# (CONS |k| #0#)
+ |ES-;distribute;3S;39|)))))
+ (LETT #1# (CDR #1#) |ES-;distribute;3S;39|)
+ (GO G190) G191 (EXIT (NREVERSE0 #0#))))
+ |x| $))))))
+
+(DEFUN |ES-;eval;SLS;40| (|f| |leq| $)
+ (PROG (|rec|)
+ (RETURN
+ (SEQ (LETT |rec| (|ES-;mkKerLists| |leq| $) |ES-;eval;SLS;40|)
+ (EXIT (SPADCALL |f| (QCAR |rec|) (QCDR |rec|)
+ (QREFELT $ 118)))))))
+
+(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)))))))
+
+(DEFUN |ES-;mkKerLists| (|leq| $)
+ (PROG (|eq| #0=#:G1577 |k| |lk| |lv|)
+ (RETURN
+ (SEQ (LETT |lk| NIL |ES-;mkKerLists|)
+ (LETT |lv| NIL |ES-;mkKerLists|)
+ (SEQ (LETT |eq| NIL |ES-;mkKerLists|)
+ (LETT #0# |leq| |ES-;mkKerLists|) G190
+ (COND
+ ((OR (ATOM #0#)
+ (PROGN
+ (LETT |eq| (CAR #0#) |ES-;mkKerLists|)
+ NIL))
+ (GO G191)))
+ (SEQ (LETT |k|
+ (SPADCALL (SPADCALL |eq| (QREFELT $ 123))
+ (QREFELT $ 112))
+ |ES-;mkKerLists|)
+ (EXIT (COND
+ ((QEQCAR |k| 1)
+ (|error| "left hand side must be a single kernel"))
+ ((NULL (SPADCALL (QCDR |k|) |lk|
+ (QREFELT $ 58)))
+ (SEQ (LETT |lk| (CONS (QCDR |k|) |lk|)
+ |ES-;mkKerLists|)
+ (EXIT
+ (LETT |lv|
+ (CONS
+ (SPADCALL |eq| (QREFELT $ 124))
+ |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-;odd?;SB;44| (|x| $) (|ES-;intpred?| |x| (ELT $ 128) $))
+
+(DEFUN |ES-;intpred?| (|x| |pred?| $)
+ (PROG (|u|)
+ (RETURN
+ (SEQ (LETT |u| (SPADCALL |x| (QREFELT $ 131)) |ES-;intpred?|)
+ (EXIT (COND
+ ((QEQCAR |u| 0) (SPADCALL (QCDR |u|) |pred?|))
+ ('T 'NIL)))))))
+
+(DEFUN |ExpressionSpace&| (|#1|)
+ (PROG (|dv$1| |dv$| $ |pv$|)
+ (RETURN
+ (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 |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)))
+ (COND
+ ((|testBitVector| |pv$| 1)
+ (PROGN
+ (QSETREFV $ 127
+ (CONS (|dispatchFunction| |ES-;even?;SB;43|) $))
+ (QSETREFV $ 129
+ (CONS (|dispatchFunction| |ES-;odd?;SB;44|) $)))))
+ $))))
+
+(MAKEPROP '|ExpressionSpace&| '|infovec|
+ (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|String|)
+ (|Symbol|) (0 . |coerce|) (|BasicOperator|)
+ (|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)
+ |ES-;operators;SL;7| (59 . |kernels|)
+ (|NonNegativeInteger|) (64 . |height|) (69 . |max|)
+ (|Mapping| 39 39 39) (|List| 39) (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)
+ 'NIL
+ (CONS (|makeByteWordVec2| 1 'NIL)
+ (CONS '#()
+ (CONS '#()
+ (|makeByteWordVec2| 131
+ '(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)))))
+ '|lookupComplete|))
@
\section{package ES1 ExpressionSpaceFunctions1}
<<package ES1 ExpressionSpaceFunctions1>>=
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-12 17:27:48 +0000