aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/indexedp.spad.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2016-02-06Rewrite capsule of IndexedDirectProductOrderedAbelianMonoidSupGabriel Dos Reis1-20/+18
Rewrite `subtractIfCan` and `sup` in terms of the mathematical operations and exported operations. This makes the correctness of the algorithms stand out.
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
Define Rep, do not use base-domain form.
2013-05-20 Use Functorial more often.dos-reis1-5/+2
2013-05-11 * algebra/indexedp.spad.pamphletdos-reis1-0/+11
(IndexedDirectProductAbelianMonoid) [opposite?]: Implement.
2013-05-10 * algebra/indexedp.spad.pamphletdos-reis1-11/+14
(IndexedDirectProductOrderedAbelianMonoid) [<]: Rewrite iteratively.
2013-05-09 * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject)dos-reis1-1/+38
[combineWithIf]: New.
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
* algebra/poly.spad.pamphlet: Likewise. * interp/define.boot (spadCompileOrSetq): Tidy replacement info. * interp/i-output.boot ($BinaryOperators): New. (binaryInfix?): Tidy.
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
[indexedDirectProductObject]: New. (IndexedDirectProductAbelianMonoid): Rework implementation. [construct]: Likewise.
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory)dos-reis1-5/+7
[terms]: Rename from support.
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory):dos-reis1-36/+45
Rework implementation.
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory)dos-reis1-2/+11
[support]: New. (IndexedDirectProductObject): Implement.
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
matter our of void. * algebra/indexedp.spad.pamphlet (IndexedDirectProductAbelianMonoid): Tidy. (IndexedDirectProductAbelianGroup): Likewise. * src/algebra/poly.spad.pamphlet (PolynomialRing): Fix thinko.
2008-08-31 * algebra/boolean.spad.pamphlet (Boolean): Remove definition ofdos-reis1-1/+1
operator ^. * algebra/aggcat.spad.pamphlet (BitAggregate): Likewise. * algebra/color.spad.pamphlet: Replace use of '^' as logical negation by 'not'. * algebra/ddfact.spad.pamphlet: Likewise. * algebra/fortran.spad.pamphlet: Likewise. * algebra/gaussfac.spad.pamphlet: Likewise. * algebra/gbeuclid.spad.pamphlet: Likewise. * algebra/gbintern.spad.pamphlet: Likewise. * algebra/ghensel.spad.pamphlet: Likewise. * algebra/groebsol.spad.pamphlet: Likewise. * algebra/ideal.spad.pamphlet: Likewise. * algebra/idecomp.spad.pamphlet: Likewise. * algebra/indexedp.spad.pamphlet: Likewise. * algebra/listgcd.spad.pamphlet: Likewise. * algebra/mfinfact.spad.pamphlet: Likewise. * algebra/modgcd.spad.pamphlet: Likewise. * algebra/multfact.spad.pamphlet: Likewise. * algebra/multsqfr.spad.pamphlet: Likewise. * algebra/newpoint.spad.pamphlet: Likewise. * algebra/npcoef.spad.pamphlet: Likewise. * algebra/permgrps.spad.pamphlet: Likewise. * algebra/pgcd.spad.pamphlet: Likewise. * algebra/pleqn.spad.pamphlet: Likewise. * algebra/qalgset.spad.pamphlet: Likewise. * algebra/radeigen.spad.pamphlet: Likewise. * algebra/rep2.spad.pamphlet: Likewise. * algebra/solverad.spad.pamphlet: Likewise. * algebra/space.spad.pamphlet: Likewise. * algebra/view2D.spad.pamphlet: Likewise. * algebra/strap/: Update cached Lisp translateion * share/algebra/: Update databases.
2008-04-03Replace `^=' with `~='.dos-reis1-5/+5
2007-08-14Initial population.dos-reis1-0/+350