diff options
author | dos-reis <gdr@axiomatics.org> | 2009-02-08 05:50:08 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-02-08 05:50:08 +0000 |
commit | e2cd076bbdddb3514a36d9de49a96db77951287d (patch) | |
tree | 5920f6052ea21488e77ce317a6f43e857a519b47 /src/algebra/integer.spad.pamphlet | |
parent | 6d93161de89559ad66be655a50d3a5001c208c90 (diff) | |
download | open-axiom-e2cd076bbdddb3514a36d9de49a96db77951287d.tar.gz |
Fix AW/103
* algebra/catdef.spad.pamphlet (exquo$EuclideanDomain): Return 0
if first argument is 0.
* algebra/integer.spad.pamphlet (exquo$Integer): Remove.
* testsuite/interpreter/aw-103.input: New.
Diffstat (limited to 'src/algebra/integer.spad.pamphlet')
-rw-r--r-- | src/algebra/integer.spad.pamphlet | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet index f25af008..ee06f056 100644 --- a/src/algebra/integer.spad.pamphlet +++ b/src/algebra/integer.spad.pamphlet @@ -194,10 +194,6 @@ Integer: Join(IntegerNumberSystem, ConvertibleTo String, OpenMath) with x quo y == QUOTIENT2(x,y)$Lisp x rem y == REMAINDER2(x,y)$Lisp shift(x, y) == ASH(x,y)$Lisp - x exquo y == - zero? y => "failed" - zero?(x rem y) => x quo y - "failed" recip(x) == if one? x or x=-1 then x else "failed" gcd(x,y) == GCD(x,y)$Lisp UCA ==> Record(unit:%,canonical:%,associate:%) |