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/efupxs.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/efupxs.spad.pamphlet')
| -rw-r--r-- | src/algebra/efupxs.spad.pamphlet | 16 |
1 files changed, 8 insertions, 8 deletions
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" |