aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/defintef.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/defintef.spad.pamphlet')
-rw-r--r--src/algebra/defintef.spad.pamphlet8
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