diff options
author | dos-reis <gdr@axiomatics.org> | 2008-08-31 13:56:20 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-08-31 13:56:20 +0000 |
commit | e8df02fd0970cad96e174ffb5b7707081266f371 (patch) | |
tree | 5e5322ecc176e9e8bb2bc5caad00409a0a687f42 /src/algebra/pgcd.spad.pamphlet | |
parent | 3c58b07e75e2c6cc1cd57d2902aa305335161e5e (diff) | |
download | open-axiom-e8df02fd0970cad96e174ffb5b7707081266f371.tar.gz |
* algebra/boolean.spad.pamphlet (Boolean): Remove definition of
operator ^.
* algebra/aggcat.spad.pamphlet (BitAggregate): Likewise.
* algebra/color.spad.pamphlet: Replace use of '^' as logical
negation by 'not'.
* algebra/ddfact.spad.pamphlet: Likewise.
* algebra/fortran.spad.pamphlet: Likewise.
* algebra/gaussfac.spad.pamphlet: Likewise.
* algebra/gbeuclid.spad.pamphlet: Likewise.
* algebra/gbintern.spad.pamphlet: Likewise.
* algebra/ghensel.spad.pamphlet: Likewise.
* algebra/groebsol.spad.pamphlet: Likewise.
* algebra/ideal.spad.pamphlet: Likewise.
* algebra/idecomp.spad.pamphlet: Likewise.
* algebra/indexedp.spad.pamphlet: Likewise.
* algebra/listgcd.spad.pamphlet: Likewise.
* algebra/mfinfact.spad.pamphlet: Likewise.
* algebra/modgcd.spad.pamphlet: Likewise.
* algebra/multfact.spad.pamphlet: Likewise.
* algebra/multsqfr.spad.pamphlet: Likewise.
* algebra/newpoint.spad.pamphlet: Likewise.
* algebra/npcoef.spad.pamphlet: Likewise.
* algebra/permgrps.spad.pamphlet: Likewise.
* algebra/pgcd.spad.pamphlet: Likewise.
* algebra/pleqn.spad.pamphlet: Likewise.
* algebra/qalgset.spad.pamphlet: Likewise.
* algebra/radeigen.spad.pamphlet: Likewise.
* algebra/rep2.spad.pamphlet: Likewise.
* algebra/solverad.spad.pamphlet: Likewise.
* algebra/space.spad.pamphlet: Likewise.
* algebra/view2D.spad.pamphlet: Likewise.
* algebra/strap/: Update cached Lisp translateion
* share/algebra/: Update databases.
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 |