exp(complex)^k



Am Donnerstag, den 20.01.2011, 13:11 -0500 schrieb Stavros Macrakis:
> declare(z,complex)$
> (%e^x)^y => %e^(x*y)
> (%e^z)^y => (%e^z)^y
> 
> Can I turn off "pedantic mode" so that the second yields %e^(z*y)?

It is the flag radexpand which switches off the "pedantic mode":

(%i13) declare(z,complex);
(%o13) done

(%i14) exp(z)^y;
(%o14) (%e^z)^y

(%i15) exp(z)^y,radexpand:all;
(%o15) %e^(y*z)

Dieter Kaiser