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/geneez.spad.pamphlet | |
| parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
| download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz | |
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/geneez.spad.pamphlet')
| -rw-r--r-- | src/algebra/geneez.spad.pamphlet | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/geneez.spad.pamphlet b/src/algebra/geneez.spad.pamphlet index 74076d65..5568763b 100644 --- a/src/algebra/geneez.spad.pamphlet +++ b/src/algebra/geneez.spad.pamphlet @@ -96,7 +96,7 @@ GenExEuclid(R,BP) : C == T exactquo(u:BP,v:BP,p:R):Union(BP,"failed") == invlcv:=modInverse(leadingCoefficient v,p) r:=monicDivide(u,reduction(invlcv*v,p)) - reduction(r.remainder,p) ^=0 => "failed" + reduction(r.remainder,p) ~=0 => "failed" reduction(invlcv*r.quotient,p) FP:=EuclideanModularRing(R,BP,R,reduction,merge,exactquo) @@ -120,7 +120,7 @@ GenExEuclid(R,BP) : C == T ftab:Vector L FP := map(reduceList(#1,lmod),table)$VectorFunctions2(List BP,List FP) sln:L FP:=[0$FP for xx in ftab.1 ] - for i in 0 .. d |(cc:=coefficient(err,i)) ^=0 repeat + for i in 0 .. d |(cc:=coefficient(err,i)) ~=0 repeat sln:=[slp+reduce(cc::BP,lmod)*pp for pp in ftab.(i+1) for slp in sln] nsol:=[f-lmodk*reduction(g::BP,lmod) for f in oldsol for g in sln] @@ -141,12 +141,12 @@ GenExEuclid(R,BP) : C == T testModulus(pmod, listPol) == redListPol := reduceList(listPol, pmod) for pol in listPol for rpol in redListPol repeat - degree(pol) ^= degree(rpol::BP) => return false + degree(pol) ~= degree(rpol::BP) => return false while not empty? redListPol repeat rpol := first redListPol redListPol := rest redListPol for rpol2 in redListPol repeat - gcd(rpol, rpol2) ^= 1 => return false + gcd(rpol, rpol2) ~= 1 => return false true if R has Field then @@ -165,7 +165,7 @@ GenExEuclid(R,BP) : C == T -- Actually, there's no possibility of failure d:=degree m sln:L BP:=[0$BP for xx in table.1] - for i in 0 .. d | coefficient(m,i)^=0 repeat + for i in 0 .. d | coefficient(m,i)~=0 repeat sln:=[slp+coefficient(m,i)*pp for pp in table.(i+1) for slp in sln] sln @@ -192,7 +192,7 @@ GenExEuclid(R,BP) : C == T map(reduceList(#1,pmod),table)$VectorFunctions2(List BP,List FP) lpolys:L BP:=table.(#table) sln:L FP:=[0$FP for xx in ftab.1] - for i in 0 .. d | coefficient(m,i)^=0 repeat + for i in 0 .. d | coefficient(m,i)~=0 repeat sln:=[slp+reduce(coefficient(m,i)::BP,pmod)*pp for pp in ftab.(i+1) for slp in sln] soln:=[slp::BP for slp in sln] |