rtoy / maxima

A Clone of Maxima's repo
Other
0 stars 0 forks source link

Assumption seems to be ignored in integration #777

Open rtoy opened 1 month ago

rtoy commented 1 month ago

Imported from SourceForge on 2024-07-03 10:34:32 Created by kcrisman on 2014-10-29 02:06:05 Original: https://sourceforge.net/p/maxima/bugs/2829


From https://groups.google.com/forum/#!topic/sage-support/L75JgocZc3I verbatim (but the syntax for Maxima should be very similar here):

a,b=var('a b');
assume(4*b^2-4*a^2<0);
assume((b-a)*(b+a)<0);
integrate(1/(a-b*sin(x)),x,-oo,oo)

It complains and asks whether (b-a)*(b+a) is negative or positive.

rtoy commented 1 month ago

Imported from SourceForge on 2024-07-03 10:34:33 Created by kcrisman on 2014-10-29 02:07:25 Original: https://sourceforge.net/p/maxima/bugs/2829/#42e4


Downstream at http://trac.sagemath.org/ticket/17249

rtoy commented 1 month ago

Imported from SourceForge on 2024-07-03 10:34:37 Created by robert_dodier on 2014-10-29 20:51:46 Original: https://sourceforge.net/p/maxima/bugs/2829/#780c