diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-29 02:53:38 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-29 02:53:38 +0000 |
| commit | cf1ea01dcda480d3f9dc1dc53cf2ec7d0cfbf68e (patch) | |
| tree | c9aab6112856f0116ffaefdb67faec8ba706611e /src/algebra | |
| parent | eb64be4107401efb087f02628aff43be0055c71d (diff) | |
| download | open-axiom-cf1ea01dcda480d3f9dc1dc53cf2ec7d0cfbf68e.tar.gz | |
* algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory)
[terms]: Rename from support.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/indexedp.spad.pamphlet | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/algebra/indexedp.spad.pamphlet b/src/algebra/indexedp.spad.pamphlet index 1e1a569f..34b61d1f 100644 --- a/src/algebra/indexedp.spad.pamphlet +++ b/src/algebra/indexedp.spad.pamphlet @@ -46,9 +46,9 @@ 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) + terms: % -> List Pair(S,A) + ++ \spad{terms x} returns the list of terms in \spad{x}. + ++ Each term is a pair of a support (the first component) ++ and the corresponding value (the second component). @ @@ -104,7 +104,7 @@ IndexedDirectProductObject(A,S): Public == Private where error "Can't take leadingCoefficient of empty product element" termIndex first rep x - support x == rep x + terms x == rep x @ \section{domain IDPAM IndexedDirectProductAbelianMonoid} @@ -322,7 +322,9 @@ IndexedDirectProductAbelianGroup(A:AbelianGroup,S:OrderedSet): @ \section{License} <<license>>= ---Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. +--Copyright (C) 1991-2002, The Numerical ALgorithms Group Ltd. +--All rights reserved. +--Copyright (C) 2007-2010, Gabriel Dos Reis. --All rights reserved. -- --Redistribution and use in source and binary forms, with or without |