diff options
Diffstat (limited to 'src/algebra/twofact.spad.pamphlet')
-rw-r--r-- | src/algebra/twofact.spad.pamphlet | 16 |
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) |