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/fr.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/fr.spad.pamphlet')
-rw-r--r-- | src/algebra/fr.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/fr.spad.pamphlet b/src/algebra/fr.spad.pamphlet index de6755c7..a77e5370 100644 --- a/src/algebra/fr.spad.pamphlet +++ b/src/algebra/fr.spad.pamphlet @@ -444,7 +444,7 @@ which causes wrong results as soon as units are involved, for example in v1 := u * reciprocal v goodQuotient:Boolean := true while (goodQuotient and (not empty? x1)) repeat - if x1.first.xpnt < 0 + if negative? x1.first.xpnt then goodQuotient := false else x1 := rest x1 goodQuotient => v1 @@ -457,7 +457,7 @@ which causes wrong results as soon as units are involved, for example in for x in factorList u repeat ucar := unitNormal(x.fctr) e := abs(x.xpnt)::NonNegativeInteger - if x.xpnt < 0 + if negative? x.xpnt then -- associate is recip of unit un := un * (ucar.associate ** e) as := as * (ucar.unit ** e) |