posible bug - clashing variable names in integrals

-----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