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.pamphlet16
1 files changed, 8 insertions, 8 deletions
diff --git a/src/algebra/twofact.spad.pamphlet b/src/algebra/twofact.spad.pamphlet
index f3e99f53..541157b7 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 ff~=0 repeat
fft:=fft + monomial(map(Frobenius, leadingCoefficient ff),
degree ff)
ff:=reductum ff
@@ -51,10 +51,10 @@ NormRetractPackage(F, ExtF, SUEx, ExtP, n):C == T where
retractIfCan(ff:ExtP):Union(P, "failed") ==
fft:P:=0
- while ff ^= 0 repeat
+ while ff ~= 0 repeat
lc : SUEx := leadingCoefficient ff
plc: SUP F := 0
- while lc ^= 0 repeat
+ while lc ~= 0 repeat
lclc:ExtF := leadingCoefficient lc
(retlc := retractIfCan lclc) case "failed" => return "failed"
plc := plc + monomial(retlc::F, degree lc)
@@ -159,7 +159,7 @@ TwoFactorize(F) : C == T
pfaclist)
unitPart := unit(nfacs)**uexp * unitPart
pfaclist := cons(u,pfaclist)
- cont ^= 1 =>
+ cont ~= 1 =>
sqp := squareFree cont
contlist:=[[w.flg,(w.fctr)::P,w.xpnt] for w in factorList sqp]
pfaclist:= append(contlist, pfaclist)
@@ -229,7 +229,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"
+ degree(gcd(umv,differentiate umv))~=0 => "next val"
n := 1
look := false
extField:=FiniteFieldExtension(F,n)
@@ -237,7 +237,7 @@ TwoFactorize(F) : C == T
TP:=SparseUnivariatePolynomial SUEx
mm:TP:=0
m1:=m
- while m1^=0 repeat
+ while m1~=0 repeat
mm:=mm+monomial(map(coerce,leadingCoefficient m1)$UPCF2(F,R,
extField,SUEx),degree m1)
m1:=reductum m1
@@ -252,7 +252,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"
+ degree(gcd(umex,differentiate umex))~=0 => "next val"
look:=false
prime:SUEx:=monomial(1,1)-monomial(val,0)
fumex:=factor(umex)$DistinctDegreeFactorize(extField,SUEx)
@@ -273,7 +273,7 @@ TwoFactorize(F) : C == T
while not empty? lfacth repeat
ff := first lfacth
lfacth := rest lfacth
- if (c:=leadingCoefficient leadingCoefficient ff) ^=1 then
+ if (c:=leadingCoefficient leadingCoefficient ff) ~=1 then
ff:=((inv c)::SUEx)* ff
not ((ffu:= retractIfCan(ff)$Normp) case "failed") =>
lfactk := cons(ffu::P, lfactk)