Skip to content

Redundant question after assumption in integration #17249

Open
@kcrisman

Description

@kcrisman

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.

Upstream: Reported upstream. Developers acknowledge bug.

CC: @sagetrac-jakobkroeker

Component: calculus

Issue created by migration from https://trac.sagemath.org/ticket/17249

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions