diff options
Diffstat (limited to 'src/algebra/pgcd.spad.pamphlet')
| -rw-r--r-- | src/algebra/pgcd.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/pgcd.spad.pamphlet b/src/algebra/pgcd.spad.pamphlet index c371c1b6..365b0232 100644 --- a/src/algebra/pgcd.spad.pamphlet +++ b/src/algebra/pgcd.spad.pamphlet @@ -139,12 +139,12 @@ PolynomialGcdPackage(E,OV,R,P):C == T where --test if one of the polynomials is the gcd dd=d1 => - if ^((f:=p2 exquo p1) case "failed") then + if not ((f:=p2 exquo p1) case "failed") then return [[u],ltry,p1]$UTerm if dd~=d2 then dd:=(dd-1)::NNI dd=d2 => - if ^((f:=p1 exquo p2) case "failed") then + if not ((f:=p1 exquo p2) case "failed") then return [[u],ltry,p2]$UTerm dd:=(dd-1)::NNI return uterm @@ -338,7 +338,7 @@ PolynomialGcdPackage(E,OV,R,P):C == T where (p0:SUPP,p1:SUPP):=(plist.first,plist.2) if completeEval(p0,lvar,lval) ~= lg.first then (p0,p1):=(p1,p0) - ^leadpol => p0 + not leadpol => p0 p0 exquo content(p0) -- Gcd for two multivariate polynomials |