open-axiom/src/algebra/mkrecord.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2010-06-29T21:31:12Z
* algebra/indexedp.spad.pamphlet (IndexedDirectProductObject)
2010-06-29T21:31:12Z
dos-reis
gdr@axiomatics.org
2010-06-29T21:31:12Z
urn:sha1:3f4d38826d28da40a6509a9afc37b8cbaebd080e
[indexedDirectProductObject]: New.
(IndexedDirectProductAbelianMonoid): Rework implementation.
[construct]: Likewise.
* interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.
2009-10-15T06:42:17Z
dos-reis
gdr@axiomatics.org
2009-10-15T06:42:17Z
urn:sha1:ba8c0daf0ca45c08bd5025f9dd67892132a16110
More explicit import
2008-08-30T04:07:42Z
dos-reis
gdr@axiomatics.org
2008-08-30T04:07:42Z
urn:sha1:e8d97f536bc5aa1e00778e23efd78611cfbe9fe9
Fix SF/1849734
2008-01-17T14:27:29Z
dos-reis
gdr@axiomatics.org
2008-01-17T14:27:29Z
urn:sha1:15dcc4936996a27019112ff58e9202a81d792047
* interp/i-spec1.boot (upand): Don't insist on having operands of
type Boolean.
(upor): Likewise.
* algebra/mkrecord.spad.pamphlet (Pair): New domain constructor.
* algebra/exposed.lsp.pamphlet: Expose Pair, PropositionalLogic,
PropositionalFormula.
* algebra/boolean.spad.pamphlet (PropositionalFormula): New domain
constructor.
* algebra/Makefile.pamphlet (axiom_algebra_layer_4): Include
PAIR.o.
(axiom_algebra_layer_19): Include PROPFRML.o
* share/algebra: Update databases.
* testsuite/interpreter/1849734.input: New.
Initial population.
2007-08-14T05:14:52Z
dos-reis
gdr@axiomatics.org
2007-08-14T05:14:52Z
urn:sha1:ab8cc85adde879fb963c94d15675783f2cf4b183