aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
AgeCommit message (Collapse)AuthorFilesLines
2013-06-22(no commit message)dos-reis1-1/+1
2013-06-21 * include/dialect.H: New.dos-reis1-17/+45
* include/diagnostics.H: Likewise. * include/storage.H: Move from utils/.
2013-06-18 * algebra/catdef.spad.pamphlet (CommutativeOperatorCategory): New.dos-reis4-10/+48
(CommutativeOperation): Likewise. * algebra/Makefile.am (oa_algebra_layer_0): Include them.
2013-06-17 * algebra/aggcat.spad.pamphlet (EltableAggregate): Weakendos-reis1-2/+2
requirement on first parameter. (IndexedAggregate): Likewise.
2013-06-17Weaken conditions on parameter of partial differential domains.dos-reis3-7/+7
2013-06-17Consolidate parsers in one pamphlet.dos-reis4-80/+80
2013-06-17More algebra dependencies.dos-reis2-32/+56
2013-06-17More algebra dependencies.dos-reis2-14/+40
2013-06-17More algebra dependencies.dos-reis3-64/+238
2013-06-17More algebra dependencies.dos-reis2-0/+86
2013-06-16Recipe Make recipes.dos-reis3-31/+78
2013-06-16Reorder dependencies.dos-reis2-145/+124
2013-06-09More algebra dependencies.dos-reis2-263/+362
2013-06-09More algebra dependenciesdos-reis2-16/+71
2013-06-06Add some algebra dependenciesdos-reis2-34/+101
2013-06-03More algebra module dependenciesdos-reis1-16/+55
2013-06-02Add dependencies for bootstrapdos-reis2-16/+59
2013-06-02Add dependencies for bootstrapdos-reis2-12/+82
2013-06-02Add dependencies for bootstrapdos-reis2-0/+52
2013-06-01Support --output in compiler, for bootstrapping stage.dos-reis2-38/+10
2013-05-26Define lexicographical ordering on Bits in Spaddos-reis1-2/+9
2013-05-26Revert accidental commit.dos-reis3-21/+16
2013-05-26 * algebra/logic.spad.pamphlet: New file.dos-reis4-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]: Renamedos-reis1-5/+4
from nniBump. Fix thinko.
2013-05-25 * algebra/cycles.spad.pamphlet (alternating): Accept non-negative inputdos-reis1-1/+1
2013-05-25 * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject):dos-reis1-1/+3
Define Rep, do not use base-domain form.
2013-05-23 * algebra/stream.spad.pamphlet (LazyStreamAggregate) [entries]:dos-reis1-12/+12
Define unconditionally, even it it does not make much sense in general.
2013-05-22Tidy src/algebra/Makefile.amdos-reis2-30/+20
2013-05-22 * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): Extenddos-reis5-13/+13
Aggregate only. Adjust users. (BagAggregate): Explicitly extend HomogeneousAggregate. (AssociationListAggregate): Extend ShallowlyMutableAggregate.
2013-05-21 * algebra/aggcat.spad.pamphlet (UnaryRecursiveAggregate) [map!]:dos-reis2-7/+14
Implement default. * algebra/list.spad.pamphlet (List) [map!]: Likewise.
2013-05-21Refactor src/algebra/Makefile.amdos-reis2-364/+132
2013-05-21Fix typos.dos-reis2-12/+12
2013-05-21Remove stale targetsdos-reis2-330/+14
2013-05-20 * algebra/aggcat.spad.pamphlet (Collection) [find]: Move todos-reis1-4/+4
FiniteAggregate.
2013-05-20 Use Functorial more often.dos-reis14-87/+65
2013-05-20Add Functorial categorydos-reis4-18/+44
2013-05-20Fix up thinkosdos-reis2-3/+2
2013-05-20Tidy KeyedDictionarydos-reis1-2/+3
2013-05-19Eradicate attribute shallowlyMutable.dos-reis4-16/+11
2013-05-19Use ShallowlyMutableAggregate.dos-reis3-17/+13
2013-05-19 * algebra/matfuns.spad.pamphlet: Use ShallowlyMutableAggregate.dos-reis1-5/+5
2013-05-19 * algebra/matcat.spad.pamphlet: Use ShallowlyMutableAggregate.dos-reis1-2/+2
2013-05-19 * algebra/aggcat2.spad.pamphlet: Use ShallowlyMutableAggregate.dos-reis1-2/+2
2013-05-19 * algebra/newdata.spad.pamphlet (SplittingTree): Includedos-reis4-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-reis2-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-reis2-18/+19
(UnaryRecursiveAggregate): Make definiton conditional. * algebra/stream.spad.pamphlet (LazyStreamAggregate): Likewise.
2013-05-19 * algebra/cycles.spad.pamphlet (CycleIndicators) [nniBump]: Newdos-reis1-2/+7
local function. [SFunction]: Use it.
2013-05-19 * algebra/cycles.spad.pamphlet (CycleIndicators)dos-reis1-2/+2
[complete,alternating]: Change input type to NonNegativeInteger.
2013-05-18 * algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attributedos-reis1-3/+1
finiteAggregate.
2013-05-18Tidy Collectiondos-reis1-1/+1