diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-03-12 17:04:43 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-03-12 17:04:43 +0000 |
| commit | 52fddea19454dc2b9bcb54c6edd5a4cd4f5765a9 (patch) | |
| tree | 4b13ccc6d57c7c1ee615c83615b246c98eae388a /src/algebra/reclos.spad.pamphlet | |
| parent | 42d38bee45a64edfc12641053e58581c20584363 (diff) | |
| download | open-axiom-52fddea19454dc2b9bcb54c6edd5a4cd4f5765a9.tar.gz | |
* src/algebra/: Systematically use negative? when comparing for
less than 0.
Diffstat (limited to 'src/algebra/reclos.spad.pamphlet')
| -rw-r--r-- | src/algebra/reclos.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/reclos.spad.pamphlet b/src/algebra/reclos.spad.pamphlet index bc6275be..c1359c1b 100644 --- a/src/algebra/reclos.spad.pamphlet +++ b/src/algebra/reclos.spad.pamphlet @@ -244,7 +244,7 @@ RealRootCharacterizationCategory(TheField, ThePols ) : Category == PUB where sign(toTest, rootChar) = 0 negative?(toTest, rootChar) == - sign(toTest, rootChar) < 0 + negative? sign(toTest, rootChar) positive?(toTest, rootChar) == sign(toTest, rootChar) > 0 @@ -703,7 +703,7 @@ RightOpenIntervalRootCharacterization(TheField,ThePolDom) : PUB == PRIV where null(l) => false f := sign(first(l)) for term in rest(l) repeat - if f*term < 0 then return(true) + if negative?(f*term) then return(true) false hasVars(p:P) == @@ -743,7 +743,7 @@ RightOpenIntervalRootCharacterization(TheField,ThePolDom) : PUB == PRIV where <<performance problem>> res :$ := [left,right,leadingMonomial(pol)+reductum(pol)]$Rep -- safe copy while zero?(pol.(res.high)) repeat refine!(res) - while (res.high * res.low < 0 ) repeat refine!(res) + while negative?(res.high * res.low) repeat refine!(res) zero?(pol.(res.low)) => [res.low,res.high,monomial(1,1)-(res.low)::P] res @@ -862,7 +862,7 @@ RightOpenIntervalRootCharacterization(TheField,ThePolDom) : PUB == PRIV where rootChar.low := int rootChar.defPol := monomial(1,1) - int::P rootChar - if (s1*s2 < 0) + if negative?(s1*s2) then rootChar.high := int else @@ -874,7 +874,7 @@ RightOpenIntervalRootCharacterization(TheField,ThePolDom) : PUB == PRIV where int := middle(rootChar) s:= (rootChar.defPol).int * (rootChar.defPol).(rootChar.high) zero?(s) => [int,rootChar.high,monomial(1,1)-int::P] - if s < 0 + if negative? s then [int,rootChar.high,rootChar.defPol] else |