open-axiom/src/algebra/op.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2011-10-12T16:22:50Z
* algebra/boolean.spad.pamphlet (Reference) [elt]: Remove.
2011-10-12T16:22:50Z
dos-reis
gdr@axiomatics.org
2011-10-12T16:22:50Z
urn:sha1:a5396a491b1b308b622db3e12da734e6fb1fdb53
[setelt]: Likewise.
* algebra/lodof.spad.pamphlet: Adjust use.
* algebra/float.spad.pamphlet: Likewise.
* algebra/divisor.spad.pamphlet: Likewise.
* algebra/curve.spad.pamphlet: Likewise.
* algebra/card.spad.pamphlet: Likewise.
* algebra/algext.spad.pamphlet: Likewise.
* algebra/op.spad.pamphlet: Likewise.
* algebra/suls.spad.pamphlet: Likewise.
* algebra/sups.spad.pamphlet: Likewise.
* algebra/supxs.spad.pamphlet: Likewise.
* algebra/suts.spad.pamphlet: Likewise.
* algebra/symbol.spad.pamphlet: Likewise.
* algebra/view3D.spad.pamphlet: Likewise.
* algebra/viewDef.spad.pamphlet: Likewise.
* algebra/op.spad.pamphlet (BasicOperator): Use string$String
2011-09-09T01:26:45Z
dos-reis
gdr@axiomatics.org
2011-09-09T01:26:45Z
urn:sha1:9e79f3fa920f7be823cc349ffb6252bce86c6167
instead of coercion from Identifier to String.
* algebra/op.spad.pamphlet (BasicOperator) [display]: Now return a
2011-03-22T05:43:32Z
dos-reis
gdr@axiomatics.org
2011-03-22T05:43:32Z
urn:sha1:41a15b30f26b7a2ca2077f7996a3cf552bf5630a
Maybe (List O -> O) value.
[input]: Now return a Maybe(List SEX -> SEX).
* algebra/kl.spad.pamphlet (Kernel): Adjust.
* algebra/pattern.spad.pamphlet (Pattern): Likewise.
* interp/c-util.boot (isSimple): Accept constructor instantiations.
2011-02-24T04:40:09Z
dos-reis
gdr@axiomatics.org
2011-02-24T04:40:09Z
urn:sha1:f2d31d8bc90b46e0c3373d2980cfa6f730148d1e
* algebra/formula.spad.pamphlet: Avoid Lispisms.
* algebra/mathml.spad.pamphlet: Likewise.
* algebra/op.spad.pamphlet: Likewise.
* algebra/sex.spad.pamphlet: Likewise.
small cleanup
2010-07-13T07:49:23Z
dos-reis
gdr@axiomatics.org
2010-07-13T07:49:23Z
urn:sha1:667ec69af3090bccd576e23e56a229168f8733b7
* interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.
2009-10-15T06:42:17Z
dos-reis
gdr@axiomatics.org
2009-10-15T06:42:17Z
urn:sha1:ba8c0daf0ca45c08bd5025f9dd67892132a16110
* algebra/: Don't quote '!' at end of names.
2009-06-11T23:00:40Z
dos-reis
gdr@axiomatics.org
2009-06-11T23:00:40Z
urn:sha1:9e07dcd91c45bf8b22d932321f5c97e931ffe8ac
* 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/kl.spad.pamphlet (KernelFunctions2): Remove OrderedSet
2009-05-25T18:04:22Z
dos-reis
gdr@axiomatics.org
2009-05-25T18:04:22Z
urn:sha1:e9cb4189b0833dd88163889d9b68a00b2e15f26c
requirements.
* algebra/op.spad.pamphlet (BasicOperatorFunctions1): Likewise.
* algebra/op.spad.pamphlet: Use symbol literals for property names.
2009-05-17T20:12:13Z
dos-reis
gdr@axiomatics.org
2009-05-17T20:12:13Z
urn:sha1:7f0313f8c6cce367c51cf5bb6bc8c073a466191b