From 12b29bbbfe86f81b415ffefe70262ebcc786f3b3 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 18 May 2013 08:24:50 +0000 Subject: Remove parts from HomogeneousAggregate --- src/algebra/aggcat.spad.pamphlet | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'src/algebra/aggcat.spad.pamphlet') diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet index e4f53746..c2c8a429 100644 --- a/src/algebra/aggcat.spad.pamphlet +++ b/src/algebra/aggcat.spad.pamphlet @@ -114,12 +114,9 @@ HomogeneousAggregate(S:Type): Category == Aggregate with ++ count(p,u) returns the number of elements x in u ++ such that \axiom{p(x)} is true. For collections, ++ \axiom{count(p,u) = reduce(+,[1 for x in u | p(x)],0)}. - parts: % -> List S - ++ parts(u) returns a list of the consecutive elements of u. - ++ For collections, \axiom{parts([x,y,...,z]) = (x,y,...,z)}. members: % -> List S ++ members(u) returns a list of the consecutive elements of u. - ++ For collections, \axiom{parts([x,y,...,z]) = (x,y,...,z)}. + ++ For collections, \axiom{members([x,y,...,z]) = (x,y,...,z)}. if S has BasicType then count: (S,%) -> NonNegativeInteger ++ count(x,u) returns the number of occurrences of x in u. @@ -184,7 +181,7 @@ FiniteAggregate(S: Type): Category == Exports where ++ \axiom{count(p,u) = reduce(+,[1 for x in u | p(x)],0)}. members: % -> List S ++ \spad{members(u)} returns a list of the consecutive elements of u. - ++ For collections, \axiom{parts([x,y,...,z]) = (x,y,...,z)}. + ++ For collections, \axiom{members([x,y,...,z]) = (x,y,...,z)}. if S has BasicType then count: (S,%) -> NonNegativeInteger ++ \spad{count(x,u)} returns the number of occurrences -- cgit v1.2.3