From b6dd0415650fe24621a42ad676960697f77ca96c Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
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/NNI.lsp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/algebra/strap/NNI.lsp')

diff --git a/src/algebra/strap/NNI.lsp b/src/algebra/strap/NNI.lsp
index eba910e6..6ba995a7 100644
--- a/src/algebra/strap/NNI.lsp
+++ b/src/algebra/strap/NNI.lsp
@@ -82,10 +82,10 @@
              |Zero| 137 |One| 141 >= 145 > 151 = 157 <= 163 < 169 + 175
              ** 181 * 193)
           '(((|commutative| "*") . 0))
-          (CONS (|makeByteWordVec2| 1 '(0 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 0))
                 (CONS '#(NIL NIL NIL NIL NIL |Monoid&| |AbelianMonoid&|
                          |OrderedSet&| |SemiGroup&| |AbelianSemiGroup&|
-                         |SetCategory&| |BasicType&| NIL)
+                         |SetCategory&| |BasicType&| NIL NIL)
                       (CONS '#((|OrderedAbelianMonoidSup|)
                                (|OrderedCancellationAbelianMonoid|)
                                (|OrderedAbelianMonoid|)
@@ -93,7 +93,7 @@
                                (|OrderedAbelianSemiGroup|) (|Monoid|)
                                (|AbelianMonoid|) (|OrderedSet|)
                                (|SemiGroup|) (|AbelianSemiGroup|)
-                               (|SetCategory|) (|BasicType|)
+                               (|SetCategory|) (|BasicType|) (|Type|)
                                (|CoercibleTo| 21))
                             (|makeByteWordVec2| 21
                                 '(0 0 0 6 0 5 0 7 2 5 8 0 0 9 2 5 0 0 0
-- 
cgit v1.2.3