diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-11 05:39:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-11 05:39:42 +0000 |
| commit | 8e257ac672286684e1e8793f563269ec4eec2a28 (patch) | |
| tree | 634d2c5c3b1096c1f9dbda59a9cd25850582ca7f /src/algebra/indexedp.spad.pamphlet | |
| parent | 97aa9da06f86b2f175052c2c32905e12d0afce5a (diff) | |
| download | open-axiom-8e257ac672286684e1e8793f563269ec4eec2a28.tar.gz | |
* algebra/indexedp.spad.pamphlet
(IndexedDirectProductAbelianMonoid) [opposite?]: Implement.
Diffstat (limited to 'src/algebra/indexedp.spad.pamphlet')
| -rw-r--r-- | src/algebra/indexedp.spad.pamphlet | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/algebra/indexedp.spad.pamphlet b/src/algebra/indexedp.spad.pamphlet index ad4ae9c8..1f3e6151 100644 --- a/src/algebra/indexedp.spad.pamphlet +++ b/src/algebra/indexedp.spad.pamphlet @@ -238,6 +238,17 @@ IndexedDirectProductAbelianMonoid(A:AbelianMonoid,S:OrderedType): null terms x => 0 coefficient terms(x).first + opposite?(x,y) == + u := terms x + v := terms y + repeat + empty? u => return empty? v + empty? v => return empty? u + index u.first ~= index v.first => return false + not opposite?(coefficient u.first,coefficient v.first) => return false + u := rest u + v := rest v + @ \section{domain IDPOAM IndexedDirectProductOrderedAbelianMonoid} <<domain IDPOAM IndexedDirectProductOrderedAbelianMonoid>>= |