Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2013-05-25 | * algebra/cycles.spad.pamphlet (alternating): Accept non-negative input | dos-reis | 1 | -3/+3 | |
2013-05-22 | * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): Extend | dos-reis | 1 | -1/+1 | |
Aggregate only. Adjust users. (BagAggregate): Explicitly extend HomogeneousAggregate. (AssociationListAggregate): Extend ShallowlyMutableAggregate. | |||||
2013-05-20 | * algebra/aggcat.spad.pamphlet (Collection) [find]: Move to | dos-reis | 1 | -9/+9 | |
FiniteAggregate. | |||||
2013-05-20 | Use Functorial more often. | dos-reis | 1 | -41/+41 | |
2013-05-20 | Add Functorial category | dos-reis | 1 | -1340/+1344 | |
2013-05-20 | Fix up thinkos | dos-reis | 1 | -1351/+1355 | |
2013-05-20 | Update databases | dos-reis | 1 | -24/+24 | |
2013-05-19 | Eradicate attribute shallowlyMutable. | dos-reis | 1 | -1355/+1351 | |
2013-05-19 | Use ShallowlyMutableAggregate. | dos-reis | 1 | -33/+33 | |
2013-05-19 | * algebra/newdata.spad.pamphlet (SplittingTree): Include | dos-reis | 1 | -5/+5 | |
ShallowlyMutableAggregate S in exports. * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Inlcude ShallowlyMutableAggregate P. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise. | |||||
2013-05-19 | * algebra/aggcat.spad.pamphlet (Aggregate) [#]: Remove export. | dos-reis | 1 | -5/+5 | |
(UnaryRecursiveAggregate): Make definiton conditional. * algebra/stream.spad.pamphlet (LazyStreamAggregate): Likewise. | |||||
2013-05-19 | * algebra/cycles.spad.pamphlet (CycleIndicators) [nniBump]: New | dos-reis | 1 | -1/+1 | |
local function. [SFunction]: Use it. | |||||
2013-05-19 | * algebra/cycles.spad.pamphlet (CycleIndicators) | dos-reis | 1 | -3/+3 | |
[complete,alternating]: Change input type to NonNegativeInteger. | |||||
2013-05-18 | * algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attribute | dos-reis | 1 | -88/+88 | |
finiteAggregate. | |||||
2013-05-18 | Tidy Collection | dos-reis | 1 | -36/+36 | |
2013-05-18 | Tidy | dos-reis | 1 | -38/+38 | |
2013-05-18 | * algebra/aggcat.spad.pamphlet (Collection) [reduce]: Remove. | dos-reis | 1 | -4/+4 | |
Remove redundant defaults. | |||||
2013-05-18 | Add reduce overloads fo FiniteAggregate | dos-reis | 1 | -10/+10 | |
2013-05-18 | Remove parts from HomogeneousAggregate | dos-reis | 1 | -8/+8 | |
2013-05-18 | * algebra/aggcat.spad.pamphlet: Tidy. | dos-reis | 1 | -45/+45 | |
2013-05-18 | * algebra/mset.spad.pamphlet (Multiset) [unique]: Rename from | dos-reis | 1 | -529/+529 | |
members to avoid semantics clash. | |||||
2013-05-18 | * algebra/aggcat.spad.pamphlet: Replace uses of parts by members. | dos-reis | 1 | -1358/+1362 | |
2013-05-18 | * algebra/attreg.spad.pamphlet (AttributeRegistry): Remove | dos-reis | 1 | -1365/+1361 | |
shallowlyMutble. * algebra/aggcat.spad.pamphlet (BagAggregate): Extend ShallowlyMutableAggregate. (ExtensibleLinearAggregate): Likewise. * algebra/mset.spad.pamphlet (Multiset): Likewise. * algebra/tree.spad.pamphlet (Tree): Likewise. | |||||
2013-05-18 | * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): New. | dos-reis | 1 | -585/+589 | |
2013-05-17 | Update databases | dos-reis | 1 | -1/+1 | |
2013-05-17 | * algebra/aggcat.spad.pamphlet (FiniteAggregate): Add default | dos-reis | 1 | -1482/+1486 | |
implementation for empty?. | |||||
2013-05-17 | * algebra/aggcat.spad.pamphlet (TableAggregate): Now extend | dos-reis | 1 | -9/+9 | |
FiniteAggregate Record(key:Key,entry:Entry). * algebra/files.spad.pamphlet (KeyedAccessFile): Remove finiteAggregate attribute. * algebra/table.spad.pamphlet (HashTable): Likewise. (InnerTable): Likewise. (Table): Likewise. | |||||
2013-05-17 | * algebra/aggcat.spad.pamphlet (KeyedDictionary): Now extend | dos-reis | 1 | -4/+4 | |
IndexedAggregate too. Give default implementation for elt. (TableAggregate): Simplify. | |||||
2013-05-17 | Update database | dos-reis | 1 | -3/+3 | |
2013-05-16 | * algebra/sortpak.spad.pamphlet (SortPackage): Have second | dos-reis | 1 | -10/+10 | |
parameter satisfy FiniteAggregate A instead of requiring attribute finiteAggregate. * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Now extends FiniteAggregate. Remove finiteAggregate attribute. | |||||
2013-05-16 | * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Remove | dos-reis | 1 | -1/+1 | |
redundant FiniteAggregate. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise. | |||||
2013-05-16 | * algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarily | dos-reis | 1 | -18/+18 | |
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. | |||||
2013-05-16 | * algebra/data.spad.pamphlet (Byte): Remove redundant | dos-reis | 1 | -3/+3 | |
finiteAggregate attribute. * algebra/tree.spad.pamphlet (BinaryTreeCategory): Likewise. (BinarySearchTree): Likewise. (BalancedBinaryTree): Likewise. | |||||
2013-05-16 | * algebra/aggcat.spad.pamphlet (FiniteAggregate): New. | dos-reis | 1 | -1479/+1483 | |
* algebra/exposed.lsp.pamphlet: Expose it. | |||||
2013-05-14 | * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): | dos-reis | 1 | -4/+4 | |
Remove redundant declaration for parts. | |||||
2013-05-13 | Update databases | dos-reis | 1 | -5/+5 | |
2013-05-13 | Remove IndecedVector. | dos-reis | 1 | -1263/+1259 | |
2013-05-13 | * algebra/carten.spad.pamphlet (CartesianTensor): Use | dos-reis | 1 | -1/+1 | |
PrimitiveArray in lieu of 0-based IndexedVector. | |||||
2013-05-12 | fix databases corruption | dos-reis | 1 | -1/+1 | |
2013-05-12 | * algebra/matrix.spad.pamphlet (RectangularMatrix) [ZERO]: Remove. | dos-reis | 1 | -1/+1 | |
(SquareMatrix) [ZERO, ONE]: Likewise. | |||||
2013-05-12 | * algebra/catdef.spad.pamphlet (OrderedRing): Extend | dos-reis | 1 | -5/+5 | |
CharactericZero too. | |||||
2013-05-11 | * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Rename | dos-reis | 1 | -47/+47 | |
from InnerIndexedTwoDimensionalArray. Adjust users. | |||||
2013-05-11 | Remove IndexedTwoDimensionalArray. | dos-reis | 1 | -1365/+1361 | |
2013-05-11 | Remove IndexedMatrix as unused | dos-reis | 1 | -1343/+1339 | |
2013-05-11 | Introduce opcodes for arrays constructions | dos-reis | 1 | -1/+1 | |
2013-05-10 | Add opposite? and annihilate? exports. | dos-reis | 1 | -1563/+1571 | |
2013-05-09 | * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject) | dos-reis | 1 | -531/+531 | |
[combineWithIf]: New. | |||||
2013-05-07 | Tidy indexed direct product domains | dos-reis | 1 | -3/+3 | |
2013-05-07 | * algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain. | dos-reis | 1 | -1354/+1358 | |
2012-02-25 | * algebra/catdef.spad.pamphlet (BinaryOperatorCategory): New. | dos-reis | 1 | -1704/+1732 | |
(BinaryOperation): Likewise. (IdempotentOperatorCategory): Likewise. (SemiGroupOperatorCategory): Likewise. (SemiGroupOperation): Likewise. (MonoidOperatorCategory): Likewise. (MonoidOperation): Likewise. * algebra/exposed.lsp.pamphlet: Expose them. * algebra/Makefile.in (oa_algebra_layer_0): Include IDEMOPC, SGPOPC, SPGOP, MONOPC, BINOPC. (axiom_algebra_layer_1): Include MONOP. |