diff options
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) |