From 52fddea19454dc2b9bcb54c6edd5a4cd4f5765a9 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 12 Mar 2011 17:04:43 +0000
Subject: 	* src/algebra/: Systematically use negative? when comparing
 for 	less than 0.

---
 src/algebra/efupxs.spad.pamphlet | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'src/algebra/efupxs.spad.pamphlet')

diff --git a/src/algebra/efupxs.spad.pamphlet b/src/algebra/efupxs.spad.pamphlet
index 296c2777..88bc7237 100644
--- a/src/algebra/efupxs.spad.pamphlet
+++ b/src/algebra/efupxs.spad.pamphlet
@@ -168,7 +168,7 @@ ElementaryFunctionsUnivariatePuiseuxSeries(Coef,ULS,UPXS,EFULS):_
     acothIfCan upxs == applyIfCan(acothIfCan,upxs)
 
     asinIfCan upxs ==
-      order(upxs,0) < 0 => "failed"
+      negative? order(upxs,0) => "failed"
       (coef := coefficient(upxs,0)) = 0 =>
         integrate((1 - upxs*upxs)**(-1/2) * (differentiate upxs))
       TRANSFCN =>
@@ -177,14 +177,14 @@ ElementaryFunctionsUnivariatePuiseuxSeries(Coef,ULS,UPXS,EFULS):_
       "failed"
 
     acosIfCan upxs ==
-      order(upxs,0) < 0 => "failed"
+      negative? order(upxs,0) => "failed"
       TRANSFCN =>
         cc := acos(coefficient(upxs,0)) :: UPXS
         cc + integrate(-(1 - upxs*upxs)**(-1/2) * (differentiate upxs))
       "failed"
 
     asecIfCan upxs ==
-      order(upxs,0) < 0 => "failed"
+      negative? order(upxs,0) => "failed"
       TRANSFCN =>
         cc := asec(coefficient(upxs,0)) :: UPXS
         f := (upxs*upxs - 1)**(-1/2) * (differentiate upxs)
@@ -193,7 +193,7 @@ ElementaryFunctionsUnivariatePuiseuxSeries(Coef,ULS,UPXS,EFULS):_
       "failed"
 
     acscIfCan upxs ==
-      order(upxs,0) < 0 => "failed"
+      negative? order(upxs,0) => "failed"
       TRANSFCN =>
         cc := acsc(coefficient(upxs,0)) :: UPXS
         f := -(upxs*upxs - 1)**(-1/2) * (differentiate upxs)
@@ -202,27 +202,27 @@ ElementaryFunctionsUnivariatePuiseuxSeries(Coef,ULS,UPXS,EFULS):_
       "failed"
 
     asinhIfCan upxs ==
-      order(upxs,0) < 0 => "failed"
+      negative? order(upxs,0) => "failed"
       TRANSFCN or (coefficient(upxs,0) = 0) =>
         log(upxs + (1 + upxs*upxs)**(1/2))
       "failed"
 
     acoshIfCan upxs ==
       TRANSFCN =>
-        order(upxs,0) < 0 => "failed"
+        negative? order(upxs,0) => "failed"
         log(upxs + (upxs*upxs - 1)**(1/2))
       "failed"
 
     asechIfCan upxs ==
       TRANSFCN =>
-        order(upxs,0) < 0 => "failed"
+        negative? order(upxs,0) => "failed"
         (rec := recip upxs) case "failed" => "failed"
         log((1 + (1 - upxs*upxs)*(1/2)) * (rec :: UPXS))
       "failed"
 
     acschIfCan upxs ==
       TRANSFCN =>
-        order(upxs,0) < 0 => "failed"
+        negative? order(upxs,0) => "failed"
         (rec := recip upxs) case "failed" => "failed"
         log((1 + (1 + upxs*upxs)*(1/2)) * (rec :: UPXS))
       "failed"
-- 
cgit v1.2.3