(a^b)^c--->a^(b*c)



Am Samstag, den 02.07.2011, 17:35 +0900 schrieb Part Marty:
> Please tell me easy conversion formula.
>  
> How can I convert from "(a^b)^c" to "a^(b*c)"?

In general, the desired simplification is true, if the variable a is
positive. When setting the option variable radexpand to true, Maxima
assumes all variables to be real and positive:

(%i2) radexpand:all$

(%i3) (a^b)^c;
(%o3) a^(b*c)

(%i4) reset(radexpand)$

A second way is to assume the variable a to be positive:

(%i7) assume(a>0)$

(%i8) (a^b)^c;
(%o8) a^(b*c)

Dieter Kaiser