diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
| commit | 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 (patch) | |
| tree | da9e2fe5d81ff4cd7709d12e44b8c3e348b8a8e3 /src/algebra/twofact.spad.pamphlet | |
| parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
| download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz | |
Replace `^=' with `~='.
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) |