aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-04-23 15:19:26 +0000
committerdos-reis <gdr@axiomatics.org>2009-04-23 15:19:26 +0000
commit007980660ba03555922525f9f7ee5b0f59ef41b1 (patch)
treef89bb6a59c149620f9fca5fe091b969e42a23872 /src/algebra
parent461221b5ee886e30778b65765aaaedf4e0b76c36 (diff)
downloadopen-axiom-007980660ba03555922525f9f7ee5b0f59ef41b1.tar.gz
* interp/c-util.boot (extendsCategoryForm): Use current category
body instead of previous previous version of it. * algebra/Makefile.pamphlet: Remove ES from bootstrap layer. Build it (and dependencies) at layer 1. * algebra/strap/ES.lsp: Remove. * algebra/strap/ES-.lsp: Likewise. * algebra/boolean.spad.pamphlet (Boolean): Don't use outputForm.
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/Makefile.in31
-rw-r--r--src/algebra/Makefile.pamphlet31
-rw-r--r--src/algebra/boolean.spad.pamphlet10
-rw-r--r--src/algebra/strap/BOOLEAN.lsp54
-rw-r--r--src/algebra/strap/ES-.lsp942
-rw-r--r--src/algebra/strap/ES.lsp155
6 files changed, 66 insertions, 1157 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index b084075d..4c046dc8 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -187,8 +187,8 @@ axiom_algebra_bootstrap = \
ABELSG ABELSG- ALAGG BOOLEAN \
CABMON CHAR CLAGG CLAGG- \
COMRING DFLOAT DIFRING DIFRING- \
- DIVRING DIVRING- ENTIRER ES \
- ES- EUCDOM EUCDOM- FFIELDC \
+ DIVRING DIVRING- ENTIRER \
+ EUCDOM EUCDOM- FFIELDC \
FFIELDC- FPS FPS- GCDDOM \
GCDDOM- HOAGG HOAGG- ILIST \
INS INS- INT INTDOM \
@@ -209,8 +209,8 @@ axiom_algebra_bootstrap = \
axiom_algebra_bootstrap_last_layer = \
BOOLEAN \
DFLOAT \
- DIVRING DIVRING- ES \
- ES- EUCDOM EUCDOM- FFIELDC \
+ DIVRING DIVRING- \
+ EUCDOM EUCDOM- FFIELDC \
FFIELDC- FPS FPS- \
INS INS- INT \
MTSCAT NNI \
@@ -319,7 +319,7 @@ $(OUT)/RNG.$(FASLEXT): $(OUT)/SGROUP.$(FASLEXT)
$(OUT)/CTORKIND.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT)
$(OUT)/IOMODE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT)
-$(OUT)/REF.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT)
+$(OUT)/REF.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/IDENT.$(FASLEXT)
$(OUT)/PRINT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
axiom_algebra_layer_0 = \
@@ -386,16 +386,21 @@ $(OUT)/INTDOM.$(FASLEXT): $(OUT)/COMRING.$(FASLEXT) $(OUT)/ALGEBRA.$(FASLEXT) \
$(OUT)/ENTIRER.$(FASLEXT) $(OUT)/FIELD.$(FASLEXT)
$(OUT)/OINTDOM.$(FASLEXT): $(OUT)/INTDOM.$(FASLEXT) $(OUT)/ORDRING.$(FASLEXT)
$(OUT)/GCDDOM.$(FASLEXT): $(OUT)/INTDOM.$(FASLEXT)
-$(OUT)/UFD.$(FASLEXT): $(OUT)/GCDDOM.$(FASLEXT)
-
+$(OUT)/UFD.$(FASLEXT): $(OUT)/GCDDOM.$(FASLEXT) $(OUT)/ES.$(FASLEXT)
+$(OUT)/ES.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/CACHSET.$(FASLEXT) \
+ $(OUT)/REF.$(FASLEXT) $(OUT)/ALIST.$(FASLEXT) \
+ $(OUT)/PATAB.$(FASLEXT)
+$(OUT)/CACHSET.$(FASLEXT): $(OUT)/ORDSET.$(FASLEXT)
+$(OUT)/ALIST.$(FASLEXT): $(OUT)/ALAGG.$(FASLEXT)
+$(OUT)/PATAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
axiom_algebra_layer_1 = \
ABELGRP ABELGRP- ABELMON ABELMON- FORTCAT ITUPLE \
CABMON MONOID MONOID- RING RING- COMRING \
DIFRING DIFRING- ENTIRER INTDOM INTDOM- OINTDOM \
- GCDDOM GCDDOM- UFD UFD- \
- PATAB PPCURVE PSCURVE RESLATC \
- IDENT SEGCAT BINDING \
+ GCDDOM GCDDOM- UFD UFD- ES ES- \
+ PATAB PPCURVE PSCURVE CACHSET RESLATC REF \
+ IDENT SEGCAT BINDING ALIST \
ORDRING ORDRING- FEVALAB FEVALAB- \
OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \
FIELD FIELD-
@@ -408,7 +413,7 @@ axiom_algebra_layer_1_objects = \
$(addsuffix .$(FASLEXT),$(axiom_algebra_layer_1)))
axiom_algebra_layer_2 = \
SYNTAX INTRET SEGXCAT CONTOUR LIST3 MKFUNC \
- REF KTVLOGIC FNCAT
+ KTVLOGIC FNCAT
$(OUT)/FNCAT.$(FASLEXT): $(OUT)/HOMOTOP.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT)
$(OUT)/SYNTAX.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT)
@@ -453,7 +458,7 @@ axiom_algebra_layer_4_objects = \
$(addprefix $(OUT)/, \
$(addsuffix .$(FASLEXT),$(axiom_algebra_layer_4)))
axiom_algebra_layer_5 = \
- CACHSET CHARNZ DVARCAT DVARCAT- ELEMFUN \
+ CHARNZ DVARCAT DVARCAT- ELEMFUN \
ELEMFUN- ESTOOLS2 FCOMP FPATMAB IDPAM IDPO \
INCRMAPS KERNEL2 MODMONOM MONADWU MONADWU- \
MRF2 NARNG NARNG- NSUP2 ODVAR OPQUERY \
@@ -609,7 +614,7 @@ axiom_algebra_layer_13_objects = \
$(addprefix $(OUT)/, \
$(addsuffix .$(FASLEXT),$(axiom_algebra_layer_13)))
axiom_algebra_layer_14 = \
- ALIST FS FS- ACF ACF- \
+ FS FS- ACF ACF- \
ACFS ACFS- BALFACT BEZOUT BINARY BINFILE BOUNDZRO \
BPADICRT BRILL CDEN CHVAR \
COMMUPC CONTFRAC CVMP CYCLOTOM \
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index 87a7a534..5e09d224 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -136,8 +136,8 @@ axiom_algebra_bootstrap = \
ABELSG ABELSG- ALAGG BOOLEAN \
CABMON CHAR CLAGG CLAGG- \
COMRING DFLOAT DIFRING DIFRING- \
- DIVRING DIVRING- ENTIRER ES \
- ES- EUCDOM EUCDOM- FFIELDC \
+ DIVRING DIVRING- ENTIRER \
+ EUCDOM EUCDOM- FFIELDC \
FFIELDC- FPS FPS- GCDDOM \
GCDDOM- HOAGG HOAGG- ILIST \
INS INS- INT INTDOM \
@@ -158,8 +158,8 @@ axiom_algebra_bootstrap = \
axiom_algebra_bootstrap_last_layer = \
BOOLEAN \
DFLOAT \
- DIVRING DIVRING- ES \
- ES- EUCDOM EUCDOM- FFIELDC \
+ DIVRING DIVRING- \
+ EUCDOM EUCDOM- FFIELDC \
FFIELDC- FPS FPS- \
INS INS- INT \
MTSCAT NNI \
@@ -273,7 +273,7 @@ $(OUT)/RNG.$(FASLEXT): $(OUT)/SGROUP.$(FASLEXT)
$(OUT)/CTORKIND.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT)
$(OUT)/IOMODE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT)
-$(OUT)/REF.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT)
+$(OUT)/REF.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/IDENT.$(FASLEXT)
$(OUT)/PRINT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
axiom_algebra_layer_0 = \
@@ -345,16 +345,21 @@ $(OUT)/INTDOM.$(FASLEXT): $(OUT)/COMRING.$(FASLEXT) $(OUT)/ALGEBRA.$(FASLEXT) \
$(OUT)/ENTIRER.$(FASLEXT) $(OUT)/FIELD.$(FASLEXT)
$(OUT)/OINTDOM.$(FASLEXT): $(OUT)/INTDOM.$(FASLEXT) $(OUT)/ORDRING.$(FASLEXT)
$(OUT)/GCDDOM.$(FASLEXT): $(OUT)/INTDOM.$(FASLEXT)
-$(OUT)/UFD.$(FASLEXT): $(OUT)/GCDDOM.$(FASLEXT)
-
+$(OUT)/UFD.$(FASLEXT): $(OUT)/GCDDOM.$(FASLEXT) $(OUT)/ES.$(FASLEXT)
+$(OUT)/ES.$(FASLEXT): $(OUT)/RING.$(FASLEXT) $(OUT)/CACHSET.$(FASLEXT) \
+ $(OUT)/REF.$(FASLEXT) $(OUT)/ALIST.$(FASLEXT) \
+ $(OUT)/PATAB.$(FASLEXT)
+$(OUT)/CACHSET.$(FASLEXT): $(OUT)/ORDSET.$(FASLEXT)
+$(OUT)/ALIST.$(FASLEXT): $(OUT)/ALAGG.$(FASLEXT)
+$(OUT)/PATAB.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT)
axiom_algebra_layer_1 = \
ABELGRP ABELGRP- ABELMON ABELMON- FORTCAT ITUPLE \
CABMON MONOID MONOID- RING RING- COMRING \
DIFRING DIFRING- ENTIRER INTDOM INTDOM- OINTDOM \
- GCDDOM GCDDOM- UFD UFD- \
- PATAB PPCURVE PSCURVE RESLATC \
- IDENT SEGCAT BINDING \
+ GCDDOM GCDDOM- UFD UFD- ES ES- \
+ PATAB PPCURVE PSCURVE CACHSET RESLATC REF \
+ IDENT SEGCAT BINDING ALIST \
ORDRING ORDRING- FEVALAB FEVALAB- \
OSGROUP MAYBE DATAARY PROPLOG HOMOTOP BYTEORD \
FIELD FIELD-
@@ -372,7 +377,7 @@ axiom_algebra_layer_1_objects = \
<<layer2>>=
axiom_algebra_layer_2 = \
SYNTAX INTRET SEGXCAT CONTOUR LIST3 MKFUNC \
- REF KTVLOGIC FNCAT
+ KTVLOGIC FNCAT
$(OUT)/FNCAT.$(FASLEXT): $(OUT)/HOMOTOP.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT)
$(OUT)/SYNTAX.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT)
@@ -432,7 +437,7 @@ axiom_algebra_layer_4_objects = \
<<layer5>>=
axiom_algebra_layer_5 = \
- CACHSET CHARNZ DVARCAT DVARCAT- ELEMFUN \
+ CHARNZ DVARCAT DVARCAT- ELEMFUN \
ELEMFUN- ESTOOLS2 FCOMP FPATMAB IDPAM IDPO \
INCRMAPS KERNEL2 MODMONOM MONADWU MONADWU- \
MRF2 NARNG NARNG- NSUP2 ODVAR OPQUERY \
@@ -636,7 +641,7 @@ axiom_algebra_layer_13_objects = \
<<layer14>>=
axiom_algebra_layer_14 = \
- ALIST FS FS- ACF ACF- \
+ FS FS- ACF ACF- \
ACFS ACFS- BALFACT BEZOUT BINARY BINFILE BOUNDZRO \
BPADICRT BRILL CDEN CHVAR \
COMMUPC CONTFRAC CVMP CYCLOTOM \
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet
index 62c94c47..fd48f80c 100644
--- a/src/algebra/boolean.spad.pamphlet
+++ b/src/algebra/boolean.spad.pamphlet
@@ -407,14 +407,12 @@ Boolean(): Join(OrderedFinite, Logic, PropositionalLogic, ConvertibleTo InputFor
true
convert(x:%):InputForm ==
- convert
- x => 'true
- 'false
+ x => 'true
+ 'false
coerce(x:%):OutputForm ==
- outputForm
- x => 'true
- 'false
+ x => 'true
+ 'false
@
diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp
index 2ca05a21..b7865097 100644
--- a/src/algebra/strap/BOOLEAN.lsp
+++ b/src/algebra/strap/BOOLEAN.lsp
@@ -151,10 +151,10 @@
(COND ((SPADCALL (|random|) (|getShellEntry| $ 28)) 'NIL) ('T 'T)))
(DEFUN |BOOLEAN;convert;$If;22| (|x| $)
- (SPADCALL (COND (|x| '|true|) ('T '|false|)) (|getShellEntry| $ 37)))
+ (COND (|x| '|true|) ('T '|false|)))
(DEFUN |BOOLEAN;coerce;$Of;23| (|x| $)
- (SPADCALL (COND (|x| '|true|) ('T '|false|)) (|getShellEntry| $ 40)))
+ (COND (|x| '|true|) ('T '|false|)))
(DEFUN |Boolean| ()
(PROG ()
@@ -178,7 +178,7 @@
(RETURN
(PROGN
(LETT |dv$| '(|Boolean|) . #0=(|Boolean|))
- (LETT $ (|newShell| 44) . #0#)
+ (LETT $ (|newShell| 41) . #0#)
(|setShellEntry| $ 0 |dv$|)
(|setShellEntry| $ 3
(LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
@@ -201,16 +201,15 @@
|BOOLEAN;size;Nni;18| (|Integer|) (8 . |even?|)
(|PositiveInteger|) |BOOLEAN;index;Pi$;19| (13 . |One|)
|BOOLEAN;lookup;$Pi;20| (17 . |random|)
- |BOOLEAN;random;$;21| (|OutputForm|) (|InputForm|)
- (21 . |convert|) |BOOLEAN;convert;$If;22| (|Symbol|)
- (26 . |outputForm|) |BOOLEAN;coerce;$Of;23| (|String|)
- (|SingleInteger|))
- '#(~= 31 ~ 37 |xor| 42 |true| 48 |test| 52 |size| 57 |random|
- 61 |or| 65 |not| 71 |nor| 76 |nand| 82 |min| 88 |max| 98
- |lookup| 108 |latex| 113 |index| 118 |implies| 123 |hash|
- 129 |false| 134 |equiv| 138 |convert| 144 |coerce| 149
- |and| 154 |\\/| 160 >= 166 > 172 = 178 <= 184 < 190 |/\\|
- 196)
+ |BOOLEAN;random;$;21| (|InputForm|)
+ |BOOLEAN;convert;$If;22| (|OutputForm|)
+ |BOOLEAN;coerce;$Of;23| (|String|) (|SingleInteger|))
+ '#(~= 21 ~ 27 |xor| 32 |true| 38 |test| 42 |size| 47 |random|
+ 51 |or| 55 |not| 61 |nor| 66 |nand| 72 |min| 78 |max| 88
+ |lookup| 98 |latex| 103 |index| 108 |implies| 113 |hash|
+ 119 |false| 124 |equiv| 128 |convert| 134 |coerce| 139
+ |and| 144 |\\/| 150 >= 156 > 162 = 168 <= 174 < 180 |/\\|
+ 186)
'NIL
(CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0))
(CONS '#(NIL |OrderedSet&| NIL NIL |Logic&|
@@ -218,22 +217,21 @@
(CONS '#((|OrderedFinite|) (|OrderedSet|)
(|PropositionalLogic|) (|Finite|)
(|Logic|) (|SetCategory|)
- (|ConvertibleTo| 36) (|BasicType|)
- (|CoercibleTo| 35))
- (|makeByteWordVec2| 43
+ (|ConvertibleTo| 35) (|BasicType|)
+ (|CoercibleTo| 37))
+ (|makeByteWordVec2| 40
'(0 10 0 11 0 10 0 12 1 27 10 0 28 0 29
- 0 31 0 27 0 33 1 36 0 35 37 1 35 0 39
- 40 2 0 10 0 0 1 1 0 0 0 13 2 0 0 0 0
- 18 0 0 0 7 1 0 0 0 6 0 0 25 26 0 0 0
- 34 2 0 0 0 0 16 1 0 0 0 9 2 0 0 0 0
- 19 2 0 0 0 0 20 0 0 0 1 2 0 0 0 0 1 0
- 0 0 1 2 0 0 0 0 1 1 0 29 0 32 1 0 42
- 0 1 1 0 0 29 30 2 0 0 0 0 22 1 0 43 0
- 1 0 0 0 8 2 0 0 0 0 23 1 0 36 0 38 1
- 0 35 0 41 2 0 0 0 0 14 2 0 0 0 0 17 2
- 0 10 0 0 1 2 0 10 0 0 1 2 0 10 0 0 21
- 2 0 10 0 0 1 2 0 10 0 0 24 2 0 0 0 0
- 15)))))
+ 0 31 0 27 0 33 2 0 10 0 0 1 1 0 0 0
+ 13 2 0 0 0 0 18 0 0 0 7 1 0 0 0 6 0 0
+ 25 26 0 0 0 34 2 0 0 0 0 16 1 0 0 0 9
+ 2 0 0 0 0 19 2 0 0 0 0 20 0 0 0 1 2 0
+ 0 0 0 1 0 0 0 1 2 0 0 0 0 1 1 0 29 0
+ 32 1 0 39 0 1 1 0 0 29 30 2 0 0 0 0
+ 22 1 0 40 0 1 0 0 0 8 2 0 0 0 0 23 1
+ 0 35 0 36 1 0 37 0 38 2 0 0 0 0 14 2
+ 0 0 0 0 17 2 0 10 0 0 1 2 0 10 0 0 1
+ 2 0 10 0 0 21 2 0 10 0 0 1 2 0 10 0 0
+ 24 2 0 0 0 0 15)))))
'|lookupComplete|))
(MAKEPROP '|Boolean| 'NILADIC T)
diff --git a/src/algebra/strap/ES-.lsp b/src/algebra/strap/ES-.lsp
deleted file mode 100644
index 586de74f..00000000
--- a/src/algebra/strap/ES-.lsp
+++ /dev/null
@@ -1,942 +0,0 @@
-
-(/VERSIONCHECK 2)
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) |ES-;box;2S;1|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|)
- |ES-;paren;2S;2|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|)
- |ES-;belong?;BoB;3|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%List|) |ES-;listk|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%List|)
- |ES-;tower;SL;5|))
-
-(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Thing|) |ES-;allk|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%List|)
- |ES-;operators;SL;7|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) (|%IntegerSection| 0))
- |ES-;height;SNni;8|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
- |ES-;freeOf?;SSB;9|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|)
- |ES-;distribute;2S;10|))
-
-(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Thing|) |ES-;box;LS;11|))
-
-(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Thing|)
- |ES-;paren;LS;12|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
- |ES-;freeOf?;2SB;13|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
- |ES-;kernel;Bo2S;14|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
- |ES-;elt;Bo2S;15|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|)
- |%Thing|)
- |ES-;elt;Bo3S;16|))
-
-(DECLAIM (FTYPE (FUNCTION
- (|%Thing| |%Thing| |%Thing| |%Thing| |%Shell|)
- |%Thing|)
- |ES-;elt;Bo4S;17|))
-
-(DECLAIM (FTYPE (FUNCTION
- (|%Thing| |%Thing| |%Thing| |%Thing| |%Thing|
- |%Shell|)
- |%Thing|)
- |ES-;elt;Bo5S;18|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|)
- |%Thing|)
- |ES-;eval;SSMS;19|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|)
- |%Thing|)
- |ES-;eval;SBoMS;20|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|)
- |%Thing|)
- |ES-;eval;SSMS;21|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|)
- |%Thing|)
- |ES-;eval;SBoMS;22|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
- |ES-;subst;SES;23|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%List| |%Shell|) |%Thing|)
- |ES-;eval;SLLS;24|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%List| |%Shell|) |%Thing|)
- |ES-;eval;SLLS;25|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%List| |%Shell|) |%Thing|)
- |ES-;eval;SLLS;26|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
- |ES-;map;MKS;27|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|)
- |ES-;operator;2Bo;28|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Pair|)
- |ES-;mainKernel;SU;29|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|)
- |ES-;allKernels|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%Shell|) |%Thing|)
- |ES-;kernel;BoLS;31|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%Shell|) |%Thing|)
- |ES-;okkernel|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%Shell|) |%Thing|)
- |ES-;elt;BoLS;33|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|)
- |ES-;retract;SK;34|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Pair|)
- |ES-;retractIfCan;SU;35|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
- |ES-;is?;SSB;36|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
- |ES-;is?;SBoB;37|))
-
-(DECLAIM (FTYPE (FUNCTION (|%List| |%Thing| |%Shell|) |%Thing|)
- |ES-;unwrap|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
- |ES-;distribute;3S;39|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%Shell|) |%Thing|)
- |ES-;eval;SLS;40|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%Shell|) |%Thing|)
- |ES-;subst;SLS;41|))
-
-(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Pair|) |ES-;mkKerLists|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|)
- |ES-;even?;SB;43|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|)
- |ES-;odd?;SB;44|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
- |ES-;intpred?|))
-
-(DEFUN |ES-;box;2S;1| (|x| $)
- (SPADCALL (LIST |x|) (|getShellEntry| $ 16)))
-
-(DEFUN |ES-;paren;2S;2| (|x| $)
- (SPADCALL (LIST |x|) (|getShellEntry| $ 18)))
-
-(DEFUN |ES-;belong?;BoB;3| (|op| $)
- (COND
- ((SPADCALL |op| (|getShellEntry| $ 13) (|getShellEntry| $ 21)) 'T)
- ('T (SPADCALL |op| (|getShellEntry| $ 14) (|getShellEntry| $ 21)))))
-
-(DEFUN |ES-;listk| (|f| $)
- (SPADCALL (|ES-;allKernels| |f| $) (|getShellEntry| $ 27)))
-
-(DEFUN |ES-;tower;SL;5| (|f| $)
- (SPADCALL (|ES-;listk| |f| $) (|getShellEntry| $ 28)))
-
-(DEFUN |ES-;allk| (|l| $)
- (PROG (#0=#:G1579 |f| #1=#:G1580)
- (RETURN
- (SEQ (SPADCALL (ELT $ 33)
- (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 (|getShellEntry| $ 32))
- (|getShellEntry| $ 36))))))
-
-(DEFUN |ES-;operators;SL;7| (|f| $)
- (PROG (#0=#:G1581 |k| #1=#:G1582)
- (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|
- (|getShellEntry| $ 37))
- #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=#:G1583 |k| #1=#:G1584)
- (RETURN
- (SEQ (SPADCALL (ELT $ 44)
- (PROGN
- (LETT #0# NIL |ES-;height;SNni;8|)
- (SEQ (LETT |k| NIL |ES-;height;SNni;8|)
- (LETT #1# (SPADCALL |f| (|getShellEntry| $ 40))
- |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|
- (|getShellEntry| $ 42))
- #0#)
- |ES-;height;SNni;8|)))
- (LETT #1# (CDR #1#) |ES-;height;SNni;8|)
- (GO G190) G191 (EXIT (NREVERSE0 #0#))))
- 0 (|getShellEntry| $ 47))))))
-
-(DEFUN |ES-;freeOf?;SSB;9| (|x| |s| $)
- (PROG (#0=#:G1585 |k| #1=#:G1586)
- (RETURN
- (SEQ (NOT (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|
- (|getShellEntry| $ 49))
- #0#)
- |ES-;freeOf?;SSB;9|)))
- (LETT #1# (CDR #1#) |ES-;freeOf?;SSB;9|)
- (GO G190) G191 (EXIT (NREVERSE0 #0#))))
- (|getShellEntry| $ 51)))))))
-
-(DEFUN |ES-;distribute;2S;10| (|x| $)
- (PROG (#0=#:G1587 |k| #1=#:G1588)
- (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|
- (|getShellEntry| $ 13)
- (|getShellEntry| $ 53))
- (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 (|getShellEntry| $ 14) |l| (|getShellEntry| $ 55)))
-
-(DEFUN |ES-;paren;LS;12| (|l| $)
- (SPADCALL (|getShellEntry| $ 13) |l| (|getShellEntry| $ 55)))
-
-(DEFUN |ES-;freeOf?;2SB;13| (|x| |k| $)
- (NOT (SPADCALL (SPADCALL |k| (|getShellEntry| $ 58))
- (|ES-;listk| |x| $) (|getShellEntry| $ 59))))
-
-(DEFUN |ES-;kernel;Bo2S;14| (|op| |arg| $)
- (SPADCALL |op| (LIST |arg|) (|getShellEntry| $ 61)))
-
-(DEFUN |ES-;elt;Bo2S;15| (|op| |x| $)
- (SPADCALL |op| (LIST |x|) (|getShellEntry| $ 55)))
-
-(DEFUN |ES-;elt;Bo3S;16| (|op| |x| |y| $)
- (SPADCALL |op| (LIST |x| |y|) (|getShellEntry| $ 55)))
-
-(DEFUN |ES-;elt;Bo4S;17| (|op| |x| |y| |z| $)
- (SPADCALL |op| (LIST |x| |y| |z|) (|getShellEntry| $ 55)))
-
-(DEFUN |ES-;elt;Bo5S;18| (|op| |x| |y| |z| |t| $)
- (SPADCALL |op| (LIST |x| |y| |z| |t|) (|getShellEntry| $ 55)))
-
-(DEFUN |ES-;eval;SSMS;19| (|x| |s| |f| $)
- (SPADCALL |x| (LIST |s|) (LIST |f|) (|getShellEntry| $ 69)))
-
-(DEFUN |ES-;eval;SBoMS;20| (|x| |s| |f| $)
- (SPADCALL |x| (LIST (SPADCALL |s| (|getShellEntry| $ 71))) (LIST |f|)
- (|getShellEntry| $ 69)))
-
-(DEFUN |ES-;eval;SSMS;21| (|x| |s| |f| $)
- (SPADCALL |x| (LIST |s|)
- (LIST (CONS #'|ES-;eval;SSMS;21!0| (VECTOR |f| $)))
- (|getShellEntry| $ 69)))
-
-(DEFUN |ES-;eval;SSMS;21!0| (|#1| $$)
- (SPADCALL (SPADCALL |#1| (|getShellEntry| (|getShellEntry| $$ 1) 74))
- (|getShellEntry| $$ 0)))
-
-(DEFUN |ES-;eval;SBoMS;22| (|x| |s| |f| $)
- (SPADCALL |x| (LIST |s|)
- (LIST (CONS #'|ES-;eval;SBoMS;22!0| (VECTOR |f| $)))
- (|getShellEntry| $ 77)))
-
-(DEFUN |ES-;eval;SBoMS;22!0| (|#1| $$)
- (SPADCALL (SPADCALL |#1| (|getShellEntry| (|getShellEntry| $$ 1) 74))
- (|getShellEntry| $$ 0)))
-
-(DEFUN |ES-;subst;SES;23| (|x| |e| $)
- (SPADCALL |x| (LIST |e|) (|getShellEntry| $ 81)))
-
-(DEFUN |ES-;eval;SLLS;24| (|x| |ls| |lf| $)
- (PROG (#0=#:G1589 |f| #1=#:G1590)
- (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#))))
- (|getShellEntry| $ 77))))))
-
-(DEFUN |ES-;eval;SLLS;24!0| (|#1| $$)
- (SPADCALL (SPADCALL |#1| (|getShellEntry| (|getShellEntry| $$ 1) 74))
- (|getShellEntry| $$ 0)))
-
-(DEFUN |ES-;eval;SLLS;25| (|x| |ls| |lf| $)
- (PROG (#0=#:G1591 |f| #1=#:G1592)
- (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#))))
- (|getShellEntry| $ 69))))))
-
-(DEFUN |ES-;eval;SLLS;25!0| (|#1| $$)
- (SPADCALL (SPADCALL |#1| (|getShellEntry| (|getShellEntry| $$ 1) 74))
- (|getShellEntry| $$ 0)))
-
-(DEFUN |ES-;eval;SLLS;26| (|x| |ls| |lf| $)
- (PROG (#0=#:G1593 |s| #1=#:G1594)
- (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|
- (|getShellEntry| $ 71))
- #0#)
- |ES-;eval;SLLS;26|)))
- (LETT #1# (CDR #1#) |ES-;eval;SLLS;26|) (GO G190)
- G191 (EXIT (NREVERSE0 #0#))))
- |lf| (|getShellEntry| $ 69))))))
-
-(DEFUN |ES-;map;MKS;27| (|fn| |k| $)
- (PROG (#0=#:G1595 |x| #1=#:G1596 |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|
- (|getShellEntry| $ 87))
- |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| (|getShellEntry| $ 87))
- (|getShellEntry| $ 88))
- (SPADCALL |k| (|getShellEntry| $ 89)))
- ('T
- (SPADCALL (SPADCALL |k| (|getShellEntry| $ 37)) |l|
- (|getShellEntry| $ 55))))))))
-
-(DEFUN |ES-;operator;2Bo;28| (|op| $)
- (COND
- ((SPADCALL |op| (SPADCALL "%paren" (|getShellEntry| $ 9))
- (|getShellEntry| $ 91))
- (|getShellEntry| $ 13))
- ((SPADCALL |op| (SPADCALL "%box" (|getShellEntry| $ 9))
- (|getShellEntry| $ 91))
- (|getShellEntry| $ 14))
- ('T (|error| "Unknown operator"))))
-
-(DEFUN |ES-;mainKernel;SU;29| (|x| $)
- (PROG (|l| |kk| #0=#:G1597 |n| |k|)
- (RETURN
- (SEQ (COND
- ((NULL (LETT |l| (SPADCALL |x| (|getShellEntry| $ 40))
- |ES-;mainKernel;SU;29|))
- (CONS 1 "failed"))
- ('T
- (SEQ (LETT |n|
- (SPADCALL
- (LETT |k| (|SPADfirst| |l|)
- |ES-;mainKernel;SU;29|)
- (|getShellEntry| $ 42))
- |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|
- (|getShellEntry| $ 42)))
- (SEQ
- (LETT |n|
- (SPADCALL |kk|
- (|getShellEntry| $ 42))
- |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=#:G1598 |u| |s0| |n| |arg| |t| |s|)
- (RETURN
- (SEQ (LETT |s|
- (SPADCALL
- (LETT |l| (SPADCALL |f| (|getShellEntry| $ 40))
- |ES-;allKernels|)
- (|getShellEntry| $ 32))
- |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|
- (|getShellEntry| $ 37))
- "%dummyVar"
- (|getShellEntry| $ 101))
- |ES-;allKernels|)
- (EXIT (COND
- ((QEQCAR |u| 0)
- (SEQ
- (LETT |arg|
- (SPADCALL |k|
- (|getShellEntry| $ 87))
- |ES-;allKernels|)
- (LETT |s0|
- (SPADCALL
- (SPADCALL
- (SPADCALL |arg|
- (|getShellEntry| $ 102))
- (|getShellEntry| $ 58))
- (|ES-;allKernels|
- (|SPADfirst| |arg|) $)
- (|getShellEntry| $ 103))
- |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| $)
- (|getShellEntry| $ 33)))))
- ('T
- (|ES-;allk|
- (SPADCALL |k|
- (|getShellEntry| $ 87))
- $)))))
- |ES-;allKernels|)
- (EXIT (LETT |s|
- (SPADCALL |s| |t|
- (|getShellEntry| $ 33))
- |ES-;allKernels|)))
- (LETT #0# (CDR #0#) |ES-;allKernels|) (GO G190) G191
- (EXIT NIL))
- (EXIT |s|)))))
-
-(DEFUN |ES-;kernel;BoLS;31| (|op| |args| $)
- (COND
- ((NOT (SPADCALL |op| (|getShellEntry| $ 108)))
- (|error| "Unknown operator"))
- ('T (|ES-;okkernel| |op| |args| $))))
-
-(DEFUN |ES-;okkernel| (|op| |l| $)
- (PROG (#0=#:G1599 |f| #1=#:G1600)
- (RETURN
- (SEQ (SPADCALL
- (SPADCALL |op| |l|
- (+ 1
- (SPADCALL (ELT $ 44)
- (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|
- (|getShellEntry| $ 110))
- #0#)
- |ES-;okkernel|)))
- (LETT #1# (CDR #1#) |ES-;okkernel|)
- (GO G190) G191 (EXIT (NREVERSE0 #0#))))
- 0 (|getShellEntry| $ 47)))
- (|getShellEntry| $ 112))
- (|getShellEntry| $ 89))))))
-
-(DEFUN |ES-;elt;BoLS;33| (|op| |args| $)
- (PROG (|u| #0=#:G1522 |v|)
- (RETURN
- (SEQ (EXIT (COND
- ((NOT (SPADCALL |op| (|getShellEntry| $ 108)))
- (|error| "Unknown operator"))
- ('T
- (SEQ (SEQ (LETT |u|
- (SPADCALL |op|
- (|getShellEntry| $ 114))
- |ES-;elt;BoLS;33|)
- (EXIT (COND
- ((QEQCAR |u| 0)
- (COND
- ((SPADCALL (LENGTH |args|)
- (QCDR |u|)
- (|getShellEntry| $ 116))
- (PROGN
- (LETT #0#
- (|error|
- "Wrong number of arguments")
- |ES-;elt;BoLS;33|)
- (GO #0#))))))))
- (LETT |v|
- (SPADCALL |op| |args|
- (|getShellEntry| $ 119))
- |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| (|getShellEntry| $ 121))
- |ES-;retract;SK;34|)
- (EXIT (COND
- ((OR (QEQCAR |k| 1)
- (SPADCALL
- (SPADCALL (QCDR |k|)
- (|getShellEntry| $ 89))
- |f| (|getShellEntry| $ 122)))
- (|error| "not a kernel"))
- ('T (QCDR |k|))))))))
-
-(DEFUN |ES-;retractIfCan;SU;35| (|f| $)
- (PROG (|k|)
- (RETURN
- (SEQ (LETT |k| (SPADCALL |f| (|getShellEntry| $ 121))
- |ES-;retractIfCan;SU;35|)
- (EXIT (COND
- ((OR (QEQCAR |k| 1)
- (SPADCALL
- (SPADCALL (QCDR |k|)
- (|getShellEntry| $ 89))
- |f| (|getShellEntry| $ 122)))
- (CONS 1 "failed"))
- ('T |k|)))))))
-
-(DEFUN |ES-;is?;SSB;36| (|f| |s| $)
- (PROG (|k|)
- (RETURN
- (SEQ (LETT |k| (SPADCALL |f| (|getShellEntry| $ 125))
- |ES-;is?;SSB;36|)
- (EXIT (COND
- ((QEQCAR |k| 1) 'NIL)
- ('T
- (SPADCALL (QCDR |k|) |s| (|getShellEntry| $ 127)))))))))
-
-(DEFUN |ES-;is?;SBoB;37| (|f| |op| $)
- (PROG (|k|)
- (RETURN
- (SEQ (LETT |k| (SPADCALL |f| (|getShellEntry| $ 125))
- |ES-;is?;SBoB;37|)
- (EXIT (COND
- ((QEQCAR |k| 1) 'NIL)
- ('T
- (SPADCALL (QCDR |k|) |op| (|getShellEntry| $ 53)))))))))
-
-(DEFUN |ES-;unwrap| (|l| |x| $)
- (PROG (|k| #0=#:G1601)
- (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|
- (|getShellEntry| $ 87)))
- (|getShellEntry| $ 131))
- |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=#:G1602 |k| #1=#:G1603)
- (RETURN
- (SEQ (LETT |ky| (SPADCALL |y| (|getShellEntry| $ 58))
- |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"
- (|getShellEntry| $ 9))
- (|getShellEntry| $ 127))
- (SPADCALL |ky|
- (|ES-;listk|
- (SPADCALL |k|
- (|getShellEntry| $ 89))
- $)
- (|getShellEntry| $ 59)))
- ('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|)
- (|getShellEntry| $ 133)))))))
-
-(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|)
- (|getShellEntry| $ 135)))))))
-
-(DEFUN |ES-;mkKerLists| (|leq| $)
- (PROG (|eq| #0=#:G1604 |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| (|getShellEntry| $ 140))
- (|getShellEntry| $ 125))
- |ES-;mkKerLists|)
- (EXIT (COND
- ((QEQCAR |k| 1)
- (|error| "left hand side must be a single kernel"))
- ((NOT (SPADCALL (QCDR |k|) |lk|
- (|getShellEntry| $ 59)))
- (SEQ (LETT |lk| (CONS (QCDR |k|) |lk|)
- |ES-;mkKerLists|)
- (EXIT
- (LETT |lv|
- (CONS
- (SPADCALL |eq|
- (|getShellEntry| $ 142))
- |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 $ 144) $))
-
-(DEFUN |ES-;odd?;SB;44| (|x| $) (|ES-;intpred?| |x| (ELT $ 146) $))
-
-(DEFUN |ES-;intpred?| (|x| |pred?| $)
- (PROG (|u|)
- (RETURN
- (SEQ (LETT |u| (SPADCALL |x| (|getShellEntry| $ 149))
- |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 $ (|newShell| 150) . #0#)
- (|setShellEntry| $ 0 |dv$|)
- (|setShellEntry| $ 3
- (LETT |pv$|
- (|buildPredVector| 0 0
- (LIST (|HasCategory| |#1|
- '(|RetractableTo| (|Integer|)))
- (|HasCategory| |#1| '(|Ring|)))) . #0#))
- (|stuffDomainSlots| $)
- (|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
- (|setShellEntry| $ 145
- (CONS (|dispatchFunction| |ES-;even?;SB;43|) $))
- (|setShellEntry| $ 147
- (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 . =) (26 . |true|)
- |ES-;belong?;BoB;3| (|Kernel| 6) (|List| 24) (|Set| 24)
- (30 . |parts|) (35 . |sort!|) (|Kernel| $) (|List| 29)
- |ES-;tower;SL;5| (40 . |brace|) (45 . |union|)
- (|Mapping| 26 26 26) (|List| 26) (51 . |reduce|)
- (58 . |operator|) (|List| 10) |ES-;operators;SL;7|
- (63 . |kernels|) (|NonNegativeInteger|) (68 . |height|)
- (73 . |Zero|) (77 . |max|) (|Mapping| 41 41 41)
- (|List| 41) (83 . |reduce|) |ES-;height;SNni;8|
- (90 . |name|) (|List| 8) (95 . |member?|)
- |ES-;freeOf?;SSB;9| (101 . |is?|) |ES-;distribute;2S;10|
- (107 . |elt|) |ES-;box;LS;11| |ES-;paren;LS;12|
- (113 . |retract|) (118 . |member?|) |ES-;freeOf?;2SB;13|
- (124 . |kernel|) |ES-;kernel;Bo2S;14| |ES-;elt;Bo2S;15|
- |ES-;elt;Bo3S;16| |ES-;elt;Bo4S;17| |ES-;elt;Bo5S;18|
- (|Mapping| $ 15) (|List| 67) (130 . |eval|)
- |ES-;eval;SSMS;19| (137 . |name|) |ES-;eval;SBoMS;20|
- (|List| 6) (142 . |first|) (|Mapping| $ $)
- |ES-;eval;SSMS;21| (147 . |eval|) |ES-;eval;SBoMS;22|
- (|Equation| $) (|List| 79) (154 . |subst|)
- |ES-;subst;SES;23| (|List| 75) |ES-;eval;SLLS;24|
- |ES-;eval;SLLS;25| |ES-;eval;SLLS;26| (160 . |argument|)
- (165 . =) (171 . |coerce|) |ES-;map;MKS;27| (176 . |is?|)
- |ES-;operator;2Bo;28| (182 . |empty?|) (187 . |first|)
- (192 . |rest|) (197 . <) (|Union| 29 '"failed")
- |ES-;mainKernel;SU;29| (|None|) (|Union| 99 '"failed")
- (203 . |property|) (209 . |second|) (214 . |remove!|)
- (220 . |rest|) (225 . |One|) (|Integer|) (229 . |One|)
- (233 . |belong?|) |ES-;kernel;BoLS;31| (238 . |height|)
- (243 . +) (249 . |kernel|) (|Union| 41 '"failed")
- (256 . |arity|) (261 . |#|) (266 . ~=)
- (|Union| 6 '"failed") (|BasicOperatorFunctions1| 6)
- (272 . |evaluate|) |ES-;elt;BoLS;33| (278 . |mainKernel|)
- (283 . ~=) |ES-;retract;SK;34| |ES-;retractIfCan;SU;35|
- (289 . |retractIfCan|) (294 . |false|) (298 . |is?|)
- |ES-;is?;SSB;36| |ES-;is?;SBoB;37| (304 . |reverse!|)
- (309 . |eval|) |ES-;distribute;3S;39| (316 . |eval|)
- |ES-;eval;SLS;40| (323 . |subst|) |ES-;subst;SLS;41|
- (330 . |empty|) (334 . |empty|) (|Equation| 6)
- (338 . |lhs|) (343 . |concat|) (349 . |rhs|)
- (354 . |concat|) (360 . |even?|) (365 . |even?|)
- (370 . |odd?|) (375 . |odd?|) (|Union| 106 '"failed")
- (380 . |retractIfCan|))
- '#(|tower| 385 |subst| 390 |retractIfCan| 402 |retract| 407
- |paren| 412 |operators| 422 |operator| 427 |odd?| 432
- |map| 437 |mainKernel| 443 |kernel| 448 |is?| 460 |height|
- 472 |freeOf?| 477 |even?| 489 |eval| 494 |elt| 549
- |distribute| 585 |box| 596 |belong?| 606)
- 'NIL
- (CONS (|makeByteWordVec2| 1 'NIL)
- (CONS '#()
- (CONS '#()
- (|makeByteWordVec2| 149
- '(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 0 20 0 22 1
- 26 25 0 27 1 25 0 0 28 1 26 0 25 32 2
- 26 0 0 0 33 3 35 26 34 0 26 36 1 24
- 10 0 37 1 6 30 0 40 1 24 41 0 42 0 41
- 0 43 2 41 0 0 0 44 3 46 41 45 0 41 47
- 1 24 8 0 49 2 50 20 8 0 51 2 24 20 0
- 10 53 2 6 0 10 15 55 1 6 29 0 58 2 25
- 20 24 0 59 2 6 0 10 15 61 3 6 0 0 50
- 68 69 1 10 8 0 71 1 73 6 0 74 3 6 0 0
- 38 68 77 2 6 0 0 80 81 1 24 73 0 87 2
- 73 20 0 0 88 1 6 0 29 89 2 10 20 0 8
- 91 1 25 20 0 93 1 25 24 0 94 1 25 0 0
- 95 2 41 20 0 0 96 2 10 100 0 7 101 1
- 73 6 0 102 2 26 0 24 0 103 1 73 0 0
- 104 0 41 0 105 0 106 0 107 1 6 20 10
- 108 1 6 41 0 110 2 41 0 0 0 111 3 24
- 0 10 73 41 112 1 10 113 0 114 1 73 41
- 0 115 2 41 20 0 0 116 2 118 117 10 73
- 119 1 6 97 0 121 2 6 20 0 0 122 1 6
- 97 0 125 0 20 0 126 2 24 20 0 8 127 1
- 25 0 0 130 3 6 0 0 29 0 131 3 6 0 0
- 30 15 133 3 6 0 0 30 15 135 0 25 0
- 137 0 73 0 138 1 139 6 0 140 2 25 0
- 24 0 141 1 139 6 0 142 2 73 0 6 0 143
- 1 106 20 0 144 1 0 20 0 145 1 106 20
- 0 146 1 0 20 0 147 1 6 148 0 149 1 0
- 30 0 31 2 0 0 0 80 136 2 0 0 0 79 82
- 1 0 97 0 124 1 0 29 0 123 1 0 0 0 19
- 1 0 0 15 57 1 0 38 0 39 1 0 10 10 92
- 1 0 20 0 147 2 0 0 75 29 90 1 0 97 0
- 98 2 0 0 10 15 109 2 0 0 10 0 62 2 0
- 20 0 8 128 2 0 20 0 10 129 1 0 41 0
- 48 2 0 20 0 8 52 2 0 20 0 0 60 1 0 20
- 0 145 3 0 0 0 10 75 78 3 0 0 0 38 68
- 86 3 0 0 0 10 67 72 3 0 0 0 38 83 84
- 3 0 0 0 8 67 70 3 0 0 0 8 75 76 3 0 0
- 0 50 83 85 2 0 0 0 80 134 2 0 0 10 15
- 120 5 0 0 10 0 0 0 0 66 3 0 0 10 0 0
- 64 4 0 0 10 0 0 0 65 2 0 0 10 0 63 2
- 0 0 0 0 132 1 0 0 0 54 1 0 0 15 56 1
- 0 0 0 17 1 0 20 10 23)))))
- '|lookupComplete|))
diff --git a/src/algebra/strap/ES.lsp b/src/algebra/strap/ES.lsp
deleted file mode 100644
index 9c9cb4bc..00000000
--- a/src/algebra/strap/ES.lsp
+++ /dev/null
@@ -1,155 +0,0 @@
-
-(/VERSIONCHECK 2)
-
-(DEFPARAMETER |ExpressionSpace;AL| 'NIL)
-
-(DEFUN |ExpressionSpace;| ()
- (PROG (#0=#:G1413)
- (RETURN
- (PROG1 (LETT #0#
- (|sublisV|
- (PAIR '(#1=#:G1411 #2=#:G1412)
- (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|)
- (|setShellEntry| #0# 0 '(|ExpressionSpace|))))))
-
-(DEFUN |ExpressionSpace| ()
- (LET ()
- (COND
- (|ExpressionSpace;AL|)
- (T (SETQ |ExpressionSpace;AL| (|ExpressionSpace;|))))))
-
-(MAKEPROP '|ExpressionSpace| 'NILADIC T)
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 16:16:52 +0000