aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/twofact.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/twofact.spad.pamphlet')
-rw-r--r--src/algebra/twofact.spad.pamphlet8
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)