aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/manip.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/manip.spad.pamphlet')
-rw-r--r--src/algebra/manip.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/manip.spad.pamphlet b/src/algebra/manip.spad.pamphlet
index fe59129a..4735b5e7 100644
--- a/src/algebra/manip.spad.pamphlet
+++ b/src/algebra/manip.spad.pamphlet
@@ -353,7 +353,7 @@ AlgebraicManipulations(R, F): Exports == Implementation where
n := (retract(second arg)@Integer)::NonNegativeInteger
ans:F := 0
q := univariate(p, k)
- while (d := degree q) > 0 repeat
+ while positive?(d := degree q) repeat
term :=
one?(g := gcd(d, n)) => monomial(1, k, d)
monomial(1, kernel(operator k, [a,(n quo g)::F], height k), d quo g)