aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/defintrf.spad.pamphlet3
1 files changed, 3 insertions, 0 deletions
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