open-axiom/src/share/algebra, branch master open scientific computation system https://git.pashev.ru/open-axiom/atom?h=master 2016-01-22T04:41:53Z getConstructorAncestorsFromDB: get them from generated code 2016-01-22T04:41:53Z Gabriel Dos Reis gdr@axiomatics.org 2016-01-22T04:41:53Z urn:sha1:28501b2d6ae273f3be80b087f4e508ffcff3c182 Ancestors for category constructors are stored in databases with parameter names of the form #1, #2, etc. called "formals", instead of the user-writtern parameters in the input souce code. However, the ancestors as previously stored in generated code used the input source-level parameter names. Changed to formals, so no rewrite needed before making databases. 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 Simplify database construction. 2013-06-24T16:39:32Z dos-reis gdr@axiomatics.org 2013-06-24T16:39:32Z urn:sha1:36db462d3a02e5df058861589b60d1f9c808e7c3 * interp/sys-constants.boot ($BuiltinAttributes): Remove 2013-06-24T14:36:32Z dos-reis gdr@axiomatics.org 2013-06-24T14:36:32Z urn:sha1:0af724597cff0d9235a37223e46e6f9ffb804e0b finiteAggregate and shallowlyMutable. * interp/daase.lisp (WRITE-COMPRESS): Do not push strings. * 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. * algebra/aggcat.spad.pamphlet (EltableAggregate): Weaken 2013-06-17T15:07:17Z dos-reis gdr@axiomatics.org 2013-06-17T15:07:17Z urn:sha1:7db3376a614a5aeacc114c38002ea65e57046dc5 requirement on first parameter. (IndexedAggregate): Likewise. 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 * algebra/cycles.spad.pamphlet (alternating): Accept non-negative input 2013-05-25T21:21:33Z dos-reis gdr@axiomatics.org 2013-05-25T21:21:33Z urn:sha1:2f29c4b8dd326e773597dee1606d297711bcba57 * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): Extend 2013-05-22T00:52:15Z dos-reis gdr@axiomatics.org 2013-05-22T00:52:15Z urn:sha1:8ff37e0a47d82acde264075f21e2260a6c1a8b79 Aggregate only. Adjust users. (BagAggregate): Explicitly extend HomogeneousAggregate. (AssociationListAggregate): Extend ShallowlyMutableAggregate. * algebra/aggcat.spad.pamphlet (Collection) [find]: Move to 2013-05-20T14:47:59Z dos-reis gdr@axiomatics.org 2013-05-20T14:47:59Z urn:sha1:63f62dc654697c60cfcf98d9fba5c7e1616061b0 FiniteAggregate.