diff options
author | dos-reis <gdr@axiomatics.org> | 2008-08-17 08:59:26 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-08-17 08:59:26 +0000 |
commit | 5e504b6abaef6cf7e7c58c17e26bec33856b60c0 (patch) | |
tree | fc93b37d696d3c1ca38437a5ad9a815a85fe46b7 /src/algebra/strap/BOOLEAN.lsp | |
parent | ffb91646c6f11e84fa886aa5abc2de61ba291cc1 (diff) | |
download | open-axiom-5e504b6abaef6cf7e7c58c17e26bec33856b60c0.tar.gz |
* algebra/Makefile.pamphlet (all-algstrap): New.
* algebra/strap: Update cached Lisp translation.
Diffstat (limited to 'src/algebra/strap/BOOLEAN.lsp')
-rw-r--r-- | src/algebra/strap/BOOLEAN.lsp | 72 |
1 files changed, 66 insertions, 6 deletions
diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp index bca63812..7a141b8b 100644 --- a/src/algebra/strap/BOOLEAN.lsp +++ b/src/algebra/strap/BOOLEAN.lsp @@ -38,9 +38,9 @@ (DEFUN |BOOLEAN;nand;3$;14| (|a| |b| $) (COND (|a| (|BOOLEAN;nt| |b| $)) ('T 'T))) -(PUT '|BOOLEAN;=;2$B;15| '|SPADreplace| 'EQ) +(PUT '|BOOLEAN;=;3$;15| '|SPADreplace| 'EQ) -(DEFUN |BOOLEAN;=;2$B;15| (|a| |b| $) (EQ |a| |b|)) +(DEFUN |BOOLEAN;=;3$;15| (|a| |b| $) (EQ |a| |b|)) (DEFUN |BOOLEAN;implies;3$;16| (|a| |b| $) (COND (|a| |b|) ('T 'T))) @@ -48,7 +48,7 @@ (DEFUN |BOOLEAN;equiv;3$;17| (|a| |b| $) (EQ |a| |b|)) -(DEFUN |BOOLEAN;<;2$B;18| (|a| |b| $) +(DEFUN |BOOLEAN;<;3$;18| (|a| |b| $) (COND (|b| (|BOOLEAN;nt| |a| $)) ('T 'NIL))) (PUT '|BOOLEAN;size;Nni;19| '|SPADreplace| '(XLAM NIL 2)) @@ -79,7 +79,7 @@ (DEFUN |Boolean| () (PROG () (RETURN - (PROG (#0=#:G1421) + (PROG (#0=#:G1423) (RETURN (COND ((LETT #0# (HGET |$ConstructorCache| '|Boolean|) |Boolean|) @@ -116,8 +116,8 @@ |BOOLEAN;and;3$;8| |BOOLEAN;/\\;3$;9| |BOOLEAN;or;3$;10| |BOOLEAN;\\/;3$;11| |BOOLEAN;xor;3$;12| |BOOLEAN;nor;3$;13| |BOOLEAN;nand;3$;14| (|Boolean|) - |BOOLEAN;=;2$B;15| |BOOLEAN;implies;3$;16| - |BOOLEAN;equiv;3$;17| |BOOLEAN;<;2$B;18| + |BOOLEAN;=;3$;15| |BOOLEAN;implies;3$;16| + |BOOLEAN;equiv;3$;17| |BOOLEAN;<;3$;18| (|NonNegativeInteger|) |BOOLEAN;size;Nni;19| (|Integer|) (0 . |even?|) (|PositiveInteger|) |BOOLEAN;index;Pi$;20| |BOOLEAN;lookup;$Pi;21| |BOOLEAN;random;$;22| (|String|) @@ -153,4 +153,64 @@ 0 0 13))))) '|lookupComplete|)) +(SETQ |$CategoryFrame| + (|put| '|Boolean| '|isFunctor| + '(((|test| ($ $)) T (ELT $ 6)) + ((|nor| ($ $ $)) T (ELT $ 17)) + ((|nand| ($ $ $)) T (ELT $ 18)) + ((|xor| ($ $ $)) T (ELT $ 16)) ((^ ($ $)) T (ELT $ 10)) + ((|false| ($)) T (CONST $ 8)) + ((|true| ($)) T (CONST $ 7)) + ((|convert| ((|InputForm|) $)) T (ELT $ 37)) + ((|equiv| ($ $ $)) T (ELT $ 22)) + ((|implies| ($ $ $)) T (ELT $ 21)) + ((|or| ($ $ $)) T (ELT $ 14)) + ((|and| ($ $ $)) T (ELT $ 12)) + ((|not| ($ $)) T (ELT $ 9)) ((~ ($ $)) T (ELT $ 11)) + ((|/\\| ($ $ $)) T (ELT $ 13)) + ((|\\/| ($ $ $)) T (ELT $ 15)) + ((|size| ((|NonNegativeInteger|))) T (ELT $ 25)) + ((|index| ($ (|PositiveInteger|))) T (ELT $ 29)) + ((|lookup| ((|PositiveInteger|) $)) T (ELT $ 30)) + ((|random| ($)) T (ELT $ 31)) + ((|min| ($ $ $)) T (ELT $ NIL)) + ((|max| ($ $ $)) T (ELT $ NIL)) + ((<= ((|Boolean|) $ $)) T (ELT $ NIL)) + ((>= ((|Boolean|) $ $)) T (ELT $ NIL)) + ((> ((|Boolean|) $ $)) T (ELT $ NIL)) + ((< ((|Boolean|) $ $)) T (ELT $ 23)) + ((|latex| ((|String|) $)) T (ELT $ NIL)) + ((|hash| ((|SingleInteger|) $)) T (ELT $ NIL)) + ((|coerce| ((|OutputForm|) $)) T (ELT $ 40)) + ((= ((|Boolean|) $ $)) T (ELT $ 20)) + ((~= ((|Boolean|) $ $)) T (ELT $ NIL))) + (|addModemap| '|Boolean| '(|Boolean|) + '((|Join| (|OrderedSet|) (|Finite|) (|Logic|) + (|PropositionalLogic|) + (|ConvertibleTo| (|InputForm|)) + (CATEGORY |domain| + (SIGNATURE |true| ($) |constant|) + (SIGNATURE |false| ($) |constant|) + (SIGNATURE ^ ($ $)) + (SIGNATURE |xor| ($ $ $)) + (SIGNATURE |nand| ($ $ $)) + (SIGNATURE |nor| ($ $ $)) + (SIGNATURE |test| ($ $))))) + T '|Boolean| + (|put| '|Boolean| '|mode| + '(|Mapping| + (|Join| (|OrderedSet|) (|Finite|) + (|Logic|) (|PropositionalLogic|) + (|ConvertibleTo| (|InputForm|)) + (CATEGORY |domain| + (SIGNATURE |true| ($) |constant|) + (SIGNATURE |false| ($) + |constant|) + (SIGNATURE ^ ($ $)) + (SIGNATURE |xor| ($ $ $)) + (SIGNATURE |nand| ($ $ $)) + (SIGNATURE |nor| ($ $ $)) + (SIGNATURE |test| ($ $))))) + |$CategoryFrame|)))) + (MAKEPROP '|Boolean| 'NILADIC T) |