diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-20 04:55:09 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-20 04:55:09 +0000 |
| commit | 1316b335ecc97eeaaa4c91258b31c789d8f4b0d3 (patch) | |
| tree | ed428505010ccaac4e4d2bfeb4f667b8039c50f1 /src/algebra/indexedp.spad.pamphlet | |
| parent | 4c3e77d5efc19d097c7995f7d5f64eee0400ff66 (diff) | |
| download | open-axiom-1316b335ecc97eeaaa4c91258b31c789d8f4b0d3.tar.gz | |
Use Functorial more often.
Diffstat (limited to 'src/algebra/indexedp.spad.pamphlet')
| -rw-r--r-- | src/algebra/indexedp.spad.pamphlet | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/algebra/indexedp.spad.pamphlet b/src/algebra/indexedp.spad.pamphlet index 1f3e6151..d97010d9 100644 --- a/src/algebra/indexedp.spad.pamphlet +++ b/src/algebra/indexedp.spad.pamphlet @@ -14,7 +14,7 @@ )abbrev category IDPC IndexedDirectProductCategory ++ Author: James Davenport, Gabriel Dos Reis ++ Date Created: -++ Date Last Updated: June 28, 2010 +++ Date Last Updated: May 19, 2013. ++ Basic Functions: ++ Related Constructors: ++ Also See: @@ -26,11 +26,8 @@ ++ respect to an ordered indexing set. IndexedDirectProductCategory(A:BasicType,S:OrderedType): Category == - Join(BasicType,ConvertibleFrom List IndexedProductTerm(A,S)) with + Join(BasicType,Functorial A,ConvertibleFrom List IndexedProductTerm(A,S)) with if A has SetCategory and S has SetCategory then SetCategory - map: (A -> A, %) -> % - ++ map(f,z) returns the new element created by applying the - ++ function f to each component of the direct product element z. monomial: (A, S) -> % ++ monomial(a,s) constructs a direct product element with the s ++ component set to \spad{a} |