aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/alql.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-12-21 02:20:35 +0000
committerdos-reis <gdr@axiomatics.org>2008-12-21 02:20:35 +0000
commit2f4a173a01acbc47bbe855a01ea79b18d0a0c4a0 (patch)
tree4f15c7ade2b48e69c25bdf8ce7d721a5a016a6c1 /src/algebra/alql.spad.pamphlet
parent93853a12aba78b695405d9275f9ab56b01ec4269 (diff)
downloadopen-axiom-2f4a173a01acbc47bbe855a01ea79b18d0a0c4a0.tar.gz
* 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.
Diffstat (limited to 'src/algebra/alql.spad.pamphlet')
-rw-r--r--src/algebra/alql.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/alql.spad.pamphlet b/src/algebra/alql.spad.pamphlet
index a7f895a1..edcae0c5 100644
--- a/src/algebra/alql.spad.pamphlet
+++ b/src/algebra/alql.spad.pamphlet
@@ -29,8 +29,8 @@ DataList(S:OrderedSet) : Exports == Implementation where
elt(x,"unique") == removeDuplicates(x)
elt(x,"sort") == sort(x)
elt(x,"count") == #x
- coerce(x:List S) == x pretend %
- coerce(x:%):List S == x pretend (List S)
+ coerce(x:List S) == per x
+ coerce(x:%):List S == rep x
coerce(x:%): OutputForm == (x :: List S) :: OutputForm
datalist(x:List S) == x::%