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/reclos.spad.pamphlet | |
| parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
| download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz | |
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/reclos.spad.pamphlet')
| -rw-r--r-- | src/algebra/reclos.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/reclos.spad.pamphlet b/src/algebra/reclos.spad.pamphlet index b0400ad1..82687d55 100644 --- a/src/algebra/reclos.spad.pamphlet +++ b/src/algebra/reclos.spad.pamphlet @@ -115,7 +115,7 @@ RealPolynomialUtilitiesPackage(TheField,ThePols) : PUB == PRIV where sylvesterSequence(p1,p2) == res : List(ThePols) := [p1] - while (p2 ^= 0) repeat + while (p2 ~= 0) repeat res := cons(p2 , res) (p1 , p2) := (p2 , -(p1 rem p2)) if degree(p1) > 0 @@ -138,7 +138,7 @@ RealPolynomialUtilitiesPackage(TheField,ThePols) : PUB == PRIV where -- lsg := sign(first(l)) -- for term in l repeat -- if ^( (sg := sign(term) ) = 0 ) then --- if (sg ^= lsg) then res := res + 1 +-- if (sg ~= lsg) then res := res + 1 -- lsg := sg -- res @@ -261,7 +261,7 @@ RealRootCharacterizationCategory(TheField, ThePols ) : Category == PUB where defPol := definingPolynomial(rootChar) d := principalIdeal([defPol,toInv]) zero?(d.generator,rootChar) => "failed" - if (degree(d.generator) ^= 0 ) + if (degree(d.generator) ~= 0 ) then defPol := (defPol exquo (d.generator))::ThePols d := principalIdeal([defPol,toInv]) @@ -890,7 +890,7 @@ RightOpenIntervalRootCharacterization(TheField,ThePolDom) : PUB == PRIV where -- lsg := sign(coefficient(p,0)) -- l := [ sign(i) for i in reverse!(coefficients(p))] -- for sg in l repeat --- if (sg ^= lsg) then res := res + 1 +-- if (sg ~= lsg) then res := res + 1 -- lsg := sg -- res @ |