[sage-support] Additionnal constraints are never enough

2011-03-07 Thread Maxim
Hello, I'd like to know if it's possible to get Sage to process the following integrals: reset() var('x y z') assume(z>-16) assume(z<0) integrate(integrate(1/16,y,-2,(z+2*x+4)/(x+2)),x,(-z-8)/4,2) Sage always return: "Is z+16 positive, negative, or zero?" Maxim -- To post to this group, send

[sage-support] full_simplify and trig_simplify

2011-03-07 Thread Juan Luis Varona
Dear sagefriends, (sorry for my English) Let us define var('t'); q=sin(t)^2 + cos(t)^2 By using simplify(q) we again get sin(t)^2 + cos(t)^2 Instead of simplify() we can use full_simplify() and trig_simplify(). But both full_simplify(q) and trig_simplify(q) give an error message. You must

[sage-support] Re: Additionnal constraints are never enough

2011-03-07 Thread Maxim
Maple is able to solve this using the following code: restart; assume(z<0); int(int(1/16,y=-2..(z+2*x+4)/(x+2)),x=(-z-8)/4..2); 1 1 1 -- z + 1 + - z ln(2) - -- z ln(-z) 16 4 16 -- To post to this

Re: [sage-support] Additionnal constraints are never enough

2011-03-07 Thread D. S. McNeil
> integrate(integrate(1/16,y,-2,(z+2*x+4)/(x+2)),x,(-z-8)/4,2) Seems to work for me: -- | Sage Version 4.6.1, Release Date: 2011-01-11 | | Type notebook() for the GUI, and license() for information.|

[sage-support] Re: Additionnal constraints are never enough

2011-03-07 Thread Maxim
Repeating the steps in the exact order you provided them from a freshly started Sage does indeed work. But, after a "reset()" command, it does not work anymore. Try the following code: var('x y z') assume(z+16>0); assume(z<0) integrate(integrate(1/16,y,-2,(z+2*x+4)/(x+2)),x,(-z-8)/4,2) reset()

Re: [sage-support] Re: Additionnal constraints are never enough

2011-03-07 Thread D. S. McNeil
> But, after a "reset()" command, it does not work anymore. Confirmed. Well, that ain't proper. Could you try "reset(); forget();" instead of "reset()"? Right now assumptions survive a reset in a broken state (try assumptions() before and after the reset and you'll see them still listed even if