open-axiom/src/algebra/si.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2015-12-30T10:56:09Z
Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, central, noetherian, NullSquare, JacobiIdentity.
2015-12-30T10:56:09Z
Gabriel Dos Reis
gdr@axiomatics.org
2015-12-30T10:56:09Z
urn:sha1:9213251560073e45e73ae94c46bc382a625a57bb
* algebra/integer.spad.pamphlet (Integer): Use %iaddmod, %isubmod,
2012-05-01T02:27:52Z
dos-reis
gdr@axiomatics.org
2012-05-01T02:27:52Z
urn:sha1:e37c877a8ad003972fc6c0206dc6220e266f0a8b
%imulmod.
* algebra/si.spad.pamphlet (SingleInteger): Likewise.
* interp/c-util.boot (devaluate): Use # in lieu of QVSIZE.
* interp/g-opt.boot: %ilfshift and %irshift are now builtin
side-effect free operations.
* interp/lisp-backend.boot: Translate them.
* interp/g-util.boot (mergeSort): Avoid QSDIFFERENCE.
* interp/slam.boot: Likewise.
* interp/sys-macros.lisp: Likewise.
* interp/macros.lisp: Avoid QVMAXINDEX.
* interp/vmlisp.lisp (QSDIFFERENCE): Remove.
(QSGREATERP): Likewise.
(QSLEFTSHIFT): Likewise.
(QSLESSP): Likewise.
(QSMAX): Likewise.
(QSMIN): Likewise.
(QSMINUS): Likewise.
(QSMINUSP): Likewise.
(QSODDP): Likewise.
(QSABSVAL): Likewise.
(QSPLUS): Likewise.
(QSZEROP): Likewise.
(QVMAXINDEX): Likewise.
(QVSIZE): Likewise.
(ZERO?): Likewise.
* algebra/si.spad.pamphlet (SingleInteger): Use %iaddmod,
2012-04-30T12:57:58Z
dos-reis
gdr@axiomatics.org
2012-04-30T12:57:58Z
urn:sha1:52d8ccbf25a71457f923860824696742328bdb35
%isubmod, and %imulmod.
* interp/g-opt.boot: These are now builtin side-effect operators.
(optIaddmod): New optimizer. Register.
(optIsubmod): Likewise.
(optImulmod): Likewise.
* interp/sys-macros.lisp (QSADDMOD): Remove.
(QSDIFMOD): Likewise.
(QSMULMOD): Likewise.
* algebra/boolean.spad.pamphlet (IndexedBits) [Not, Or, And]: Remove.
2011-11-10T10:32:38Z
dos-reis
gdr@axiomatics.org
2011-11-10T10:32:38Z
urn:sha1:ecd77af5ce74ac002bd6550bed79eae5a3704c35
Implement ~. \/, and /\ instead.
* algebra/si.spad.pamphlet (SingleInteger): Likewise.
* algebra/pattern.spad.pamphlet (Pattern): Adjust.
* algebra/string.spad.pamphlet (CharacterClass): Likewise.
* interp/setvart.boot: Remoe OpenMath description.
2011-08-10T02:33:46Z
dos-reis
gdr@axiomatics.org
2011-08-10T02:33:46Z
urn:sha1:0a0661e0c50e9c3e160d54b8e0a5b891d419e2bc
* interp/setvars.boot (setOutputOpenMath): Remove.
(describeOutputOpenMath): Likewise.
* algebra/Makefile.in (axiom_algebra_layer_14): Don't include OMSERVER.
* algebra/float.spad.pamphlet (Float): Remove OpenMath exports.
* algebra/fraction.spad.pamphlet (Fraction): Likewise.
* 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.
* src/algebra/: Systematically use negative? when comparing for
2011-03-12T20:44:33Z
dos-reis
gdr@axiomatics.org
2011-03-12T20:44:33Z
urn:sha1:a2e3e641bdbcb6e77bbb572aea25a748a967abca
equality with 0.
* src/algebra/: Systematically use negative? when comparing for
2011-03-12T19:17:32Z
dos-reis
gdr@axiomatics.org
2011-03-12T19:17:32Z
urn:sha1:c93e84048964194e5674e859d6bd8827010f09f6
greater than 0.
* 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/si.spad.pamphlet (IntegerNumberSystem) [positive?]:
2011-03-12T06:16:57Z
dos-reis
gdr@axiomatics.org
2011-03-12T06:16:57Z
urn:sha1:42d38bee45a64edfc12641053e58581c20584363
Remove definition.
(SingleInteger): Simplify implementation of random.
* algebra/sf.spad.pamphlet (DoubleFloat): Likewise.
[positive?]: Define.
* algebra/integer.spad.pamphlet (Integer): Tidy.
* algebra/catdef.spad.pamphlet (StepThrough) [nextItem]: Now
2011-03-09T23:54:10Z
dos-reis
gdr@axiomatics.org
2011-03-09T23:54:10Z
urn:sha1:8c47810df65c610513d4be825bd6ee9a56f97f9f
return Maybe %.
* algebra/ffcat.spad.pamphlet: Propagate change.
* algebra/fmod.spad.pamphlet: Likewise.
* algebra/fraction.spad.pamphlet: Likewise.
* algebra/integer.spad.pamphlet: Likewise.
* algebra/pfbr.spad.pamphlet: Likewise.
* algebra/polycat.spad.pamphlet: Likewise.
* algebra/si.spad.pamphlet: Likewise.