aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/si.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-01-31 14:14:08 +0000
committerdos-reis <gdr@axiomatics.org>2011-01-31 14:14:08 +0000
commit308c8ede509d3d186d6d43402b5335867ebdb49e (patch)
treeb2e5516092366985a775f609bb3033b7eede626f /src/algebra/si.spad.pamphlet
parent03c09deff90cb2eb7a85730f7e74bce2df268b47 (diff)
downloadopen-axiom-308c8ede509d3d186d6d43402b5335867ebdb49e.tar.gz
* interp/g-opt.boot ($VMsideEffectFreeOperators): Remove QCDR,
QCAR. SYMBOLP, GREATERP. Add %ibit, %ilength, %ident, %equal. * interp/g-util.boot: Expand them * algebra/any.spad.pamphlet: Tidy. * algebra/catdef.spad.pamphlet: Likewise. * algebra/data.spad.pamphlet: Likewise. * algebra/domain.spad.pamphlet: Likewise. * algebra/float.spad.pamphlet: Likewise. * algebra/fname.spad.pamphlet: Likewise. * algebra/integer.spad.pamphlet: Likewise. * algebra/list.spad.pamphlet: Likewise. * algebra/outform.spad.pamphlet: Likewise. * algebra/random.spad.pamphlet: Likewise. * algebra/sex.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet: Likewise. * algebra/symbol.spad.pamphlet: Likewise. * algebra/syntax.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/si.spad.pamphlet')
-rw-r--r--src/algebra/si.spad.pamphlet11
1 files changed, 6 insertions, 5 deletions
diff --git a/src/algebra/si.spad.pamphlet b/src/algebra/si.spad.pamphlet
index 9c248a18..c8226492 100644
--- a/src/algebra/si.spad.pamphlet
+++ b/src/algebra/si.spad.pamphlet
@@ -181,9 +181,9 @@ IntegerNumberSystem(): Category ==
-- Lisp dependencies
--- ABSVAL, TIMES, INTEGER-LENGTH,
+-- ABSVAL, TIMES,
-- QSLESSP, QSGREATERP, QSMINUS, QSPLUS, QSDIFFERENCE
--- QSTIMES,, QSODDP, QSZEROP, QSMAX, QSMIN, QSNOT, QSAND
+-- QSTIMES,, QSODDP, QSNOT, QSAND
-- QSOR, QSXOR, QSLEFTSHIFT, QSADDMOD, QSDIFMOD, QSMULTMOD
@@ -225,6 +225,7 @@ SingleInteger(): Join(IntegerNumberSystem,OrderedFinite,BooleanLogic,Logic,OpenM
import %imin: (%,%) -> % from Foreign Builtin
import %igcd: (%,%) -> % from Foreign Builtin
import %hash: % -> SingleInteger from Foreign Builtin
+ import %ilength: % -> % from Foreign Builtin
import %iodd?: % -> Boolean from Foreign Builtin
import %ieq: (%,%) -> Boolean from Foreign Builtin
import %ilt: (%,%) -> Boolean from Foreign Builtin
@@ -322,12 +323,12 @@ SingleInteger(): Join(IntegerNumberSystem,OrderedFinite,BooleanLogic,Logic,OpenM
gcd(x,y) == %igcd(x,y)
abs(x) == %iabs x
odd?(x) == %iodd? x
- zero?(x) == QSZEROP(x)$Lisp
- one?(x) == x = 1@%
+ zero?(x) == %ieq(x,%icst0)
+ one?(x) == %ieq(x,%icst1)
max(x,y) == %imax(x,y)
min(x,y) == %imin(x,y)
hash(x) == %hash x
- length(x) == INTEGER_-LENGTH(x)$Lisp
+ length(x) == %ilength x
shift(x,n) == QSLEFTSHIFT(x,n)$Lisp
mulmod(a,b,p) == QSMULTMOD(a,b,p)$Lisp
addmod(a,b,p) == QSADDMOD(a,b,p)$Lisp