diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-02-05 01:18:12 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-02-05 01:18:12 +0000 |
| commit | bd82f853e448fd53da90b72db061bb996de35f17 (patch) | |
| tree | 22ea358631fc5506a16fc25bb3470ff072f5b9dd /src/algebra | |
| parent | cf32b86f933ac576e4f529ed0959cb6be25459e8 (diff) | |
| download | open-axiom-bd82f853e448fd53da90b72db061bb996de35f17.tar.gz | |
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.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/defintrf.spad.pamphlet | 3 |
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 |