From e2cd076bbdddb3514a36d9de49a96db77951287d Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 8 Feb 2009 05:50:08 +0000 Subject: 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. --- src/algebra/integer.spad.pamphlet | 4 ---- 1 file changed, 4 deletions(-) (limited to 'src/algebra/integer.spad.pamphlet') 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:%) -- cgit v1.2.3