> > > > >> Using SageMathCloud I was surprised to find this bug: > >> > >> integral(sqrt(cos(x)-cos(x)^3), x, 0, pi/2) > >> -2/3 > >> > >> The correct result is 2/3 (luckily I noticed that something was wrong > >> because the result must be positive!) > > > Usually such things are due to abs_integrate (see e.g. > > http://trac.sagemath.org/ticket/12731 and > > http://trac.sagemath.org/wiki/symbolics), but interestingly, > abs_integrate > > comes to the *rescue* when domain:real. The problem here is due to > > domain:complex (which is our default). > > After looking at this, I think it's a limit bug. domain:complex comes > into play because it causes integrate to return a different form of the > antiderivative, for which the computed limit at 0 is incorrect (although > the behavior of limit seems to be the same for domain:real and > domain:complex). > > Reported as: https://sourceforge.net/p/maxima/bugs/3126/ > >
Thanks for following up on this - I must have not had time to report it that day :( -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
