Exactly. You should use assume(x<b) rather than assume(x<=b). That
doesn't mean you need to write assume(x<b,not equal(x,b)).
On Thu, Mar 15, 2012 at 18:00, Edwin Woollett <woollett at charter.net> wrote:
> 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
>
>