diff options
author | dos-reis <gdr@axiomatics.org> | 2010-07-28 08:21:13 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-07-28 08:21:13 +0000 |
commit | ba91d65da984ba19dff664422ca48b2a179ea4b9 (patch) | |
tree | f3b17799c39c335e74f5b497bf4f6a5dd814b0b2 /src/algebra/integer.spad.pamphlet | |
parent | 0b252ef7247d7c46b66c8996d52e80cff75e7062 (diff) | |
download | open-axiom-ba91d65da984ba19dff664422ca48b2a179ea4b9.tar.gz |
* algebra/integer.spad.pamphlet (Integer): Use builtin functions
%irem and %iquo.
* algebra/si.spad.pamphlet (SingleInteger): Likewise.
Diffstat (limited to 'src/algebra/integer.spad.pamphlet')
-rw-r--r-- | src/algebra/integer.spad.pamphlet | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet index 9685c43d..1b67fd0e 100644 --- a/src/algebra/integer.spad.pamphlet +++ b/src/algebra/integer.spad.pamphlet @@ -91,6 +91,8 @@ Integer: Join(IntegerNumberSystem, ConvertibleTo String, OpenMath) with import %iadd: (%,%) -> % from Foreign Builtin import %isub: (%,%) -> % from Foreign Builtin import %imul: (%,%) -> % from Foreign Builtin + import %irem: (%,%) -> % from Foreign Builtin + import %iquo: (%,%) -> % from Foreign Builtin import %imax: (%,%) -> % from Foreign Builtin import %imin: (%,%) -> % from Foreign Builtin import %igcd: (%,%) -> % from Foreign Builtin @@ -210,8 +212,8 @@ Integer: Join(IntegerNumberSystem, ConvertibleTo String, OpenMath) with max(x,y) == %imax(x,y) min(x,y) == %imin(x,y) divide(x,y) == DIVIDE2(x,y)$Lisp - x quo y == QUOTIENT2(x,y)$Lisp - x rem y == REMAINDER2(x,y)$Lisp + x quo y == %iquo(x,y) + x rem y == %irem(x,y) shift(x, y) == ASH(x,y)$Lisp recip(x) == if one? x or x=-1 then x else "failed" gcd(x,y) == %igcd(x,y) |