>
>
> 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.  This 
> is redundatnt as I have already made this clear above.  Is this a bug, or 
> am I missing something?
>

Unfortunately, Maxima's assumption mechanism (and hence Sage's) is (in 
their words) fairly weak.  So I don't know that it can do much with that 
particular type of assumption, though in the interactive mode Maxima will 
of course allow you to answer this.

I wonder what happens if you instead assume b^2<a^2 or b<a or something?

- kcrisman 

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

Reply via email to