Age | Commit message (Collapse) | Author | Files | Lines |
|
ShallowlyMutableAggregate S.
(BinarySearchTree): Remove redundant shallowlyMutable attribute.
(BalancedBinaryTree): Likewise.
|
|
|
|
implementation for empty?.
|
|
FiniteAggregate Record(key:Key,entry:Entry).
* algebra/files.spad.pamphlet (KeyedAccessFile): Remove
finiteAggregate attribute.
* algebra/table.spad.pamphlet (HashTable): Likewise.
(InnerTable): Likewise.
(Table): Likewise.
|
|
IndexedAggregate too. Give default implementation for elt.
(TableAggregate): Simplify.
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|