open-axiom/src/algebra/poly.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2016-01-30T12:23:04Z
FreeModule: Tidy implementation.
2016-01-30T12:23:04Z
Gabriel Dos Reis
gdr@axiomatics.org
2016-01-30T12:23:04Z
urn:sha1:18f925c1f6474349c4f808244c29cdf65fc0a70e
Remove superflous declarations.
2016-01-30T11:21:14Z
Gabriel Dos Reis
gdr@axiomatics.org
2016-01-30T11:21:14Z
urn:sha1:dac46336dff97cc6c3b12bcbb781c1cf18135a6d
subtractIfCan$CancellationAbelianMonoid: return the more principled Maybe %
2016-01-18T06:53:01Z
Gabriel Dos Reis
gdr@axiomatics.org
2016-01-18T06:53:01Z
urn:sha1:d07fc9735f40e545edda456e15dbab783c500f6a
* algebra/indexedp.spad.pamphlet: Avoid direct use or RPLACD.
2011-11-26T20:11:59Z
dos-reis
gdr@axiomatics.org
2011-11-26T20:11:59Z
urn:sha1:b91436e16c46bb3c8b0fa22d4f81eb8743f6cbd7
* algebra/poly.spad.pamphlet: Likewise.
* interp/define.boot (spadCompileOrSetq): Tidy replacement info.
* interp/i-output.boot ($BinaryOperators): New.
(binaryInfix?): Tidy.
* src/algebra/: Systematically use not zero? when comparing for
2011-03-13T03:43:50Z
dos-reis
gdr@axiomatics.org
2011-03-13T03:43:50Z
urn:sha1:11eebf207528f86dfa4556be3b2cc7cba57244a6
equality with 0.
* src/algebra/: Systematically use not one? when comparing for
2011-03-12T22:56:37Z
dos-reis
gdr@axiomatics.org
2011-03-12T22:56:37Z
urn:sha1:6c75a87d8ee00d48a0f5703aa9c86591078a50d3
equality with 1.
* src/algebra/: Systematically use negative? when comparing for
2011-03-12T19:17:32Z
dos-reis
gdr@axiomatics.org
2011-03-12T19:17:32Z
urn:sha1:c93e84048964194e5674e859d6bd8827010f09f6
greater than 0.
* algebra/catdef.spad.pamphlet (CharacteristicNonZero)
2011-03-10T18:14:47Z
dos-reis
gdr@axiomatics.org
2011-03-10T18:14:47Z
urn:sha1:3018eca8731c1ebfc07487d6ba305c82090b4dca
[charthRoot]: Now return Maybe %.
(PolynomialFactorizationExplicit) [charthRoot]: Likewise.
* algebra/ffcat.spad.pamphlet (FiniteAlgebraicExtensionField):
Propagate change.
* algebra/fraction.spad.pamphlet (Fraction) [charthRoot]: Likewise.
* algebra/poly.spad.pamphlet (UnivariatePolynomialSquareFree):
Likewise.
* algebra/polycat.spad.pamphlet (PolynomialCategory): Likewise.
More cleanups
2010-06-30T02:10:11Z
dos-reis
gdr@axiomatics.org
2010-06-30T02:10:11Z
urn:sha1:4b6d9e4b6f9438b4268ed1230b23d1d83ad8aff3
* interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.
2009-10-15T06:42:17Z
dos-reis
gdr@axiomatics.org
2009-10-15T06:42:17Z
urn:sha1:ba8c0daf0ca45c08bd5025f9dd67892132a16110