diff options
author | dos-reis <gdr@axiomatics.org> | 2008-12-27 19:16:40 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-12-27 19:16:40 +0000 |
commit | e51b2aa30afc0e65cca5bfc32d32dd9471fd65ea (patch) | |
tree | 4d2fd56347cc09adba11747665d1cddcbf7c8ce7 /src/algebra/strap/BOOLEAN.lsp | |
parent | fdc64c2abcdf53d9afee4541503d1d17763ee92c (diff) | |
download | open-axiom-e51b2aa30afc0e65cca5bfc32d32dd9471fd65ea.tar.gz |
* algebra/catdef.spad.pamphlet (OrderedFinite): Export `min' and
`max' values.
* algebra/si.spad.pamphlet (SingleInteger): Now satisfies
OrderedFinite. Tidy.
Diffstat (limited to 'src/algebra/strap/BOOLEAN.lsp')
-rw-r--r-- | src/algebra/strap/BOOLEAN.lsp | 24 |
1 files changed, 13 insertions, 11 deletions
diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp index d654d918..2b44cfda 100644 --- a/src/algebra/strap/BOOLEAN.lsp +++ b/src/algebra/strap/BOOLEAN.lsp @@ -203,10 +203,11 @@ |BOOLEAN;convert;$If;22| (|OutputForm|) (15 . |message|) |BOOLEAN;coerce;$Of;23| (|SingleInteger|)) '#(~= 20 ~ 26 |xor| 31 |true| 37 |test| 41 |size| 46 |random| - 50 |or| 54 |not| 60 |nor| 65 |nand| 71 |min| 77 |max| 83 - |lookup| 89 |latex| 94 |index| 99 |implies| 104 |hash| 110 - |false| 115 |equiv| 119 |convert| 125 |coerce| 130 |and| - 135 |\\/| 141 >= 147 > 153 = 159 <= 165 < 171 |/\\| 177) + 50 |or| 54 |not| 60 |nor| 65 |nand| 71 |min| 77 |max| 87 + |lookup| 97 |latex| 102 |index| 107 |implies| 112 |hash| + 118 |false| 123 |equiv| 127 |convert| 133 |coerce| 138 + |and| 143 |\\/| 149 >= 155 > 161 = 167 <= 173 < 179 |/\\| + 185) 'NIL (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0)) (CONS '#(NIL |OrderedSet&| NIL NIL |Logic&| @@ -221,13 +222,14 @@ 35 1 37 0 31 38 2 0 18 0 0 1 1 0 0 0 10 2 0 0 0 0 15 0 0 0 7 1 0 0 0 6 0 0 23 24 0 0 0 30 2 0 0 0 0 13 1 0 0 0 9 - 2 0 0 0 0 16 2 0 0 0 0 17 2 0 0 0 0 1 - 2 0 0 0 0 1 1 0 27 0 29 1 0 31 0 1 1 - 0 0 27 28 2 0 0 0 0 20 1 0 40 0 1 0 0 - 0 8 2 0 0 0 0 21 1 0 34 0 36 1 0 37 0 - 39 2 0 0 0 0 11 2 0 0 0 0 14 2 0 18 0 - 0 1 2 0 18 0 0 1 2 0 18 0 0 19 2 0 18 - 0 0 1 2 0 18 0 0 22 2 0 0 0 0 12))))) + 2 0 0 0 0 16 2 0 0 0 0 17 0 0 0 1 2 0 + 0 0 0 1 0 0 0 1 2 0 0 0 0 1 1 0 27 0 + 29 1 0 31 0 1 1 0 0 27 28 2 0 0 0 0 + 20 1 0 40 0 1 0 0 0 8 2 0 0 0 0 21 1 + 0 34 0 36 1 0 37 0 39 2 0 0 0 0 11 2 + 0 0 0 0 14 2 0 18 0 0 1 2 0 18 0 0 1 + 2 0 18 0 0 19 2 0 18 0 0 1 2 0 18 0 0 + 22 2 0 0 0 0 12))))) '|lookupComplete|)) (MAKEPROP '|Boolean| 'NILADIC T) |