diff options
author | dos-reis <gdr@axiomatics.org> | 2008-11-20 07:57:14 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-11-20 07:57:14 +0000 |
commit | 90dee68c255cd77c5e72fb78da8a02d07e3c1c49 (patch) | |
tree | f1bda1d35b9549660a6275890865894e87ebaf44 /src/algebra/strap/BOOLEAN.lsp | |
parent | 29c64f74f12bbeebb82045b08db420d2d2b60cf7 (diff) | |
download | open-axiom-90dee68c255cd77c5e72fb78da8a02d07e3c1c49.tar.gz |
* algebra/coerce.spad.pamphlet (CoercibleFrom): New.
(ConvertibleFrom): Likewise.
(RetractableTo): Use it.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
KRCFROM and KVTFROM.
* share/algebra/: Update databases.
Diffstat (limited to 'src/algebra/strap/BOOLEAN.lsp')
-rw-r--r-- | src/algebra/strap/BOOLEAN.lsp | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp index 693fc054..1e367244 100644 --- a/src/algebra/strap/BOOLEAN.lsp +++ b/src/algebra/strap/BOOLEAN.lsp @@ -220,62 +220,4 @@ 0 0 1 2 0 18 0 0 22 2 0 0 0 0 12))))) '|lookupComplete|)) -(SETQ |$CategoryFrame| - (|put| '|Boolean| '|isFunctor| - '(((|test| ($ $)) T (ELT $ 6)) - ((|nor| ($ $ $)) T (ELT $ 16)) - ((|nand| ($ $ $)) T (ELT $ 17)) - ((|xor| ($ $ $)) T (ELT $ 15)) - ((|false| ($)) T (CONST $ 8)) - ((|true| ($)) T (CONST $ 7)) - ((|convert| ((|InputForm|) $)) T (ELT $ 36)) - ((|not| ($ $)) T (ELT $ 9)) - ((|and| ($ $ $)) T (ELT $ 11)) - ((|or| ($ $ $)) T (ELT $ 13)) - ((|implies| ($ $ $)) T (ELT $ 20)) - ((|equiv| ($ $ $)) T (ELT $ 21)) - ((~ ($ $)) T (ELT $ 10)) ((|/\\| ($ $ $)) T (ELT $ 12)) - ((|\\/| ($ $ $)) T (ELT $ 14)) - ((|size| ((|NonNegativeInteger|))) T (ELT $ 24)) - ((|index| ($ (|PositiveInteger|))) T (ELT $ 28)) - ((|lookup| ((|PositiveInteger|) $)) T (ELT $ 29)) - ((|random| ($)) T (ELT $ 30)) - ((|min| ($ $ $)) T (ELT $ NIL)) - ((|max| ($ $ $)) T (ELT $ NIL)) - ((<= ((|Boolean|) $ $)) T (ELT $ NIL)) - ((>= ((|Boolean|) $ $)) T (ELT $ NIL)) - ((> ((|Boolean|) $ $)) T (ELT $ NIL)) - ((< ((|Boolean|) $ $)) T (ELT $ 22)) - ((|latex| ((|String|) $)) T (ELT $ NIL)) - ((|hash| ((|SingleInteger|) $)) T (ELT $ NIL)) - ((|coerce| ((|OutputForm|) $)) T (ELT $ 39)) - ((= ((|Boolean|) $ $)) T (ELT $ 19)) - ((~= ((|Boolean|) $ $)) T (ELT $ NIL))) - (|addModemap| '|Boolean| '(|Boolean|) - '((|Join| (|OrderedFinite|) (|Logic|) - (|PropositionalLogic|) - (|ConvertibleTo| (|InputForm|)) - (CATEGORY |domain| - (SIGNATURE |true| ($) |constant|) - (SIGNATURE |false| ($) |constant|) - (SIGNATURE |xor| ($ $ $)) - (SIGNATURE |nand| ($ $ $)) - (SIGNATURE |nor| ($ $ $)) - (SIGNATURE |test| ($ $))))) - T '|Boolean| - (|put| '|Boolean| '|mode| - '(|Mapping| - (|Join| (|OrderedFinite|) (|Logic|) - (|PropositionalLogic|) - (|ConvertibleTo| (|InputForm|)) - (CATEGORY |domain| - (SIGNATURE |true| ($) |constant|) - (SIGNATURE |false| ($) - |constant|) - (SIGNATURE |xor| ($ $ $)) - (SIGNATURE |nand| ($ $ $)) - (SIGNATURE |nor| ($ $ $)) - (SIGNATURE |test| ($ $))))) - |$CategoryFrame|)))) - (MAKEPROP '|Boolean| 'NILADIC T) |