Maple 9 Learning Guide - Maplesoft

6.2 Assumptions • 177∞Logarithms are multiple-valued. For general complex values of x, ln(e x )is different from x.> ln( exp( 3*Pi*I ) );π ITherefore, Maple does not simplify the following expression unless itis known to be correct, for example, when x is real.> ln(exp(x));ln(e x )> assume(x, real);> ln(exp(x));x~Testing the Properities of Unknowns You can use the is command todirectly test the properties of unknowns.> is( c>0 );true> is(x, complex);true> is(x, real);trueIn this next example, Maple still assumes that the variable a is negative.> eq := xi^2 = a;