On Sun, Oct 22, 2017 at 12:07 AM, Dima Pasechnik <dimp...@gmail.com> wrote: > > > On Saturday, October 21, 2017 at 10:52:48 PM UTC+1, Emmanuel Charpentier > wrote: >> >> That doesn't tell us why Maxima thiks that this is a Cauch principal >> value. In fact : >> sage: integrate(1/cos(theta)^2,theta) >> tan(theta) >> which I remind having learned when I was about 15... >> >> Maxima bug ? > > > Maxima's definite integration package appears to be a big mess, > and it's not being given a lot of attention. > There are dozens of bugs of this sort on their bug tracker.
Which again, maybe calls into question the choice of Maxima as the default backend? I'm sure the reason for this has been explained before but it does seem like a strange thing to get wrong, especially for integrals I knew how to do in high school.... >> -- >> Emmanuel Charpentier >> >> Le vendredi 20 octobre 2017 08:39:03 UTC+2, Ralf Stephan a écrit : >>> >>> The immediate reason is that maxima returns: >>> Principal Value >>> (%o4) 2 >>> >>> and Sage since #7377 (7 years ago) catches "Principal Value" and makes it >>> divergent. >>> See https://trac.sagemath.org/ticket/7377 for reasons this was >>> introduced. >>> There are tickets that urge to fix this: >>> >>> https://trac.sagemath.org/ticket/13511 >>> https://trac.sagemath.org/ticket/17608 >>> >>> So it's a Sage bug in the Maxima interface. >>> >>> Regards, > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
