diff options
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 |