Items tagged with assuming

Feed

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.

restart;

1 2 3 Page 3 of 3