aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/ChangeLog8
-rw-r--r--src/algebra/defintrf.spad.pamphlet3
-rw-r--r--src/testsuite/interpreter/aw-441.input2
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)