diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-03-13 03:43:50 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-03-13 03:43:50 +0000 |
| commit | 11eebf207528f86dfa4556be3b2cc7cba57244a6 (patch) | |
| tree | 17c1ed9132ec874b14d2dcd137ac16a91e7a5b27 /src/algebra/multfact.spad.pamphlet | |
| parent | 6c75a87d8ee00d48a0f5703aa9c86591078a50d3 (diff) | |
| download | open-axiom-11eebf207528f86dfa4556be3b2cc7cba57244a6.tar.gz | |
* src/algebra/: Systematically use not zero? when comparing for
equality with 0.
Diffstat (limited to 'src/algebra/multfact.spad.pamphlet')
| -rw-r--r-- | src/algebra/multfact.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/multfact.spad.pamphlet b/src/algebra/multfact.spad.pamphlet index de704ea2..86293e50 100644 --- a/src/algebra/multfact.spad.pamphlet +++ b/src/algebra/multfact.spad.pamphlet @@ -182,7 +182,7 @@ InnerMultFact(OV,E,R,P) : C == T "max"/[numberOfMonomials ff for ff in lum] "max"/[+/[euclideanSize cc for i in 0..degree ff| - (cc:= coefficient(ff,i))~=0] for ff in lum] + not zero? (cc:= coefficient(ff,i))] for ff in lum] --- Choose the integer to reduce to univariate case --- intChoose(um:USP,lvar:L OV,clc:R,plist:L P,ltry:L L R, @@ -220,12 +220,12 @@ InnerMultFact(OV,E,R,P) : C == T leadcomp1:=[retract eval(pol,lvar,lval) for pol in plist] testp and or/[unit? epl for epl in leadcomp1] => range:=2*range newm:BP:=completeEval(um,lvar,lval) - degum ~= degree newm or minimumDegree newm ~=0 => range:=2*range + degum ~= degree newm or not zero? minimumDegree newm => range:=2*range lffc1:=content newm newm:=(newm exquo lffc1)::BP testp and leadtest and not polCase(lffc1*clc,#plist,leadcomp1) => range:=2*range - degree(gcd [newm,differentiate(newm)])~=0 => range:=2*range + not zero? degree(gcd [newm,differentiate(newm)]) => range:=2*range luniv:=ufactor(newm) lunivf:= factors luniv lffc1:R:=retract(unit luniv)@R * lffc1 |