[Maxima] another bug in integrate (5.27.0)
jerome.laurens at u-bourgogne.fr
Tue Jun 26 16:27:26 CDT 2012
consider the following code
the result is
whereas it should be
+√3 instead of -√3 in the lower bound.
One can imagine that to find the new integral bounds changevar is using
which gives exactly the two solutions -√3 and +√3
unfortunately, changevar picks up the wrong one.
One would expect changevar to choose the solution that fulfills the requirements in facts(),
or at least inform the user that some solution may be lost.
More friendly: in case of an untractable choice, maxima should give both answers and let the client make its own decision.
More information about the Maxima