Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2013-06-02 | Add dependencies for bootstrap | dos-reis | 2 | -12/+82 | |
2013-06-02 | Add dependencies for bootstrap | dos-reis | 2 | -0/+52 | |
2013-06-01 | Support --output in compiler, for bootstrapping stage. | dos-reis | 2 | -38/+10 | |
2013-05-26 | Define lexicographical ordering on Bits in Spad | dos-reis | 1 | -2/+9 | |
2013-05-26 | Revert accidental commit. | dos-reis | 3 | -21/+16 | |
2013-05-26 | * algebra/logic.spad.pamphlet: New file. | dos-reis | 4 | -497/+558 | |
* algebra/boolean.spad.pamphlet (Logic): Move there. (BooleanLogic): Likewise. (PropositionalLogic): Likewise. (PropositionalFormula): Likewise. (PropositionalFormulaFunctions1): Likewise. (PropositionalFormulaFunctions2): Likewise. (KleeneTrivalentLogic): Likewise. | |||||
2013-05-25 | * algebra/cycles.spad.pamphlet (CycleIndicators) [spol]: Rename | dos-reis | 1 | -5/+4 | |
from nniBump. Fix thinko. | |||||
2013-05-25 | * algebra/cycles.spad.pamphlet (alternating): Accept non-negative input | dos-reis | 1 | -1/+1 | |
2013-05-25 | * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject): | dos-reis | 1 | -1/+3 | |
Define Rep, do not use base-domain form. | |||||
2013-05-23 | * algebra/stream.spad.pamphlet (LazyStreamAggregate) [entries]: | dos-reis | 1 | -12/+12 | |
Define unconditionally, even it it does not make much sense in general. | |||||
2013-05-22 | Tidy src/algebra/Makefile.am | dos-reis | 2 | -30/+20 | |
2013-05-22 | * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): Extend | dos-reis | 5 | -13/+13 | |
Aggregate only. Adjust users. (BagAggregate): Explicitly extend HomogeneousAggregate. (AssociationListAggregate): Extend ShallowlyMutableAggregate. | |||||
2013-05-21 | * algebra/aggcat.spad.pamphlet (UnaryRecursiveAggregate) [map!]: | dos-reis | 2 | -7/+14 | |
Implement default. * algebra/list.spad.pamphlet (List) [map!]: Likewise. | |||||
2013-05-21 | Refactor src/algebra/Makefile.am | dos-reis | 2 | -364/+132 | |
2013-05-21 | Fix typos. | dos-reis | 2 | -12/+12 | |
2013-05-21 | Remove stale targets | dos-reis | 2 | -330/+14 | |
2013-05-20 | * algebra/aggcat.spad.pamphlet (Collection) [find]: Move to | dos-reis | 1 | -4/+4 | |
FiniteAggregate. | |||||
2013-05-20 | Use Functorial more often. | dos-reis | 14 | -87/+65 | |
2013-05-20 | Add Functorial category | dos-reis | 4 | -18/+44 | |
2013-05-20 | Fix up thinkos | dos-reis | 2 | -3/+2 | |
2013-05-20 | Tidy KeyedDictionary | dos-reis | 1 | -2/+3 | |
2013-05-19 | Eradicate attribute shallowlyMutable. | dos-reis | 4 | -16/+11 | |
2013-05-19 | Use ShallowlyMutableAggregate. | dos-reis | 3 | -17/+13 | |
2013-05-19 | * algebra/matfuns.spad.pamphlet: Use ShallowlyMutableAggregate. | dos-reis | 1 | -5/+5 | |
2013-05-19 | * algebra/matcat.spad.pamphlet: Use ShallowlyMutableAggregate. | dos-reis | 1 | -2/+2 | |
2013-05-19 | * algebra/aggcat2.spad.pamphlet: Use ShallowlyMutableAggregate. | dos-reis | 1 | -2/+2 | |
2013-05-19 | * algebra/newdata.spad.pamphlet (SplittingTree): Include | dos-reis | 4 | -9/+4 | |
ShallowlyMutableAggregate S in exports. * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Inlcude ShallowlyMutableAggregate P. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise. | |||||
2013-05-19 | Eradicate attribute finiteAggregate. | dos-reis | 2 | -75/+38 | |
* algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Remove exports conditional aatribute finiteAggregate. (TableAggregate): Remove spirous definitions. * algebra/stream.spad.pamphlet (LazyStreamAggregate): Put definitions for FiniteAgregate exports under appropriate condition. | |||||
2013-05-19 | * algebra/aggcat.spad.pamphlet (Aggregate) [#]: Remove export. | dos-reis | 2 | -18/+19 | |
(UnaryRecursiveAggregate): Make definiton conditional. * algebra/stream.spad.pamphlet (LazyStreamAggregate): Likewise. | |||||
2013-05-19 | * algebra/cycles.spad.pamphlet (CycleIndicators) [nniBump]: New | dos-reis | 1 | -2/+7 | |
local function. [SFunction]: Use it. | |||||
2013-05-19 | * algebra/cycles.spad.pamphlet (CycleIndicators) | dos-reis | 1 | -2/+2 | |
[complete,alternating]: Change input type to NonNegativeInteger. | |||||
2013-05-18 | * algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attribute | dos-reis | 1 | -3/+1 | |
finiteAggregate. | |||||
2013-05-18 | Tidy Collection | dos-reis | 1 | -1/+1 | |
2013-05-18 | Tidy | dos-reis | 1 | -3/+3 | |
2013-05-18 | * algebra/aggcat.spad.pamphlet (Collection) [reduce]: Remove. | dos-reis | 2 | -33/+7 | |
Remove redundant defaults. | |||||
2013-05-18 | * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Move | dos-reis | 1 | -19/+5 | |
defaults for = and coerce to FiniteAggregate. Remove the rest. | |||||
2013-05-18 | Add reduce overloads fo FiniteAggregate | dos-reis | 1 | -1/+23 | |
2013-05-18 | Use FiniteAggregate instead of finiteAggregate | dos-reis | 3 | -11/+4 | |
2013-05-18 | Remove parts from HomogeneousAggregate | dos-reis | 2 | -9/+6 | |
2013-05-18 | Use members, not parts | dos-reis | 13 | -26/+26 | |
2013-05-18 | Define members, not parts | dos-reis | 14 | -44/+36 | |
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. |