Items tagged with assuming


The attached file demonstrates that a substitution into a piecewise function appears (sometimes) to execute the wrong half of the function.

If I use "assuming" instead of substitution, the assumption appears to get through to the piecewise function, but only sometimes.

I don't understand why this happens. Can anyone clarify what is going on? See below.

Thank you.



Maple does not find the product
product((k+a)*(k+b)/((k+c)*(k+d)), k = 1 .. infinity) assuming a > 0, b > 0, c > 0, d > 0, a+b = c+d;

                         GAMMA(c) GAMMA(d) infinity

Compare the results of isdifferentiable on 3 piecewise defined expressions f, g, and h.

The first time the order of the asking is f, g, h. The second time (after a restart) the order is h,g,f.

The results are remarkably different! What is going on?

isdifferentiable was first brought to my attention within the last week or so, maybe it is not reliable?

If you remove all the lines with 'assuming' then the inconsistency remains.


1 2 3 Page 3 of 3