aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/free.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/free.spad.pamphlet')
-rw-r--r--src/algebra/free.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/free.spad.pamphlet b/src/algebra/free.spad.pamphlet
index 827e8386..f87666b0 100644
--- a/src/algebra/free.spad.pamphlet
+++ b/src/algebra/free.spad.pamphlet
@@ -557,11 +557,11 @@ FreeAbelianGroup(S:SetCategory): Exports == Implementation where
zero? b => false
(inmax terms b).exp > 0
ta := inmax terms a
- zero? b => ta.exp < 0
+ zero? b => negative? ta.exp
ta := inmax terms a
tb := inmax terms b
ta.gen < tb.gen => tb.exp > 0
- ta.gen > tb.gen => ta.exp < 0
+ ta.gen > tb.gen => negative? ta.exp
ta.exp < tb.exp => true
ta.exp > tb.exp => false
lc := ta.exp * ta.gen