aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/indexedp.spad.pamphlet
AgeCommit message (Expand)AuthorFilesLines
2016-02-06Rewrite capsule of IndexedDirectProductOrderedAbelianMonoidSupGabriel Dos Reis1-20/+18
2016-02-04Add leadingTerm to IndexedDirectProductCategoryGabriel Dos Reis1-8/+7
2016-02-03Clean up IndexedDirectProductAbelianMonoidGabriel Dos Reis1-9/+2
2016-01-17subtractIfCan$CancellationAbelianMonoid: return the more principled Maybe %Gabriel Dos Reis1-10/+10
2013-05-25 * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject):dos-reis1-1/+3
2013-05-20 Use Functorial more often.dos-reis1-5/+2
2013-05-11 * algebra/indexedp.spad.pamphletdos-reis1-0/+11
2013-05-10 * algebra/indexedp.spad.pamphletdos-reis1-11/+14
2013-05-09 * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject)dos-reis1-1/+38
2013-05-07Tidy indexed direct product domainsdos-reis1-72/+42
2013-05-07 * algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain.dos-reis1-1/+29
2011-11-26 * algebra/indexedp.spad.pamphlet: Avoid direct use or RPLACD.dos-reis1-2/+8
2010-06-30More cleanupsdos-reis1-17/+17
2010-06-29Various cleanupsdos-reis1-69/+52
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject)dos-reis1-60/+81
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory)dos-reis1-5/+7
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory):dos-reis1-36/+45
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory)dos-reis1-2/+11
2009-10-15 * interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.dos-reis1-1/+1
2009-07-06 * interp/compiler.boot (coerceEasy): Don't pretend we can makedos-reis1-4/+6
2008-08-31 * algebra/boolean.spad.pamphlet (Boolean): Remove definition ofdos-reis1-1/+1
2008-04-03Replace `^=' with `~='.dos-reis1-5/+5
2007-08-14Initial population.dos-reis1-0/+350
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-15 12:34:31 +0000