Opened 6 years ago
Last modified 4 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 6 years ago by
- Report Upstream changed from N/A to Reported upstream. Developers acknowledge bug.
comment:2 Changed 4 years ago by
- Cc jakobkroeker added
Seems fixed meanwhile (sage 7.6 beta4). Add a test?
Note: See
TracTickets for help on using
tickets.
Upstream at https://sourceforge.net/p/maxima/bugs/2829/