diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-18 22:41:17 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-18 22:41:17 +0000 |
| commit | 285018634c5e4a54f18ae1b65a2e901b82ffdaf3 (patch) | |
| tree | 60c3350d44e50ead1752800d0e3982dfb5b59b6b /src/algebra/aggcat.spad.pamphlet | |
| parent | ea12eba42203bb6826e1ada106166b5897dce654 (diff) | |
| download | open-axiom-285018634c5e4a54f18ae1b65a2e901b82ffdaf3.tar.gz | |
* algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attribute
finiteAggregate.
Diffstat (limited to 'src/algebra/aggcat.spad.pamphlet')
| -rw-r--r-- | src/algebra/aggcat.spad.pamphlet | 4 |
1 files changed, 1 insertions, 3 deletions
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 |