diff options
author | dos-reis <gdr@axiomatics.org> | 2009-07-06 03:30:44 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-07-06 03:30:44 +0000 |
commit | e21476c2cb43cbe5195c1fe152a7ff27bb126b24 (patch) | |
tree | c52fdf45dd9737c95ba90db0b64627ead77bb8f6 /src/algebra/indexedp.spad.pamphlet | |
parent | 61213fc7895de51c005eba3aff722f1a83b67734 (diff) | |
download | open-axiom-e21476c2cb43cbe5195c1fe152a7ff27bb126b24.tar.gz |
* interp/compiler.boot (coerceEasy): Don't pretend we can make
matter our of void.
* algebra/indexedp.spad.pamphlet
(IndexedDirectProductAbelianMonoid): Tidy.
(IndexedDirectProductAbelianGroup): Likewise.
* src/algebra/poly.spad.pamphlet (PolynomialRing): Fix thinko.
Diffstat (limited to 'src/algebra/indexedp.spad.pamphlet')
-rw-r--r-- | src/algebra/indexedp.spad.pamphlet | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/algebra/indexedp.spad.pamphlet b/src/algebra/indexedp.spad.pamphlet index eb949535..d5c7eade 100644 --- a/src/algebra/indexedp.spad.pamphlet +++ b/src/algebra/indexedp.spad.pamphlet @@ -150,8 +150,9 @@ IndexedDirectProductAbelianMonoid(A:AbelianMonoid,S:OrderedSet): else res := newcell; endcell := res - if empty? x then end := y - else end := x + end := + empty? x => y + x if empty? res then res := end else qsetrest!(endcell, end) res @@ -284,8 +285,9 @@ IndexedDirectProductAbelianGroup(A:AbelianGroup,S:OrderedSet): else res := newcell; endcell := res - if empty? x then end := - y - else end := x + end := + empty? x => - y + x if empty? res then res := end else qsetrest!(endcell, end) res |