diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-04-23 15:19:26 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-04-23 15:19:26 +0000 |
| commit | 007980660ba03555922525f9f7ee5b0f59ef41b1 (patch) | |
| tree | f89bb6a59c149620f9fca5fe091b969e42a23872 /src/algebra/strap/ES.lsp | |
| parent | 461221b5ee886e30778b65765aaaedf4e0b76c36 (diff) | |
| download | open-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/strap/ES.lsp')
| -rw-r--r-- | src/algebra/strap/ES.lsp | 155 |
1 files changed, 0 insertions, 155 deletions
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) |