[Maxima] posible bug - clashing variable names in integrals

[Barton Willis]

-----maxima-bounces at math.utexas.edu wrote: -----

>All I want to do is to use Maxima to do proofs where factoring expressions
>of the form
>
>integral(integral(f(x),x,a,b)*g(x),x,c,d)
>
>into
>
>integral(f(x),x,a,b)*(integral(g(x),x,a,b)
>

I tried declare(integrate,outative). That doesn't work. (Actually,
integrate
is outative by default.) Maybe you can write a tellsimp rule, defrule, or a
let
that does the transformation that you want.

I wrote the code that does is(equal(lambda([x], f(x)), lambda([y], f(y))))
--> true.
So naturally, I agree that is(equal(integrate(f(x),x,a,b), integrate(f
(y),y,a,b))) --> true
is better than unknown.

Barton