From 285018634c5e4a54f18ae1b65a2e901b82ffdaf3 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 18 May 2013 22:41:17 +0000 Subject: * algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attribute finiteAggregate. --- src/algebra/aggcat.spad.pamphlet | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'src/algebra/aggcat.spad.pamphlet') diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet index ab816fbf..b0395fe0 100644 --- a/src/algebra/aggcat.spad.pamphlet +++ b/src/algebra/aggcat.spad.pamphlet @@ -139,7 +139,6 @@ HomogeneousAggregate(S:Type): Category == Aggregate with ++ number of elements. FiniteAggregate(S: Type): Category == Exports where Exports == HomogeneousAggregate S with - finiteAggregate -- FIXME: TEMPORARY FOR TRANSITIONAL PURPOSE ONLY #: % -> NonNegativeInteger ++ \spad{#u} returns the number of items in u. any?: (S->Boolean,%) -> Boolean @@ -1154,8 +1153,7 @@ TableAggregate(Key:SetCategory, Entry:SetCategory): Category == -- z members(t:%):List Record(key:Key,entry:Entry) == [[k, t.k] for k in keys t] - members(t:%):List Entry == [t.k for k in keys t] - entries(t:%):List Entry == members(t) + entries(t:%):List Entry == [t.k for k in keys t] s:% = t:% == eq?(s,t) => true -- cgit v1.2.3