diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-29 00:15:40 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-29 00:15:40 +0000 |
| commit | 322c78e4fbe48f8449bf0e22c001c2fc9719b4c4 (patch) | |
| tree | 33ae31fa99b354a93564895e11508b3563de07b2 /src/algebra/indexedp.spad.pamphlet | |
| parent | 1c92e6f09b84c2b8951a6bcedb34964908167c37 (diff) | |
| download | open-axiom-322c78e4fbe48f8449bf0e22c001c2fc9719b4c4.tar.gz | |
* algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory)
[support]: New.
(IndexedDirectProductObject): Implement.
Diffstat (limited to 'src/algebra/indexedp.spad.pamphlet')
| -rw-r--r-- | src/algebra/indexedp.spad.pamphlet | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/algebra/indexedp.spad.pamphlet b/src/algebra/indexedp.spad.pamphlet index 4e6dea37..2caf4e10 100644 --- a/src/algebra/indexedp.spad.pamphlet +++ b/src/algebra/indexedp.spad.pamphlet @@ -12,9 +12,9 @@ \section{category IDPC IndexedDirectProductCategory} <<category IDPC IndexedDirectProductCategory>>= )abbrev category IDPC IndexedDirectProductCategory -++ Author: James Davenport +++ Author: James Davenport, Gabriel Dos Reis ++ Date Created: -++ Date Last Updated: +++ Date Last Updated: June 28, 2010 ++ Basic Functions: ++ Related Constructors: ++ Also See: @@ -46,11 +46,16 @@ IndexedDirectProductCategory(A:SetCategory,S:OrderedSet): Category == ++ reductum(z) returns a new element created by removing the ++ leading coefficient/support pair from the element z. ++ Error: if z has no support. + support: % -> List Pair(S,A) + ++ \spad{support x} returns the list of terms in \spad{x}. + ++ Each term is a pair of an index (the first component) + ++ and the corresponding value (the second component). @ \section{domain IDPO IndexedDirectProductObject} <<domain IDPO IndexedDirectProductObject>>= )abbrev domain IDPO IndexedDirectProductObject +++ Data Last Updated: June 28, 2010 ++ Indexed direct products of objects over a set \spad{A} ++ of generators indexed by an ordered set S. All items have finite support. IndexedDirectProductObject(A:SetCategory,S:OrderedSet): IndexedDirectProductCategory(A,S) @@ -88,6 +93,10 @@ IndexedDirectProductObject(A:SetCategory,S:OrderedSet): IndexedDirectProductCate null x => error "Can't take leadingCoefficient of empty product element" x.first.k + -- FIXME: We should define Rep directly as List Pair(S,R) + -- so that this gross pretend can go away. + support x == x pretend List Pair(S,A) + @ \section{domain IDPAM IndexedDirectProductAbelianMonoid} <<domain IDPAM IndexedDirectProductAbelianMonoid>>= |