Age | Commit message (Collapse) | Author | Files | Lines |
|
Rewrite `subtractIfCan` and `sup` in terms of the mathematical
operations and exported operations. This makes the correctness of the
algorithms stand out.
|
|
|
|
|
|
|
|
Define Rep, do not use base-domain form.
|
|
|
|
(IndexedDirectProductAbelianMonoid) [opposite?]: Implement.
|
|
(IndexedDirectProductOrderedAbelianMonoid) [<]: Rewrite iteratively.
|
|
[combineWithIf]: New.
|
|
|
|
|
|
* algebra/poly.spad.pamphlet: Likewise.
* interp/define.boot (spadCompileOrSetq): Tidy replacement info.
* interp/i-output.boot ($BinaryOperators): New.
(binaryInfix?): Tidy.
|
|
|
|
|
|
[indexedDirectProductObject]: New.
(IndexedDirectProductAbelianMonoid): Rework implementation.
[construct]: Likewise.
|
|
[terms]: Rename from support.
|
|
Rework implementation.
|
|
[support]: New.
(IndexedDirectProductObject): Implement.
|
|
|
|
matter our of void.
* algebra/indexedp.spad.pamphlet
(IndexedDirectProductAbelianMonoid): Tidy.
(IndexedDirectProductAbelianGroup): Likewise.
* src/algebra/poly.spad.pamphlet (PolynomialRing): Fix thinko.
|
|
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.
|
|
|
|
|