diff options
| -rw-r--r-- | src/ChangeLog | 8 | ||||
| -rw-r--r-- | src/algebra/defintrf.spad.pamphlet | 3 | ||||
| -rw-r--r-- | src/testsuite/interpreter/aw-441.input | 2 |
3 files changed, 13 insertions, 0 deletions
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 <hebisch@math.uni.wroc.pl> + Gabriel Dos Reis <gdr@cs.tamu.edu> + + 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 <gdr@cs.tamu.edu> * 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) |