aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/updivp.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/updivp.spad.pamphlet')
-rw-r--r--src/algebra/updivp.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/updivp.spad.pamphlet b/src/algebra/updivp.spad.pamphlet
index efeb3cca..0ceeefb3 100644
--- a/src/algebra/updivp.spad.pamphlet
+++ b/src/algebra/updivp.spad.pamphlet
@@ -43,7 +43,7 @@ UnivariatePolynomialDivisionPackage(R,UP): Exports == Implementation where
zero? p2 => error "divideIfCan: division by zero"
one? (lc := leadingCoefficient p2) => monicDivide(p1,p2)
q: UP := 0
- while not ((e := subtractIfCan(degree(p1),degree(p2))) case "failed")
+ while not ((e := subtractIfCan(degree(p1),degree(p2))) case nothing)
repeat
c := leadingCoefficient(p1) exquo lc
c case "failed" => return "failed"