Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2013-05-18 | * algebra/aggcat.spad.pamphlet: Tidy. | dos-reis | 1 | -16/+16 | |
2013-05-18 | * algebra/mset.spad.pamphlet (Multiset) [unique]: Rename from | dos-reis | 1 | -3/+3 | |
members to avoid semantics clash. | |||||
2013-05-18 | * algebra/aggcat.spad.pamphlet: Replace uses of parts by members. | dos-reis | 2 | -44/+42 | |
2013-05-18 | * algebra/attreg.spad.pamphlet (AttributeRegistry): Remove | dos-reis | 4 | -15/+5 | |
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/tree.spad.pamphlet(BinaryTreeCategory): Extend | dos-reis | 3 | -37/+37 | |
ShallowlyMutableAggregate S. (BinarySearchTree): Remove redundant shallowlyMutable attribute. (BalancedBinaryTree): Likewise. | |||||
2013-05-18 | * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): New. | dos-reis | 4 | -2/+25 | |
2013-05-17 | * algebra/aggcat.spad.pamphlet (FiniteAggregate): More defaults. | dos-reis | 1 | -2/+8 | |
(Aggregate): Remove default implementation of empty? | |||||
2013-05-17 | * algebra/aggcat.spad.pamphlet (FiniteAggregate): Add default | dos-reis | 4 | -5/+8 | |
implementation for empty?. | |||||
2013-05-17 | * algebra/aggcat.spad.pamphlet (TableAggregate): Now extend | dos-reis | 5 | -69/+61 | |
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 | 3 | -20/+17 | |
IndexedAggregate too. Give default implementation for elt. (TableAggregate): Simplify. | |||||
2013-05-17 | * algebra/ffp.spad.pamphlet (FiniteFieldExtensionByPolynomial) | dos-reis | 4 | -7/+5 | |
[tableForDiscreteLogarithm]: Don't use pretend where checked coercion is intended. * algebra/pf.spad.pamphlet (InnerPrimeField) [tableForDiscreteLogarithm]: Likewise. | |||||
2013-05-17 | * algebra/aggcat.spad.pamphlet (AssociationListAggregate) [assoc]: | dos-reis | 2 | -4/+4 | |
Change return type to instance of Maybe. * algebra/list.spad.pamphle (AssociationList): Reflect change. | |||||
2013-05-16 | * algebra/sortpak.spad.pamphlet (SortPackage): Have second | dos-reis | 4 | -12/+9 | |
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 | 2 | -2/+2 | |
redundant FiniteAggregate. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise. | |||||
2013-05-16 | * algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarily | dos-reis | 11 | -62/+55 | |
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 | 2 | -12/+8 | |
finiteAggregate attribute. * algebra/tree.spad.pamphlet (BinaryTreeCategory): Likewise. (BinarySearchTree): Likewise. (BalancedBinaryTree): Likewise. | |||||
2013-05-16 | * algebra/aggcat.spad.pamphlet (FiniteAggregate): New. | dos-reis | 4 | -2/+56 | |
* algebra/exposed.lsp.pamphlet: Expose it. | |||||
2013-05-15 | Revert accidental commit rev 2862 from experimental tree | dos-reis | 3 | -5/+85 | |
2013-05-15 | * interp/define.boot (dbClearForCompilation!): New. | dos-reis | 3 | -85/+5 | |
(compDefineFunctor1): Use it. | |||||
2013-05-15 | * interp/define.boot (checkAndDeclare): Constructor parameter | dos-reis | 1 | -5/+5 | |
shadowing. * algebra/lodof.spad.pamphlet (SetOfMIntegersInOneToN): [enum]: Lose last parameter. Adjust callers. | |||||
2013-05-14 | * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): | dos-reis | 1 | -2/+0 | |
Remove redundant declaration for parts. | |||||
2013-05-14 | * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Test | dos-reis | 1 | -1/+1 | |
for BasicType satisfaction instead of existence of =. | |||||
2013-05-14 | * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray) [map]: | dos-reis | 1 | -15/+10 | |
Move implementation from TwoDimensionalArrayCategory. | |||||
2013-05-14 | * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Move | dos-reis | 1 | -37/+30 | |
defaults to InnerTwoDimensionalArray. | |||||
2013-05-14 | * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray) | dos-reis | 1 | -2/+4 | |
[row, column]: Fix off-by-one thinko. | |||||
2013-05-13 | * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Move | dos-reis | 1 | -22/+10 | |
row column implementation to InnerTwoDimensionalArray. (InnerTwoDimensionalArray): Simplify row and column implementation. | |||||
2013-05-13 | * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Inherit | dos-reis | 2 | -25/+7 | |
empty? and empty from base domain. (TwoDimensionalArray): Attribute shallowlyMutable is already specified by TwoDimensionalArrayCategory. * algebra/matcat.spad.pamphlet (MatricCategory): Attributes shallowlyMutable and finiteAggregate are already specified by TwoDimensionalArrayCategory. | |||||
2013-05-13 | * algebra/array1.spad.pamphlet (IndexedOneDimensionalArray): Tidy. | dos-reis | 1 | -40/+5 | |
2013-05-13 | * interp/g-opt.boot (%array2list): New side-effect free opcode. | dos-reis | 1 | -0/+5 | |
* interp/lisp-backend.boot: Expand it. * algebra/array1.spad.pamphlet (PrimitiveArray): Implement maxIndex, parts, and members. | |||||
2013-05-13 | Remove obfuscation | dos-reis | 1 | -2/+1 | |
2013-05-13 | Remove IndecedVector. | dos-reis | 4 | -48/+18 | |
2013-05-13 | * algebra/carten.spad.pamphlet (CartesianTensor): Use | dos-reis | 1 | -1/+1 | |
PrimitiveArray in lieu of 0-based IndexedVector. | |||||
2013-05-12 | * algebra/matrix.spad.pamphlet (RectangularMatrix) [ZERO]: Remove. | dos-reis | 1 | -6/+3 | |
(SquareMatrix) [ZERO, ONE]: Likewise. | |||||
2013-05-12 | * algebra/catdef.spad.pamphlet (OrderedRing): Extend | dos-reis | 3 | -15/+10 | |
CharactericZero too. | |||||
2013-05-11 | * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Rename | dos-reis | 5 | -21/+20 | |
from InnerIndexedTwoDimensionalArray. Adjust users. | |||||
2013-05-11 | Remove IndexedTwoDimensionalArray. | dos-reis | 5 | -36/+11 | |
2013-05-11 | Fix location of opposite? implementation | dos-reis | 2 | -2/+4 | |
2013-05-11 | * algebra/array2.spad.pamphlet: Cleanu up. | dos-reis | 1 | -48/+20 | |
2013-05-11 | * algebra/indexedp.spad.pamphlet | dos-reis | 1 | -0/+11 | |
(IndexedDirectProductAbelianMonoid) [opposite?]: Implement. | |||||
2013-05-11 | Remove IndexedMatrix as unused | dos-reis | 5 | -83/+10 | |
2013-05-11 | Introduce opcodes for arrays constructions | dos-reis | 1 | -28/+18 | |
2013-05-10 | Update src/algebra/Makefile for new defaults | dos-reis | 2 | -4/+4 | |
2013-05-10 | * algebra/indexedp.spad.pamphlet | dos-reis | 1 | -11/+14 | |
(IndexedDirectProductOrderedAbelianMonoid) [<]: Rewrite iteratively. | |||||
2013-05-10 | Add opposite? and annihilate? exports. | dos-reis | 2 | -5/+18 | |
2013-05-09 | * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject) | dos-reis | 1 | -1/+38 | |
[combineWithIf]: New. | |||||
2013-05-09 | Simplify copy | dos-reis | 1 | -12/+5 | |
2013-05-07 | Tidy linear elements implememtations | dos-reis | 1 | -5/+5 | |
2013-05-07 | Tidy indexed direct product domains | dos-reis | 3 | -72/+55 | |
2013-05-07 | * algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain. | dos-reis | 3 | -3/+37 | |
2013-04-06 | Add token representation files | dos-reis | 1 | -105/+405 | |