aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog4
-rw-r--r--src/algebra/intef.spad.pamphlet4
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)