From bd82f853e448fd53da90b72db061bb996de35f17 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 5 Feb 2009 01:18:12 +0000 Subject: 2009-02-04 Waldek Hebisch Gabriel Dos Reis Fix AW/441 * algebra/defintrf.spad.pamphlet (findRealZero$DefiniteIntegrationTools): Deal with simple zeros. * testsuite/interpreter/aw-441.input: New. --- src/ChangeLog | 8 ++++++++ src/algebra/defintrf.spad.pamphlet | 3 +++ src/testsuite/interpreter/aw-441.input | 2 ++ 3 files changed, 13 insertions(+) create mode 100644 src/testsuite/interpreter/aw-441.input (limited to 'src') diff --git a/src/ChangeLog b/src/ChangeLog index ad753d16..a2f12f8c 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,11 @@ +2009-02-04 Waldek Hebisch + Gabriel Dos Reis + + Fix AW/441 + * algebra/defintrf.spad.pamphlet + (findRealZero$DefiniteIntegrationTools): Deal with simple zeros. + * testsuite/interpreter/aw-441.input: New. + 2009-02-04 Gabriel Dos Reis * algebra/gaussian.spad.pamphlet (ComplexCategory): Reinstate diff --git a/src/algebra/defintrf.spad.pamphlet b/src/algebra/defintrf.spad.pamphlet index fc89b11f..dc594733 100644 --- a/src/algebra/defintrf.spad.pamphlet +++ b/src/algebra/defintrf.spad.pamphlet @@ -170,6 +170,9 @@ DefiniteIntegrationTools(R, F): Exports == Implementation where [[q::Q, t::Q]] findRealZero(p, i, incl?) == + -- Multiplicities of zeros are irrelevant, and in fact + -- this functions can handle only simple zeros. + p := squareFreePart p i case fin => l := realZeros(p, r := i.fin) incl? => l diff --git a/src/testsuite/interpreter/aw-441.input b/src/testsuite/interpreter/aw-441.input new file mode 100644 index 00000000..49ed2909 --- /dev/null +++ b/src/testsuite/interpreter/aw-441.input @@ -0,0 +1,2 @@ +-- Contributed by Martin Rubey +integrate(log(z-1)*z/(z^2 - 1)^2,z=1..%plusInfinity) -- cgit v1.2.3