Fix AW/292

	* algebra/defintef.spad.pamphlet (checkForPole): Handler exponention.
	(checkSMP): Likewise.

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