open-axiom/src/algebra/kl.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2011-03-22T05:43:32Z
* 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.
* 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.
* algebra/kl.spad.pamphlet (Kernel): Don't clear the on
2010-06-12T18:55:24Z
dos-reis
gdr@axiomatics.org
2010-06-12T18:55:24Z
urn:sha1:6995ae4d21c628765fecebcf96c20528eaa5da73
instanstiation, for that may erase other precious information in
the running seesion when Kernel is implicitly re-instantiated by
the interpreter.
* algebra/boolean.spad.pamphlet (PropositionalFormula):
2010-02-21T00:48:28Z
dos-reis
gdr@axiomatics.org
2010-02-21T00:48:28Z
urn:sha1:3ca41ddb56efd927b46da41d9ce369c31538e3b3
Reimplement in terms of kernels.
* algebra/Makefile.pamphlet ($(OUT)/KERNEL.$(FASLEXT)): New
dependence rule.
($(OUT)PROPFRML.$(FASLEXT)): Likewise.
(axiom_algebra_layer_19): Move PROPFRML to...
(axiom_algebra_layer_6): ...here.
* algebra/aggcat.spad.pamphlet: Remove unnecessary call to void.
2010-02-17T10:22:47Z
dos-reis
gdr@axiomatics.org
2010-02-17T10:22:47Z
urn:sha1:6506b2a44b3a06a1885ae394215c512898ffeef4
* algebra/algext.spad.pamphlet: Likewise.
* algebra/catdef.spad.pamphlet: Likewise.
* algebra/curve.spad.pamphlet: Likewise.
* algebra/d01agents.spad.pamphlet: Likewise.
* algebra/d02agents.spad.pamphlet: Likewise.
* algebra/ffcg.spad.pamphlet: Likewise.
* algebra/ffhom.spad.pamphlet: Likewise.
* algebra/ffnb.spad.pamphlet: Likewise.
* algebra/ffp.spad.pamphlet: Likewise.
* algebra/formula.spad.pamphlet: Likewise.
* algebra/fortmac.spad.pamphlet: Likewise.
* algebra/fortpak.spad.pamphlet: Likewise.
* algebra/fortran.spad.pamphlet: Likewise.
* algebra/forttyp.spad.pamphlet: Likewise.
* algebra/generic.spad.pamphlet: Likewise.
* algebra/kl.spad.pamphlet: Likewise.
* algebra/mathml.spad.pamphlet: Likewise.
* algebra/newdata.spad.pamphlet: Likewise.
* algebra/out.spad.pamphlet: Likewise.
* algebra/permgrps.spad.pamphlet: Likewise.
* algebra/pfo.spad.pamphlet: Likewise.
* algebra/regset.spad.pamphlet: Likewise.
* algebra/routines.spad.pamphlet: Likewise.
* algebra/setorder.spad.pamphlet: Likewise.
* algebra/sups.spad.pamphlet: Likewise.
* algebra/symbol.spad.pamphlet: Likewise.
* algebra/tex.spad.pamphlet: Likewise.
* interp/compiler.boot (compAtomWithModemap): Reject niladic
2010-02-17T00:21:53Z
dos-reis
gdr@axiomatics.org
2010-02-17T00:21:53Z
urn:sha1:e5fb9d979a16047d62bbe954ee08577088cdb497
functions used as constants.
* algebra/aggcat.spad.pamphlet (IndexedAggregate): Add parenthesis
for call to niladic function 'void'.
* algebra/algext.spad.pamphlet (SimpleAlgebraicExtension): Likewise.
* algebra/curve.spad.pamphlet (RadicalFunctionField): Likewise.
(AlgebraicFunctionField): Likewise.
* algebra/permgrps.spad.pamphlet (PermutationGroup): Likewise.
* algebra/pfo.spad.pamphlet (FunctionSpaceReduce): Likewise.
* algebra/setorder.spad.pamphlet: Likewise.
* algebra/ffcat.spad.pamphlet (FiniteFieldCategory): Add
parenthesis for call to niladic function 'representationType'.
* algebra/ffnb.spad.pamphlet
(FiniteFieldNormalBasisExtensionByPolynomial): Likewise for
normalElement.
* algebra/float.spad.pamphlet (Float): Likewise for OMencodingXML,
pi, log2, log10, digits.
* algebra/fnla.spad.pamphlet (FreeNilpotentLie): Likewise for
dimension.
* algebra/fraction.spad.pamphlet (Fraction): Likewise for
OMencodingXML.
* algebra/gaussian.spad.pamphlet (Complex): Likewise.
* algebra/integer.spad.pamphlet (Integer): Likewise.
* algebra/list.spad.pamphlet (List): Likewise.
* algebra/sf.spad.pamphlet (DoubleFloat): Likewise.
* algebra/si.spad.pamphlet (SingleInteger): Likewise.
* algebra/string.spad.pamphlet (String): Likewise.
* algebra/symbol.spad.pamphlet (Symbol): Likewise.
* algebra/intrf.spad.pamphlet (TranscendentalIntegration):
Likewise for empty.
* algebra/kl.spad.pamphlet (SortedCache): Likewise for cache, void.
* algebra/newdata.spad.pamphlet (TabulatedComputationPackage):
Likewise for usingTable?.
* algebra/omserver.spad.pamphlet (OpenMathServerPackage): Likewise
for OMencodingUnknown.
* algebra/plot.spad.pamphlet (Plot): Likewise for adaptive?.
* algebra/plot3d.spad.pamphlet (Plot3D): Likewise for adaptive3D?.
* 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/kl.spad.pamphlet (Kernel): Tidy.
2009-06-08T03:38:26Z
dos-reis
gdr@axiomatics.org
2009-06-08T03:38:26Z
urn:sha1:5eacf6339b7768a4c6d048d5fce6c5aff8c2d62a
* algebra/kl.spad.pamphlet (name$Kernel): Remove.
2009-06-07T16:23:51Z
dos-reis
gdr@axiomatics.org
2009-06-07T16:23:51Z
urn:sha1:f8913372cea43183d427cbe3d00c4967a840329b
* algebra/d01weights.spad.pamphlet: Adjust.
* algebra/fs2expxp.spad.pamphlet: Likewise.
* algebra/fs2ups.spad.pamphlet: Likewise.
* algebra/fspace.spad.pamphlet: Likewise.
* algebra/limitps.spad.pamphlet: Likewise.
* algebra/transsolve.spad.pamphlet: Likewise.
* 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.