Opened 5 years ago

Last modified 3 years ago

#17249 new defect

Redundant question after assumption in integration

Reported by: kcrisman Owned by:
Priority: major Milestone: sage-6.4
Component: calculus Keywords:
Cc: jakobkroeker Merged in:
Authors: Reviewers:
Report Upstream: Reported upstream. Developers acknowledge bug. Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

From ​https://groups.google.com/forum/#!topic/sage-support/L75JgocZc3I verbatim: 

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.

Change History (2)

comment:1 Changed 5 years ago by kcrisman

  • Report Upstream changed from N/A to Reported upstream. Developers acknowledge bug.

Upstream at ​https://sourceforge.net/p/maxima/bugs/2829/

comment:2 Changed 3 years ago by jakobkroeker

  • Cc jakobkroeker added

Seems fixed meanwhile (sage 7.6 beta4). Add a test?

Note: See TracTickets for help on using tickets.