From 2f4a173a01acbc47bbe855a01ea79b18d0a0c4a0 Mon Sep 17 00:00:00 2001 From: dos-reis 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/radix.spad.pamphlet | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/algebra/radix.spad.pamphlet') diff --git a/src/algebra/radix.spad.pamphlet b/src/algebra/radix.spad.pamphlet index 80b12c4c..f5ed227e 100644 --- a/src/algebra/radix.spad.pamphlet +++ b/src/algebra/radix.spad.pamphlet @@ -288,7 +288,7 @@ BinaryExpansion(): Exports == Implementation where Implementation ==> RadixExpansion(2) add binary r == r :: % - coerce(x:%): RadixExpansion(2) == x pretend RadixExpansion(2) + coerce(x:%): RadixExpansion(2) == rep x @ \section{domain DECIMAL DecimalExpansion} @@ -317,7 +317,7 @@ DecimalExpansion(): Exports == Implementation where Implementation ==> RadixExpansion(10) add decimal r == r :: % - coerce(x:%): RadixExpansion(10) == x pretend RadixExpansion(10) + coerce(x:%): RadixExpansion(10) == rep x @ \section{domain HEXADEC HexadecimalExpansion} @@ -348,7 +348,7 @@ HexadecimalExpansion(): Exports == Implementation where Implementation ==> RadixExpansion(16) add hex r == r :: % - coerce(x:%): RadixExpansion(16) == x pretend RadixExpansion(16) + coerce(x:%): RadixExpansion(16) == rep x @ \section{package RADUTIL RadixUtilities} -- cgit v1.2.3