From 1b563ad4798a9e1212841694616a86876877ed28 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 14 Oct 2008 03:09:19 +0000 Subject: Fix AW/292 * algebra/defintef.spad.pamphlet (checkForPole): Handler exponention. (checkSMP): Likewise. --- src/algebra/defintef.spad.pamphlet | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/algebra/defintef.spad.pamphlet') diff --git a/src/algebra/defintef.spad.pamphlet b/src/algebra/defintef.spad.pamphlet index b8f542cb..5e654da2 100644 --- a/src/algebra/defintef.spad.pamphlet +++ b/src/algebra/defintef.spad.pamphlet @@ -105,8 +105,8 @@ ElementaryFunctionDefiniteIntegration(R, F): Exports == Implementation where for t in v::List(P) repeat ((w := checkFor0(t, x, a, b)) case "failed") or (w::B) => return w false - (r := retractIfCan(p)@Union(K, "failed")) case "failed" => "failed" - k := r::K + (z := isExpt p) case "failed" => "failed" + k := z.var -- functions with no real zeros is?(k, "exp"::SE) or is?(k, "acot"::SE) or is?(k, "cosh"::SE) => false -- special case for log @@ -139,8 +139,8 @@ ElementaryFunctionDefiniteIntegration(R, F): Exports == Implementation where -- one? n => true -- only one summand has a pole (n = 1) => true -- only one summand has a pole "failed" -- at least 2 summands have a pole - (r := retractIfCan(p)@Union(K, "failed")) case "failed" => "failed" - kk := r::K + (z := isExpt p) case "failed" => "failed" + kk := z.var -- nullary operators have no poles nullary? operator kk => false f := first argument kk -- cgit v1.2.3