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/ChangeLog | 6 ++++++ src/algebra/defintef.spad.pamphlet | 8 ++++---- src/input/aw-292.input | 5 +++++ src/input/mapleok.input.pamphlet | 4 ++-- 4 files changed, 17 insertions(+), 6 deletions(-) create mode 100644 src/input/aw-292.input (limited to 'src') diff --git a/src/ChangeLog b/src/ChangeLog index 637d3a64..b77c8bce 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,9 @@ +2008-10-13 Waldek Hebisch + + Fix AW/292 + * algebra/defintef.spad.pamphlet (checkForPole): Handler exponention. + (checkSMP): Likewise. + 2008-10-13 Waldek Hebisch Fix AW/23 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 diff --git a/src/input/aw-292.input b/src/input/aw-292.input new file mode 100644 index 00000000..7a5ddb00 --- /dev/null +++ b/src/input/aw-292.input @@ -0,0 +1,5 @@ +-- +-- expected: (1 - cos(1)*sin(1))/2 +-- +integrate(sin(x)^2,x=0..1) + diff --git a/src/input/mapleok.input.pamphlet b/src/input/mapleok.input.pamphlet index bce65f47..652a3a03 100644 --- a/src/input/mapleok.input.pamphlet +++ b/src/input/mapleok.input.pamphlet @@ -2950,7 +2950,7 @@ in2045:=integrate(atan(1/tan(z)), z= 0..2*%pi) -- - 3%pi -- Type: Union(f1: OrderedCompletion Expression Integer,...) -in1502a:=integrate(log(z)^2*log(-z), z= 0..%plusInfinity,"noPole") +in1502a:=integrate(log(z)^2*log(-z), z= 0..%plusInfinity) -- -- + infinity -- Type: Union(f1: OrderedCompletion Expression Integer,...) @@ -3988,7 +3988,7 @@ in2094a:=integrate(asinh(z)-acoth(z), z= -1..1,"noPole") -- 2 -- Type: Union(f1: OrderedCompletion Expression Integer,...) -in2096a:=integrate(log(z)^2, z= %minusInfinity..%plusInfinity,"noPole") +in2096a:=integrate(log(z)^2, z= %minusInfinity..%plusInfinity) -- -- + infinity -- Type: Union(f1: OrderedCompletion Expression Integer,...) -- cgit v1.2.3