open-axiom/src/share, branch new-build open scientific computation system https://git.pashev.ru/open-axiom/atom?h=new-build 2022-10-29T13:05:40Z Remove old build system 2022-10-29T13:05:40Z Igor Pashev pashev.igor@gmail.com 2022-10-29T13:05:40Z urn:sha1:088873fbc7f92c3d8d582f29eb44e39a136e944d 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 Fix global variable names in Makefiles 2014-02-03T10:01:34Z dos-reis gdr@axiomatics.org 2014-02-03T10:01:34Z urn:sha1:ac136e818759d62bd8eabad781aabdba9a7f589e 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