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/twofact.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/twofact.spad.pamphlet')
| -rw-r--r-- | src/algebra/twofact.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/twofact.spad.pamphlet b/src/algebra/twofact.spad.pamphlet index fb560b20..fd51789d 100644 --- a/src/algebra/twofact.spad.pamphlet +++ b/src/algebra/twofact.spad.pamphlet @@ -43,7 +43,7 @@ NormRetractPackage(F, ExtF, SUEx, ExtP, n):C == T where Frobenius(ff:ExtP):ExtP == fft:ExtP:=0 - while ff~=0 repeat + while not zero? ff repeat fft:=fft + monomial(map(Frobenius, leadingCoefficient ff), degree ff) ff:=reductum ff @@ -230,7 +230,7 @@ TwoFactorize(F) : C == T i:=i+1 zero? elt(lcm, vval) => "next value" umv := map(elt(#1,vval), m)$UPCF2(R, P, F, R) - degree(gcd(umv,differentiate umv))~=0 => "next val" + not zero? degree(gcd(umv,differentiate umv)) => "next val" n := 1 look := false extField:=FiniteFieldExtension(F,n) @@ -238,7 +238,7 @@ TwoFactorize(F) : C == T TP:=SparseUnivariatePolynomial SUEx mm:TP:=0 m1:=m - while m1~=0 repeat + while not zero? m1 repeat mm:=mm+monomial(map(coerce,leadingCoefficient m1)$UPCF2(F,R, extField,SUEx),degree m1) m1:=reductum m1 @@ -253,7 +253,7 @@ TwoFactorize(F) : C == T i:=i+1 elt(lcmm,val)=0 => "next value" umex := map(elt(#1,val), mm)$UPCF2(SUEx, TP, extField, SUEx) - degree(gcd(umex,differentiate umex))~=0 => "next val" + not zero? degree(gcd(umex,differentiate umex)) => "next val" look:=false prime:SUEx:=monomial(1,1)-monomial(val,0) fumex:=factor(umex)$DistinctDegreeFactorize(extField,SUEx) |