mydefint1



On Mar. 15, 2012, I wrote
----------------------------
>You are correct that I found cases where I needed to insert both
>assumptions to avoid integrate questions.
----------------------------------
My example  suggests that I can 
avoid questions by using x < b rather than
x <= b.

-------------------------------------
(%i1) display2d:false$
(%i2) facts();
(%o2) []
(%i3) assume(x >= 0,x < 1)$
(%i4) integrate(integrate(log(x+y),y,0,1),x,0,1);
(%o4) (4*log(2)-3)/2
(%i5) forget(x >= 0,x < 1)$
(%i6) assume(x >= 0,x <= 1)$
(%i7) integrate(integrate(log(x+y),y,0,1),x,0,1);
Is  x-1.0  negative or zero?

n;
(%o7) (4*log(2)-3)/2
----------------------------------
Ted