From 2f4a173a01acbc47bbe855a01ea79b18d0a0c4a0 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 21 Dec 2008 02:20:35 +0000
Subject: 	* interp/define.boot (checkRepresentation): Take a third 
 argument. Provide view morphisms for domain extensions. 	(compCapsule):
 Adjust call. 	* algebra/alql.spad.pamphlet (DataList): Use per and rep. 
 * algebra/fortmac.spad.pamphlet (MachineInteger): Likewise. 	*
 algebra/fortran.spad.pamphlet (FortranExpression): Likewise. 	*
 algebra/integer.spad.pamphlet (NonNegativeInteger): Likewise. 
 (PositiveInteger): Likewise. 	* algebra/ituple.spad.pamphlet
 (InfiniteTuple): Likewise. 	* algebra/matrix.spad.pamphlet
 (RectangularMatrix): Likewise. 	* algebra/pf.spad.pamphlet
 (InnerPrimeField): Likewise. 	* algebra/radix.spad.pamphlet
 (BinaryExpansion): Likewise. 	(DecimalExpansion): Likewise. 
 (HexadecimalExpansion): Likewise.

---
 src/algebra/integer.spad.pamphlet | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'src/algebra/integer.spad.pamphlet')

diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet
index ad958900..1d0009a0 100644
--- a/src/algebra/integer.spad.pamphlet
+++ b/src/algebra/integer.spad.pamphlet
@@ -281,9 +281,9 @@ NonNegativeInteger: Join(OrderedAbelianMonoidSup,Monoid) with
       sup(x,y) == MAX(x,y)$Lisp
       shift(x:%, n:Integer):% == ASH(x,n)$Lisp
       subtractIfCan(x, y) ==
-        c:Integer := (x pretend Integer) - (y pretend Integer)
+        c:Integer := rep x - rep y
         c < 0 => "failed"
-        c pretend %
+        per c
 
 @
 
@@ -304,9 +304,7 @@ PositiveInteger: Join(OrderedAbelianSemiGroup,Monoid) with
               ++ positive integers \spad{a} and b.
             commutative("*")
               ++ commutative("*") means multiplication is commutative : x*y = y*x
- == SubDomain(NonNegativeInteger,#1 > 0) add
-     x:%
-     y:%
+ == SubDomain(NonNegativeInteger,#1 > 0)
 
 @
 
-- 
cgit v1.2.3