diff options
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | 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,5 +1,9 @@ 2008-08-31 Waldek Hebisch <hebisch@math.uni.wroc.pl> + * algebra/intef.spad.pamphlet: Fix Bug AW308. + +2008-08-31 Waldek Hebisch <hebisch@math.uni.wroc.pl> + * algebra/gaussian.spad.pamphlet: Fix Bug AW15. 2008-08-31 Waldek Hebisch <hebisch@math.uni.wroc.pl> 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) |