aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/ES-.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/ES-.lsp')
-rw-r--r--src/algebra/strap/ES-.lsp279
1 files changed, 0 insertions, 279 deletions
diff --git a/src/algebra/strap/ES-.lsp b/src/algebra/strap/ES-.lsp
index 15d5ab4d..d17b7e1b 100644
--- a/src/algebra/strap/ES-.lsp
+++ b/src/algebra/strap/ES-.lsp
@@ -934,282 +934,3 @@
53 1 0 0 15 55 1 0 0 0 17 1 0 20 10
22)))))
'|lookupComplete|))
-
-(SETQ |$CategoryFrame|
- (|put| '|ExpressionSpace&| '|isFunctor|
- '(((|odd?| ((|Boolean|) $)) T (ELT $ 131))
- ((|even?| ((|Boolean|) $)) T (ELT $ 129))
- ((|eval| ($ $ (|BasicOperator|) (|Mapping| $ $))) T
- (ELT $ 77))
- ((|eval| ($ $ (|BasicOperator|)
- (|Mapping| $ (|List| $))))
- T (ELT $ 71))
- ((|eval| ($ $ (|List| (|BasicOperator|))
- (|List| (|Mapping| $ (|List| $)))))
- T (ELT $ 85))
- ((|eval| ($ $ (|List| (|BasicOperator|))
- (|List| (|Mapping| $ $))))
- T (ELT $ 83))
- ((|eval| ($ $ (|Symbol|) (|Mapping| $ $))) T (ELT $ 75))
- ((|eval| ($ $ (|Symbol|) (|Mapping| $ (|List| $)))) T
- (ELT $ 69))
- ((|eval| ($ $ (|List| (|Symbol|))
- (|List| (|Mapping| $ (|List| $)))))
- T (ELT $ NIL))
- ((|eval| ($ $ (|List| (|Symbol|))
- (|List| (|Mapping| $ $))))
- T (ELT $ 84))
- ((|freeOf?| ((|Boolean|) $ (|Symbol|))) T (ELT $ 51))
- ((|freeOf?| ((|Boolean|) $ $)) T (ELT $ 59))
- ((|map| ($ (|Mapping| $ $) (|Kernel| $))) T (ELT $ 89))
- ((|kernel| ($ (|BasicOperator|) (|List| $))) T
- (ELT $ 100))
- ((|kernel| ($ (|BasicOperator|) $)) T (ELT $ 61))
- ((|is?| ((|Boolean|) $ (|Symbol|))) T (ELT $ 116))
- ((|is?| ((|Boolean|) $ (|BasicOperator|))) T
- (ELT $ 117))
- ((|belong?| ((|Boolean|) (|BasicOperator|))) T
- (ELT $ 22))
- ((|operator| ((|BasicOperator|) (|BasicOperator|))) T
- (ELT $ 91))
- ((|operators| ((|List| (|BasicOperator|)) $)) T
- (ELT $ 38))
- ((|tower| ((|List| (|Kernel| $)) $)) T (ELT $ 30))
- ((|mainKernel| ((|Union| (|Kernel| $) "failed") $)) T
- (ELT $ 93))
- ((|height| ((|NonNegativeInteger|) $)) T (ELT $ 46))
- ((|distribute| ($ $ $)) T (ELT $ 119))
- ((|distribute| ($ $)) T (ELT $ 53))
- ((|paren| ($ (|List| $))) T (ELT $ 56))
- ((|paren| ($ $)) T (ELT $ 19))
- ((|box| ($ (|List| $))) T (ELT $ 55))
- ((|box| ($ $)) T (ELT $ 17))
- ((|subst| ($ $ (|List| (|Kernel| $)) (|List| $))) T
- (ELT $ NIL))
- ((|subst| ($ $ (|List| (|Equation| $)))) T (ELT $ 123))
- ((|subst| ($ $ (|Equation| $))) T (ELT $ 81))
- ((|elt| ($ (|BasicOperator|) (|List| $))) T (ELT $ 109))
- ((|elt| ($ (|BasicOperator|) $ $ $ $)) T (ELT $ 65))
- ((|elt| ($ (|BasicOperator|) $ $ $)) T (ELT $ 64))
- ((|elt| ($ (|BasicOperator|) $ $)) T (ELT $ 63))
- ((|elt| ($ (|BasicOperator|) $)) T (ELT $ 62))
- ((|eval| ($ $ (|List| $) (|List| $))) T (ELT $ NIL))
- ((|eval| ($ $ $ $)) T (ELT $ NIL))
- ((|eval| ($ $ (|Equation| $))) T (ELT $ NIL))
- ((|eval| ($ $ (|List| (|Equation| $)))) T (ELT $ 121))
- ((|eval| ($ $ (|List| (|Kernel| $)) (|List| $))) T
- (ELT $ NIL))
- ((|eval| ($ $ (|Kernel| $) $)) T (ELT $ NIL))
- ((|retract| ((|Kernel| $) $)) T (ELT $ 112))
- ((|retractIfCan| ((|Union| (|Kernel| $) "failed") $)) T
- (ELT $ 113)))
- (|addModemap| '|ExpressionSpace&|
- '(|ExpressionSpace&| |#1|)
- '((CATEGORY |domain|
- (SIGNATURE |odd?| ((|Boolean|) |#1|))
- (SIGNATURE |even?| ((|Boolean|) |#1|))
- (SIGNATURE |eval|
- (|#1| |#1| (|BasicOperator|)
- (|Mapping| |#1| |#1|)))
- (SIGNATURE |eval|
- (|#1| |#1| (|BasicOperator|)
- (|Mapping| |#1| (|List| |#1|))))
- (SIGNATURE |eval|
- (|#1| |#1| (|List| (|BasicOperator|))
- (|List| (|Mapping| |#1| (|List| |#1|)))))
- (SIGNATURE |eval|
- (|#1| |#1| (|List| (|BasicOperator|))
- (|List| (|Mapping| |#1| |#1|))))
- (SIGNATURE |eval|
- (|#1| |#1| (|Symbol|) (|Mapping| |#1| |#1|)))
- (SIGNATURE |eval|
- (|#1| |#1| (|Symbol|)
- (|Mapping| |#1| (|List| |#1|))))
- (SIGNATURE |eval|
- (|#1| |#1| (|List| (|Symbol|))
- (|List| (|Mapping| |#1| (|List| |#1|)))))
- (SIGNATURE |eval|
- (|#1| |#1| (|List| (|Symbol|))
- (|List| (|Mapping| |#1| |#1|))))
- (SIGNATURE |freeOf?|
- ((|Boolean|) |#1| (|Symbol|)))
- (SIGNATURE |freeOf?| ((|Boolean|) |#1| |#1|))
- (SIGNATURE |map|
- (|#1| (|Mapping| |#1| |#1|) (|Kernel| |#1|)))
- (SIGNATURE |kernel|
- (|#1| (|BasicOperator|) (|List| |#1|)))
- (SIGNATURE |kernel|
- (|#1| (|BasicOperator|) |#1|))
- (SIGNATURE |is?| ((|Boolean|) |#1| (|Symbol|)))
- (SIGNATURE |is?|
- ((|Boolean|) |#1| (|BasicOperator|)))
- (SIGNATURE |belong?|
- ((|Boolean|) (|BasicOperator|)))
- (SIGNATURE |operator|
- ((|BasicOperator|) (|BasicOperator|)))
- (SIGNATURE |operators|
- ((|List| (|BasicOperator|)) |#1|))
- (SIGNATURE |tower|
- ((|List| (|Kernel| |#1|)) |#1|))
- (SIGNATURE |mainKernel|
- ((|Union| (|Kernel| |#1|) "failed") |#1|))
- (SIGNATURE |height|
- ((|NonNegativeInteger|) |#1|))
- (SIGNATURE |distribute| (|#1| |#1| |#1|))
- (SIGNATURE |distribute| (|#1| |#1|))
- (SIGNATURE |paren| (|#1| (|List| |#1|)))
- (SIGNATURE |paren| (|#1| |#1|))
- (SIGNATURE |box| (|#1| (|List| |#1|)))
- (SIGNATURE |box| (|#1| |#1|))
- (SIGNATURE |subst|
- (|#1| |#1| (|List| (|Kernel| |#1|))
- (|List| |#1|)))
- (SIGNATURE |subst|
- (|#1| |#1| (|List| (|Equation| |#1|))))
- (SIGNATURE |subst|
- (|#1| |#1| (|Equation| |#1|)))
- (SIGNATURE |elt|
- (|#1| (|BasicOperator|) (|List| |#1|)))
- (SIGNATURE |elt|
- (|#1| (|BasicOperator|) |#1| |#1| |#1| |#1|))
- (SIGNATURE |elt|
- (|#1| (|BasicOperator|) |#1| |#1|
- |#1|))
- (SIGNATURE |elt|
- (|#1| (|BasicOperator|) |#1| |#1|))
- (SIGNATURE |elt| (|#1| (|BasicOperator|) |#1|))
- (SIGNATURE |eval|
- (|#1| |#1| (|List| |#1|) (|List| |#1|)))
- (SIGNATURE |eval| (|#1| |#1| |#1| |#1|))
- (SIGNATURE |eval| (|#1| |#1| (|Equation| |#1|)))
- (SIGNATURE |eval|
- (|#1| |#1| (|List| (|Equation| |#1|))))
- (SIGNATURE |eval|
- (|#1| |#1| (|List| (|Kernel| |#1|))
- (|List| |#1|)))
- (SIGNATURE |eval|
- (|#1| |#1| (|Kernel| |#1|) |#1|))
- (SIGNATURE |retract| ((|Kernel| |#1|) |#1|))
- (SIGNATURE |retractIfCan|
- ((|Union| (|Kernel| |#1|) "failed") |#1|)))
- (|ExpressionSpace|))
- T '|ExpressionSpace&|
- (|put| '|ExpressionSpace&| '|mode|
- '(|Mapping|
- (CATEGORY |domain|
- (SIGNATURE |odd?| ((|Boolean|) |#1|))
- (SIGNATURE |even?| ((|Boolean|) |#1|))
- (SIGNATURE |eval|
- (|#1| |#1| (|BasicOperator|)
- (|Mapping| |#1| |#1|)))
- (SIGNATURE |eval|
- (|#1| |#1| (|BasicOperator|)
- (|Mapping| |#1| (|List| |#1|))))
- (SIGNATURE |eval|
- (|#1| |#1|
- (|List| (|BasicOperator|))
- (|List|
- (|Mapping| |#1| (|List| |#1|)))))
- (SIGNATURE |eval|
- (|#1| |#1|
- (|List| (|BasicOperator|))
- (|List| (|Mapping| |#1| |#1|))))
- (SIGNATURE |eval|
- (|#1| |#1| (|Symbol|)
- (|Mapping| |#1| |#1|)))
- (SIGNATURE |eval|
- (|#1| |#1| (|Symbol|)
- (|Mapping| |#1| (|List| |#1|))))
- (SIGNATURE |eval|
- (|#1| |#1| (|List| (|Symbol|))
- (|List|
- (|Mapping| |#1| (|List| |#1|)))))
- (SIGNATURE |eval|
- (|#1| |#1| (|List| (|Symbol|))
- (|List| (|Mapping| |#1| |#1|))))
- (SIGNATURE |freeOf?|
- ((|Boolean|) |#1| (|Symbol|)))
- (SIGNATURE |freeOf?|
- ((|Boolean|) |#1| |#1|))
- (SIGNATURE |map|
- (|#1| (|Mapping| |#1| |#1|)
- (|Kernel| |#1|)))
- (SIGNATURE |kernel|
- (|#1| (|BasicOperator|)
- (|List| |#1|)))
- (SIGNATURE |kernel|
- (|#1| (|BasicOperator|) |#1|))
- (SIGNATURE |is?|
- ((|Boolean|) |#1| (|Symbol|)))
- (SIGNATURE |is?|
- ((|Boolean|) |#1|
- (|BasicOperator|)))
- (SIGNATURE |belong?|
- ((|Boolean|) (|BasicOperator|)))
- (SIGNATURE |operator|
- ((|BasicOperator|)
- (|BasicOperator|)))
- (SIGNATURE |operators|
- ((|List| (|BasicOperator|)) |#1|))
- (SIGNATURE |tower|
- ((|List| (|Kernel| |#1|)) |#1|))
- (SIGNATURE |mainKernel|
- ((|Union| (|Kernel| |#1|)
- "failed")
- |#1|))
- (SIGNATURE |height|
- ((|NonNegativeInteger|) |#1|))
- (SIGNATURE |distribute|
- (|#1| |#1| |#1|))
- (SIGNATURE |distribute| (|#1| |#1|))
- (SIGNATURE |paren|
- (|#1| (|List| |#1|)))
- (SIGNATURE |paren| (|#1| |#1|))
- (SIGNATURE |box| (|#1| (|List| |#1|)))
- (SIGNATURE |box| (|#1| |#1|))
- (SIGNATURE |subst|
- (|#1| |#1|
- (|List| (|Kernel| |#1|))
- (|List| |#1|)))
- (SIGNATURE |subst|
- (|#1| |#1|
- (|List| (|Equation| |#1|))))
- (SIGNATURE |subst|
- (|#1| |#1| (|Equation| |#1|)))
- (SIGNATURE |elt|
- (|#1| (|BasicOperator|)
- (|List| |#1|)))
- (SIGNATURE |elt|
- (|#1| (|BasicOperator|) |#1| |#1|
- |#1| |#1|))
- (SIGNATURE |elt|
- (|#1| (|BasicOperator|) |#1| |#1|
- |#1|))
- (SIGNATURE |elt|
- (|#1| (|BasicOperator|) |#1| |#1|))
- (SIGNATURE |elt|
- (|#1| (|BasicOperator|) |#1|))
- (SIGNATURE |eval|
- (|#1| |#1| (|List| |#1|)
- (|List| |#1|)))
- (SIGNATURE |eval|
- (|#1| |#1| |#1| |#1|))
- (SIGNATURE |eval|
- (|#1| |#1| (|Equation| |#1|)))
- (SIGNATURE |eval|
- (|#1| |#1|
- (|List| (|Equation| |#1|))))
- (SIGNATURE |eval|
- (|#1| |#1|
- (|List| (|Kernel| |#1|))
- (|List| |#1|)))
- (SIGNATURE |eval|
- (|#1| |#1| (|Kernel| |#1|) |#1|))
- (SIGNATURE |retract|
- ((|Kernel| |#1|) |#1|))
- (SIGNATURE |retractIfCan|
- ((|Union| (|Kernel| |#1|)
- "failed")
- |#1|)))
- (|ExpressionSpace|))
- |$CategoryFrame|))))
generated by cgit v1.2.3 (git 2.46.0) at 2025-12-15 21:59:29 +0000