diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-04-25 23:44:14 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-04-25 23:44:14 +0000 |
| commit | f50462616a6319727efb50c267a105166f5275e8 (patch) | |
| tree | dd39d868fe0323d8922634d6e267248fabcff587 /src/algebra/aggcat.spad.pamphlet | |
| parent | c79e40703ada1ff91b7e057b25d4ae1c4199770a (diff) | |
| download | open-axiom-f50462616a6319727efb50c267a105166f5275e8.tar.gz | |
* algebra/aggcat.spad.pamphlet: Tidy.
Diffstat (limited to 'src/algebra/aggcat.spad.pamphlet')
| -rw-r--r-- | src/algebra/aggcat.spad.pamphlet | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet index 8b01b3c8..d0d0db69 100644 --- a/src/algebra/aggcat.spad.pamphlet +++ b/src/algebra/aggcat.spad.pamphlet @@ -872,9 +872,9 @@ KeyedDictionary(Key:SetCategory, Entry:SetCategory): Category == import Type import SetCategory )abbrev category ELTAB Eltable -++ Author: Michael Monagan; revised by Manuel Bronstein and Manuel Bronstein +++ Author: Michael Monagan; revised by Manuel Bronstein ++ Date Created: August 87 through August 88 -++ Date Last Updated: April 1991 +++ Date Last Updated: April 25, 2010 ++ Basic Operations: ++ Related Constructors: ++ Also See: @@ -882,14 +882,15 @@ import SetCategory ++ Keywords: ++ References: ++ Description: -++ An eltable over domains D and I is a structure which can be viewed -++ as a function from D to I. +++ An eltable over domains \spad{S} and \spad{T} is a structure which +++ can be viewed as a function from \spad{S} to \spad{T}. ++ Examples of eltable structures range from data structures, e.g. those ++ of type \spadtype{List}, to algebraic structures, e.g. \spadtype{Polynomial}. -Eltable(S:SetCategory, Index:Type): Category == with - elt : (%, S) -> Index - ++ elt(u,i) (also written: u . i) returns the element of u indexed by i. - ++ Error: if i is not an index of u. +Eltable(S: Type, T: Type): Category == Type with + elt : (%, S) -> T + ++ \spad{elt(u,s)} (also written: \spad{u.s}) returns the value + ++ of \spad{u} at \spad{s}. + ++ Error: if \spad{u} is not defined at \spad{s}. @ @@ -915,8 +916,6 @@ import SetCategory ++ 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 == --- This is separated from Eltable --- and series won't have to support qelt's and setelt's. Eltable(Dom, Im) with elt : (%, Dom, Im) -> Im ++ elt(u, x, y) applies u to x if x is in the domain of u, |