diff options
author | dos-reis <gdr@axiomatics.org> | 2010-07-28 10:41:18 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-07-28 10:41:18 +0000 |
commit | 16979e1df537412a0baba5c95c7d0036bf0ddf9b (patch) | |
tree | 2540a198dc03ba3d529a9a293fd5015d574216ec /src/algebra/si.spad.pamphlet | |
parent | ba91d65da984ba19dff664422ca48b2a179ea4b9 (diff) | |
download | open-axiom-16979e1df537412a0baba5c95c7d0036bf0ddf9b.tar.gz |
* interp/sys-globals.boot ($VariableCount): Remove.
* interp/spad.lisp (QUOTIENT2): Remove.
(REMAINDER2): Likewise.
* algebra/integer.spad.pamphlet (Integer): Use builtin %idivide.
* algebra/si.spad.pamphlet (SingleInteger): Likewise.
Diffstat (limited to 'src/algebra/si.spad.pamphlet')
-rw-r--r-- | src/algebra/si.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/si.spad.pamphlet b/src/algebra/si.spad.pamphlet index 6a7ef5a3..51bd9748 100644 --- a/src/algebra/si.spad.pamphlet +++ b/src/algebra/si.spad.pamphlet @@ -316,7 +316,7 @@ SingleInteger(): Join(IntegerNumberSystem,OrderedFinite,BooleanLogic,Logic,OpenM (%ipow(x, n)$Foreign(Builtin) pretend Integer)::% x quo y == %iquo(x,y) x rem y == %irem(x,y) - divide(x, y) == CONS(QSQUOTIENT(x,y)$Lisp,QSREMAINDER(x,y)$Lisp)$Lisp + divide(x, y) == %idivide(x,y)$Foreign(Builtin) gcd(x,y) == %igcd(x,y) abs(x) == %iabs x odd?(x) == %iodd? x |