open-axiom/src/algebra/polycat.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2016-02-07T16:48:15Z
PolynomialCategoryLifting: Weaken constraint on that parameter
2016-02-07T16:48:15Z
Gabriel Dos Reis
gdr@axiomatics.org
2016-02-07T16:48:15Z
urn:sha1:a7ca7aef072617deed7a33647094adc3071a2012
The extra requirement of SetCategory was not being used, as pointed
out by Ralf Hemmecke.
Remove antiquated syntax for operator declaration.
2016-01-22T16:25:59Z
Gabriel Dos Reis
gdr@axiomatics.org
2016-01-22T16:25:59Z
urn:sha1:7b6b9b1e80d0fe90a9009864f107735d244aa0d7
Use Functorial more often.
2013-05-20T04:55:09Z
dos-reis
gdr@axiomatics.org
2013-05-20T04:55:09Z
urn:sha1:1316b335ecc97eeaaa4c91258b31c789d8f4b0d3
* interp/compiler.boot (compOrCroak1): Drop last argument. Tidy.
2011-10-24T01:08:31Z
dos-reis
gdr@axiomatics.org
2011-10-24T01:08:31Z
urn:sha1:cef0dd1a5a078a0d8d6b635a2c247c81c00b2a12
(mostSpecificTriple): New.
(compAtomWithModemap): Use it to resolve ambiguous constants.
(formatConstantCandidates): New.
(compForm1): Do try to compile constants 0 and 1 with compToApply.
* algebra/polycat.spad.pamphlet (FiniteAbelianMonoidRing)
[binomThmExpt]: Tidy.
(UnivariatePolynomialCategory) [pseudoDivide]: Likewise.
* algebra/float.spad.pamphlet (Float) [log]: Specificy type for
local variable `l'.
* interp/format.boot (formatUnabbreviatedSig): Handle constants.
* algebra/polycat.spad.pamphlet (UnivariatePolynomialCategory)
2011-08-20T06:27:51Z
dos-reis
gdr@axiomatics.org
2011-08-20T06:27:51Z
urn:sha1:c18e433b18430e31ac9b38fef9fc0a48b4ca77da
[divide]: Tidy.
* algebra/Makefile.in (strap-0/%.$(FASLEXT)): Copy generated Lisp
files if keeping intermediate files.
Remove redundant capsule-level declarations
2011-08-14T00:07:49Z
dos-reis
gdr@axiomatics.org
2011-08-14T00:07:49Z
urn:sha1:1734e62de427defcd090a95bc8b3b879c67d3fbf
* 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.
* algebra/catdef.spad.pamphlet (StepThrough) [nextItem]: Now
2011-03-09T23:54:10Z
dos-reis
gdr@axiomatics.org
2011-03-09T23:54:10Z
urn:sha1:8c47810df65c610513d4be825bd6ee9a56f97f9f
return Maybe %.
* algebra/ffcat.spad.pamphlet: Propagate change.
* algebra/fmod.spad.pamphlet: Likewise.
* algebra/fraction.spad.pamphlet: Likewise.
* algebra/integer.spad.pamphlet: Likewise.
* algebra/pfbr.spad.pamphlet: Likewise.
* algebra/polycat.spad.pamphlet: Likewise.
* algebra/si.spad.pamphlet: Likewise.
* algebra/outform.spad.pamphlet: Cleanup.
2010-06-24T08:16:06Z
dos-reis
gdr@axiomatics.org
2010-06-24T08:16:06Z
urn:sha1:2341ec9865ba01ce326f6eb46bddef32cb2a83b8
* algebra/polycat.spad.pamphlet: Likewise.
* algebra/sregset.spad.pamphlet: Likewise.