Advanced Search

Question: piecewise, simplification and 'is'

Question:piecewise, simplification and 'is'

Axel Vogt 5906 Maple
convert
July 19 2007
0
Why Maple 11 does not reply by true for the following snipped:

assume(m::real):
PIECEWISE([exp(m)-exp(-m), m <= 0],[0, 0 < m]) = min(0, exp(m)-exp(-m));
convert(%,piecewise,m);
is(%);

It handles the 3 cases 0<m, m=0, 0<m correctly. I find that strange.
Please Wait...