diff options
Diffstat (limited to 'src/algebra/defintef.spad.pamphlet')
-rw-r--r-- | src/algebra/defintef.spad.pamphlet | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/defintef.spad.pamphlet b/src/algebra/defintef.spad.pamphlet index 5e654da2..9426ab08 100644 --- a/src/algebra/defintef.spad.pamphlet +++ b/src/algebra/defintef.spad.pamphlet @@ -136,8 +136,7 @@ ElementaryFunctionDefiniteIntegration(R, F): Exports == Implementation where (w := checkSMP(t, x, k, a, b)) case "failed" => return w if w::B then n := n + 1 zero? n => false -- no summand has a pole --- one? n => true -- only one summand has a pole - (n = 1) => true -- only one summand has a pole + one? n => true -- only one summand has a pole "failed" -- at least 2 summands have a pole (z := isExpt p) case "failed" => "failed" kk := z.var |