Age | Commit message (Collapse) | Author | Files | Lines |
|
parameter satisfy FiniteAggregate A instead of requiring attribute
finiteAggregate.
* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Now
extends FiniteAggregate. Remove finiteAggregate attribute.
|
|
include attribute finiteAggregate.
(StackAggregate): Extend category FiniteAggregate instead of
attribute finiteAggregate.
(QueueAggregate): Likewise.
(PriorityQueueAggregate): Likewise.
(FiniteSetAggregate): Likewise.
* algebra/lmdict.spad.pamphlet (ListMultiDictionary): Likewise.
* algebra/matcat.spad.pamphlet (MatrixCategory): Likewise.
* algebra/mset.spad.pamphlet (Multiset): Likewise.
* algebra/newdata.spad.pamphlet (SplittingTree): Likewise.
* algebra/polset.spad.pamphlet (PolynomialSetCategory): Likewise.
* algebra/tree.spad.pamphlet (Tree): Likewise.
(BinaryTreeCategory): Likewise.
* algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
* algebra/vector.spad.pamphlet (DirectProductCategory): Likewise.
|
|
* algebra/exposed.lsp.pamphlet: Expose it.
|
|
|
|
(compDefineFunctor1): Use it.
|
|
|
|
CharactericZero too.
|
|
from InnerIndexedTwoDimensionalArray. Adjust users.
|
|
|
|
|
|
|
|
|
|
|
|
|