diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-06-17 15:07:17 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-06-17 15:07:17 +0000 |
| commit | 7db3376a614a5aeacc114c38002ea65e57046dc5 (patch) | |
| tree | eb210656e993e236392080ed3fe05be391886377 /src/algebra | |
| parent | d69a5741c16f450e981b7d8f4b28c217f388890d (diff) | |
| download | open-axiom-7db3376a614a5aeacc114c38002ea65e57046dc5.tar.gz | |
* algebra/aggcat.spad.pamphlet (EltableAggregate): Weaken
requirement on first parameter.
(IndexedAggregate): Likewise.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/aggcat.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet index 473cfd2c..71db9681 100644 --- a/src/algebra/aggcat.spad.pamphlet +++ b/src/algebra/aggcat.spad.pamphlet @@ -929,7 +929,7 @@ import SetCategory ++ will return the integers 1,7, and 4; thus this list may be viewed ++ as mapping 0 to 1, 1 to 7 and 2 to 4. In general, an aggregate ++ can map members of a domain {\em Dom} to an image domain {\em Im}. -EltableAggregate(Dom:SetCategory, Im:Type): Category == +EltableAggregate(Dom: BasicType, Im:Type): Category == Eltable(Dom, Im) with elt : (%, Dom, Im) -> Im ++ elt(u, x, y) applies u to x if x is in the domain of u, @@ -984,7 +984,7 @@ import List ++ For example, a one-dimensional-array is an indexed aggregate where ++ the index is an integer. Also, a table is an indexed aggregate ++ where the indices and entries may have any type. -IndexedAggregate(Index: SetCategory, Entry: Type): Category == +IndexedAggregate(Index: BasicType, Entry: Type): Category == Join(HomogeneousAggregate(Entry), EltableAggregate(Index, Entry)) with entries: % -> List Entry ++ entries(u) returns a list of all the entries of aggregate u |