From c7d5e1b5ce8be88351a109b8a48592c50c457314 Mon Sep 17 00:00:00 2001 From: alfredoport Date: Sun, 31 Aug 2008 15:51:33 +0000 Subject: Fix Bug AW308. --- src/ChangeLog | 4 ++++ src/algebra/intef.spad.pamphlet | 4 ++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/src/ChangeLog b/src/ChangeLog index bc0b9d78..3ce992c6 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2008-08-31 Waldek Hebisch + + * algebra/intef.spad.pamphlet: Fix Bug AW308. + 2008-08-31 Waldek Hebisch * algebra/gaussian.spad.pamphlet: Fix Bug AW15. diff --git a/src/algebra/intef.spad.pamphlet b/src/algebra/intef.spad.pamphlet index 0ba69df7..c6b93681 100644 --- a/src/algebra/intef.spad.pamphlet +++ b/src/algebra/intef.spad.pamphlet @@ -229,7 +229,7 @@ ElementaryIntegration(R, F): Exports == Implementation where lfextendedint(f, x, g) == empty?(l := varselect(kernels f, x)) => [x::F * f, 0] - symbolIfCan(k := kmax(l := union(l, varselect(kernels g, x)))) + symbolIfCan(k := kmax(l)) case SE => map(multivariate(#1, k), extendedint(univariate(f, k), univariate(g, k))) @@ -240,7 +240,7 @@ ElementaryIntegration(R, F): Exports == Implementation where lflimitedint(f, x, lu) == empty?(l := varselect(kernels f, x)) => [x::F * f, empty()] - symbolIfCan(k := kmax(l := union(l, vark(lu, x)))) case SE => + symbolIfCan(k := kmax(l)) case SE => map(multivariate(#1, k), limitedint(univariate(f, k), [univariate(u, k) for u in lu])) is?(k, "exp"::SE) => explimint(f, x, k, lu) -- cgit v1.2.3