[Maxima] posible bug - clashing variable names in integrals
willisb at unk.edu
Sun Oct 4 07:18:30 CDT 2009
-----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
I tried declare(integrate,outative). That doesn't work. (Actually,
is outative by default.) Maybe you can write a tellsimp rule, defrule, or a
that does the transformation that you want.
I wrote the code that does is(equal(lambda([x], f(x)), lambda([y], f(y))))
So naturally, I agree that is(equal(integrate(f(x),x,a,b), integrate(f
(y),y,a,b))) --> true
is better than unknown.
More information about the Maxima