From e21476c2cb43cbe5195c1fe152a7ff27bb126b24 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 6 Jul 2009 03:30:44 +0000 Subject: * 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. --- src/algebra/indexedp.spad.pamphlet | 10 ++++++---- src/algebra/poly.spad.pamphlet | 1 + 2 files changed, 7 insertions(+), 4 deletions(-) (limited to 'src/algebra') 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 diff --git a/src/algebra/poly.spad.pamphlet b/src/algebra/poly.spad.pamphlet index 19ec9808..f311fc97 100644 --- a/src/algebra/poly.spad.pamphlet +++ b/src/algebra/poly.spad.pamphlet @@ -162,6 +162,7 @@ PolynomialRing(R:Ring,E:OrderedAbelianMonoid): T == C res, endcell, newend, xx: Rep if entireRing? then for tx in x repeat tx.c := r*tx.c + x else xx := x res := empty() -- cgit v1.2.3