diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-29 16:22:49 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-29 16:22:49 +0000 |
commit | 77d293322d11ad09575a85f421796da7db471797 (patch) | |
tree | 1a8fc1949f2f9f1b443f3719efabf81147647eb9 /src/algebra/strap/SYMBOL.lsp | |
parent | ab71577ecf6a2523916d2e7fa1510d3153f758d6 (diff) | |
download | open-axiom-77d293322d11ad09575a85f421796da7db471797.tar.gz |
* algebra/catdef.spad.pamphlet (BasicType) [before?]: Declare here.
(OrderedType) [max,min]: Export and provide defaults.
(OrderedSet): Simplify.
(SetCategory) [before?]: Move to BasicType.
Diffstat (limited to 'src/algebra/strap/SYMBOL.lsp')
-rw-r--r-- | src/algebra/strap/SYMBOL.lsp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/algebra/strap/SYMBOL.lsp b/src/algebra/strap/SYMBOL.lsp index 9f36bb38..0c928c37 100644 --- a/src/algebra/strap/SYMBOL.lsp +++ b/src/algebra/strap/SYMBOL.lsp @@ -728,17 +728,18 @@ |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 0)) - (CONS '#(|OrderedSet&| NIL NIL |SetCategory&| + (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0 0 0 0 0)) + (CONS '#(NIL NIL NIL |SetCategory&| |OrderedType&| |BasicType&| NIL NIL NIL NIL NIL NIL NIL NIL) (CONS '#((|OrderedSet|) (|PatternMatchable| 70) (|PatternMatchable| 6) (|SetCategory|) - (|BasicType|) (|Type|) + (|OrderedType|) (|BasicType|) (|ConvertibleTo| 72) (|ConvertibleTo| 65) (|CoercibleFrom| 14) (|ConvertibleTo| 25) (|OpenMath|) - (|ConvertibleTo| 46) (|CoercibleTo| 53)) + (|ConvertibleTo| 46) (|Type|) + (|CoercibleTo| 53)) (|makeByteWordVec2| 164 '(0 6 0 7 1 8 0 6 9 0 11 0 12 1 16 0 15 17 2 26 24 0 25 27 0 28 0 29 2 26 0 |