open-axiom/src/algebra/integer.spad.pamphlet, branch master open scientific computation system https://git.pashev.ru/open-axiom/atom?h=master 2016-01-18T06:53:01Z subtractIfCan$CancellationAbelianMonoid: return the more principled Maybe % 2016-01-18T06:53:01Z Gabriel Dos Reis gdr@axiomatics.org 2016-01-18T06:53:01Z urn:sha1:d07fc9735f40e545edda456e15dbab783c500f6a coerceEasy: Allow expansion of current domain in the target mode. 2016-01-01T02:51:12Z Gabriel Dos Reis gdr@axiomatics.org 2016-01-01T02:51:12Z urn:sha1:4da6a6b5179d818b0f3b50b0e7e271edef7a8489 Don't unconditionally reference primitive types if they are being defined. 2016-01-01T01:41:40Z Gabriel Dos Reis gdr@axiomatics.org 2016-01-01T01:41:40Z urn:sha1:50617665789d393c74ddbb779129fba0edd201f5 Improve 'random()' from Integer domain. 2015-12-31T21:29:37Z Gabriel Dos Reis gdr@axiomatics.org 2015-12-31T21:29:37Z urn:sha1:039d244dbef31e4ca6d34d2cf42b58b41a572884 Misc cleanup of Integer domain implementation. 2015-12-31T07:21:57Z Gabriel Dos Reis gdr@axiomatics.org 2015-12-31T07:21:57Z urn:sha1:3fe5ede20d325254817e50d735e9e09c0c875860 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 Add opposite? and annihilate? exports. 2013-05-10T09:21:22Z dos-reis gdr@axiomatics.org 2013-05-10T09:21:22Z urn:sha1:0f2fe8a37ab42191fa2b871e0ce8bd05c701eed7 * 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. * interp/c-util.boot (inlineDirectCall): Inline a non-side effect 2011-11-28T19:19:44Z dos-reis gdr@axiomatics.org 2011-11-28T19:19:44Z urn:sha1:68e2e8c03b04972293096a507a4923df76772e46 free argument in a unary pure function call if it is used exactly once. * algebra/integer.spad.pamphlet (Integer) [reducedSystem]: Fix typo. * algebra/integer.spad.pamphlet (Integer): Remove attribute infinite. 2011-08-13T17:58:48Z dos-reis gdr@axiomatics.org 2011-08-13T17:58:48Z urn:sha1:e3addef7d02f432fad8fc0886880f59c40000a5a