open-axiom/src/algebra/catdef.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2016-04-05T15:53:56Z
Add enumerate to domains that have Finite
2016-04-05T15:53:56Z
Bill Page
bill.page@newsynthesis.org
2016-04-05T15:53:56Z
urn:sha1:9be366caa7d9ca6d2c851f93939ad7d569d78aa8
Port change from FriCAS https://github.com/fricas/fricas/commit/dbf6a9b559e6872f5a3baa7e55a1c57130f1c335
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
Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, central, noetherian, NullSquare, JacobiIdentity.
2015-12-30T10:56:09Z
Gabriel Dos Reis
gdr@axiomatics.org
2015-12-30T10:56:09Z
urn:sha1:9213251560073e45e73ae94c46bc382a625a57bb
* algebra/catdef.spad.pamphlet (CommutativeOperatorCategory): New.
2013-06-18T00:47:44Z
dos-reis
gdr@axiomatics.org
2013-06-18T00:47:44Z
urn:sha1:5d68f2651a08223febcc172a6cb49a6e92899034
(CommutativeOperation): Likewise.
* algebra/Makefile.am (oa_algebra_layer_0): Include them.
Weaken conditions on parameter of partial differential domains.
2013-06-17T07:20:46Z
dos-reis
gdr@axiomatics.org
2013-06-17T07:20:46Z
urn:sha1:d69a5741c16f450e981b7d8f4b28c217f388890d
More algebra dependencies.
2013-06-17T02:24:30Z
dos-reis
gdr@axiomatics.org
2013-06-17T02:24:30Z
urn:sha1:48f637f5c023da0b31ae7460cbb8f3b0eebdf197
Add Functorial category
2013-05-20T03:46:15Z
dos-reis
gdr@axiomatics.org
2013-05-20T03:46:15Z
urn:sha1:4c3e77d5efc19d097c7995f7d5f64eee0400ff66
* algebra/catdef.spad.pamphlet (OrderedRing): Extend
2013-05-12T00:19:10Z
dos-reis
gdr@axiomatics.org
2013-05-12T00:19:10Z
urn:sha1:855b1bf7b9e3fb6bab70968782c03edaf02449c6
CharactericZero too.
Fix location of opposite? implementation
2013-05-11T15:08:29Z
dos-reis
gdr@axiomatics.org
2013-05-11T15:08:29Z
urn:sha1:d739b05adf4ab0b012db9334ad2e406e5979fdaa
Add opposite? and annihilate? exports.
2013-05-10T09:21:22Z
dos-reis
gdr@axiomatics.org
2013-05-10T09:21:22Z
urn:sha1:0f2fe8a37ab42191fa2b871e0ce8bd05c701eed7