diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-02-05 01:31:06 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-02-05 01:31:06 +0000 |
| commit | dd0a7e082512b1d16c314996870e01bf2e1e305d (patch) | |
| tree | 2564ccdc53b6e72a1c3dc862e641788cd2a8bb59 /src | |
| parent | bd82f853e448fd53da90b72db061bb996de35f17 (diff) | |
| download | open-axiom-dd0a7e082512b1d16c314996870e01bf2e1e305d.tar.gz | |
Fix AW/440
* algebra/integrat.spad.pamphlet
(integrate$FunctionSpaceComplexIntegration): Use complexIntegrate
for complex expressions.
* testsuite/aw-440.input: New.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 9 | ||||
| -rw-r--r-- | src/algebra/integrat.spad.pamphlet | 2 | ||||
| -rw-r--r-- | src/testsuite/aw-440.input | 4 |
3 files changed, 14 insertions, 1 deletions
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 <gdr@cs.tamu.edu> + Waldek Hebisch <hebisch@math.uni.wroc.pl> + + Fix AW/440 + * algebra/integrat.spad.pamphlet + (integrate$FunctionSpaceComplexIntegration): Use complexIntegrate + for complex expressions. + * testsuite/aw-440.input: New. + 2009-02-04 Waldek Hebisch <hebisch@math.uni.wroc.pl> Gabriel Dos Reis <gdr@cs.tamu.edu> 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) |