diff options
Diffstat (limited to 'src/algebra/updivp.spad.pamphlet')
| -rw-r--r-- | src/algebra/updivp.spad.pamphlet | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/updivp.spad.pamphlet b/src/algebra/updivp.spad.pamphlet index 67934a57..01ffe8ca 100644 --- a/src/algebra/updivp.spad.pamphlet +++ b/src/algebra/updivp.spad.pamphlet @@ -41,8 +41,7 @@ UnivariatePolynomialDivisionPackage(R,UP): Exports == Implementation where divideIfCan(p1:UP,p2:UP):Union(QR,"failed") == zero? p2 => error "divideIfCan: division by zero" --- one? (lc := leadingCoefficient p2) => monicDivide(p1,p2) - ((lc := leadingCoefficient p2) = 1) => monicDivide(p1,p2) + one? (lc := leadingCoefficient p2) => monicDivide(p1,p2) q: UP := 0 while not ((e := subtractIfCan(degree(p1),degree(p2))) case "failed") repeat |