open-axiom/src/algebra/term.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2011-03-12T17:04:43Z
* src/algebra/: Systematically use negative? when comparing for
2011-03-12T17:04:43Z
dos-reis
gdr@axiomatics.org
2011-03-12T17:04:43Z
urn:sha1:52fddea19454dc2b9bcb54c6edd5a4cd4f5765a9
less than 0.
* interp/compiler.boot (isSubset): Expand domain representation form.
2010-05-02T14:56:25Z
dos-reis
gdr@axiomatics.org
2010-05-02T14:56:25Z
urn:sha1:86deb7d7804d04ee01aa0d8b3a27d8293c0a839f
* algebra/term.spad.pamphlet (retractIfCan$Arity): Tidy.
* algebra/tree.spad.pamphlet (cyclicCopy2$Tree): Remove
unnecessary "return".
* algebra/term.spad.pamphlet (TermAlgebraOperator): New.
2010-04-18T09:21:21Z
dos-reis
gdr@axiomatics.org
2010-04-18T09:21:21Z
urn:sha1:5ccf421537f1ce6bfe8a3baa214707221a5f7d21
* algebra/term.spad.pamphlet (is?$OperatorCategory): New.
2009-05-31T20:49:02Z
dos-reis
gdr@axiomatics.org
2009-05-31T20:49:02Z
urn:sha1:803d7a62fb91bb4083a0aaaaa20749574292e967
* algebra/op.spad.pamphlet (BasicOperator): Don't export is? here.
Inherit it from OperatorCategory Symbol.
* algebra/catdef.spad.pamphlet (LeftLinearSet): New category.
(RightLinearSet): Likewise.
(LinearSet): Likewise.
(AbelianGroup): Extend LeftLinearSet Integer.
(LeftModule): Extend LeftLinearSet R.
(Module): Extend LinearSet R.
(RightModule): Extend RightLinearSet R.
* algebra/exposed.lsp.pamphlet: Expose LeftLinearSet,
RightLinearSet, and LinearSet.
* algebra/Makefile.pamphlet: Tidy.
* algebra/term.spad.pamphlet (zero?$Arity): New.
2009-05-09T22:31:07Z
dos-reis
gdr@axiomatics.org
2009-05-09T22:31:07Z
urn:sha1:2e9dc79676f737f2b905560a8a70d8fbed27b04a
(one?$Arity): Likewise.
* algebra/op.spad.pamphlet (BasicOperator): Now belongs to
OperatorCategory(Symbol).
(operator$BasicOperator): One more overload.
* algebra/expr.spad.pamphlet (operator$Expression): Tidy.
* algebra/fspace.spad.pamphlet (elt$ExpressionSpace): Likewise.
* algebra/kl.spad.pamphlet (kernel$Kernel): Likewise.
r12485@gauss: gdr | 2008-12-17 16:26:21 -0600
2008-12-26T00:48:34Z
dos-reis
gdr@axiomatics.org
2008-12-26T00:48:34Z
urn:sha1:fb209a840dc764bdfa285ad3cb7575df21a43289
Branch to improve reflection.
r12493@gauss: gdr | 2008-12-20 23:29:51 -0600
Add domain representations for constructors.
r12494@gauss: gdr | 2008-12-21 14:27:37 -0600
Consolidate constructor domains.
r12502@gauss: gdr | 2008-12-22 20:36:21 -0600
Constructors are values.
r12504@gauss: gdr | 2008-12-25 13:58:01 -0600
r12505@gauss: gdr | 2008-12-25 18:48:04 -0600
Commit ChangeLog.
* algebra/term.spad.pamphlet: New. Implement Arity and
2008-12-09T16:14:56Z
dos-reis
gdr@axiomatics.org
2008-12-09T16:14:56Z
urn:sha1:8f409fc75c64b9c486ec74419de9785c00629a17
OperatorCategory.
* algebra/Makefile.pamphlet (axiom_algebra_layer_15): Include ARITY.
(axiom_algebra_layer_16): Include OPERCAT.
* share/algebra: Update databases.