diff options
| author | alfredoport <doyenatccny@gmail.com> | 2008-08-31 15:51:33 +0000 |
|---|---|---|
| committer | alfredoport <doyenatccny@gmail.com> | 2008-08-31 15:51:33 +0000 |
| commit | c7d5e1b5ce8be88351a109b8a48592c50c457314 (patch) | |
| tree | 693d2034d05a6e1a4aae0f87a6c795272d63d699 /src/algebra/intef.spad.pamphlet | |
| parent | 57dc994dc5354c1d8b9d823baa5befc8b2f50b03 (diff) | |
| download | open-axiom-c7d5e1b5ce8be88351a109b8a48592c50c457314.tar.gz | |
Fix Bug AW308.
Diffstat (limited to 'src/algebra/intef.spad.pamphlet')
| -rw-r--r-- | src/algebra/intef.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
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) |