From dd0a7e082512b1d16c314996870e01bf2e1e305d Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 5 Feb 2009 01:31:06 +0000 Subject: Fix AW/440 * algebra/integrat.spad.pamphlet (integrate$FunctionSpaceComplexIntegration): Use complexIntegrate for complex expressions. * testsuite/aw-440.input: New. --- src/ChangeLog | 9 +++++++++ src/algebra/integrat.spad.pamphlet | 2 +- src/testsuite/aw-440.input | 4 ++++ 3 files changed, 14 insertions(+), 1 deletion(-) create mode 100644 src/testsuite/aw-440.input (limited to 'src') diff --git a/src/ChangeLog b/src/ChangeLog index a2f12f8c..73f2297f 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,12 @@ +2009-02-04 Gabriel Dos Reis + Waldek Hebisch + + Fix AW/440 + * algebra/integrat.spad.pamphlet + (integrate$FunctionSpaceComplexIntegration): Use complexIntegrate + for complex expressions. + * testsuite/aw-440.input: New. + 2009-02-04 Waldek Hebisch Gabriel Dos Reis diff --git a/src/algebra/integrat.spad.pamphlet b/src/algebra/integrat.spad.pamphlet index ab2eb2be..97eb0d2e 100644 --- a/src/algebra/integrat.spad.pamphlet +++ b/src/algebra/integrat.spad.pamphlet @@ -195,7 +195,7 @@ FunctionSpaceIntegration(R, F): Exports == Implementation where not empty? rest rest l integrate(f, x) == - not real? f => complexIntegrate(f, x) + R has complex or not real? f => complexIntegrate(f, x) f := distribute(f, x::F) tf := [k for k in tower f | member?(x, variables(k::F)@List(SE))]$List(K) ltf := select(is?(operator #1, "tan"::SE), tf) diff --git a/src/testsuite/aw-440.input b/src/testsuite/aw-440.input new file mode 100644 index 00000000..ed11c072 --- /dev/null +++ b/src/testsuite/aw-440.input @@ -0,0 +1,4 @@ +-- Contributed by Martin Rubey +-- Also similar to AW/442 +integrate(log(1-z^3)*(%i*z)^(1/2),z) +integrate(csc(z)*(1-1/(%iz)^(1/2))^(1/2),z) -- cgit v1.2.3