diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-26 14:00:47 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-26 14:00:47 +0000 |
commit | b6dd0415650fe24621a42ad676960697f77ca96c (patch) | |
tree | 3d0e9b9babab0b4170c638f070a5f3ef46d078ba /src/algebra/strap/SYMBOL.lsp | |
parent | f7816a009e9b9fab8cdb02e93a8b974fd3de44a6 (diff) | |
download | open-axiom-b6dd0415650fe24621a42ad676960697f77ca96c.tar.gz |
* algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Satisfy
BasicType if element type satisfies it.
Diffstat (limited to 'src/algebra/strap/SYMBOL.lsp')
-rw-r--r-- | src/algebra/strap/SYMBOL.lsp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/algebra/strap/SYMBOL.lsp b/src/algebra/strap/SYMBOL.lsp index e5372535..9f36bb38 100644 --- a/src/algebra/strap/SYMBOL.lsp +++ b/src/algebra/strap/SYMBOL.lsp @@ -728,12 +728,13 @@ |argscript| 600 |OMwrite| 606 >= 630 > 636 = 642 <= 648 < 654) 'NIL - (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0 0 0)) + (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0 0 0 0)) (CONS '#(|OrderedSet&| NIL NIL |SetCategory&| - |BasicType&| NIL NIL NIL NIL NIL NIL NIL) + |BasicType&| NIL NIL NIL NIL NIL NIL NIL NIL) (CONS '#((|OrderedSet|) (|PatternMatchable| 70) (|PatternMatchable| 6) (|SetCategory|) - (|BasicType|) (|ConvertibleTo| 72) + (|BasicType|) (|Type|) + (|ConvertibleTo| 72) (|ConvertibleTo| 65) (|CoercibleFrom| 14) (|ConvertibleTo| 25) (|OpenMath|) |