diff options
Diffstat (limited to 'src/algebra/defintef.spad.pamphlet')
| -rw-r--r-- | src/algebra/defintef.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
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 |