From b6dd0415650fe24621a42ad676960697f77ca96c Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 26 Jun 2010 14:00:47 +0000 Subject: * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Satisfy BasicType if element type satisfies it. --- src/algebra/strap/SYMBOL.lsp | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src/algebra/strap/SYMBOL.lsp') 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|) -- cgit v1.2.3