[GiNaC-devel] Powers of exponents

[Stephen Montgomery-Smith]

Vladimir V. Kisil wrote:
> 		Dear Richard,
> 
>>>>>> On Wed, 30 Sep 2009 23:39:25 +0200, "Richard B. Kreckel" <kreckel at ginac.de> said:
> 
>     RK> The rewriting rule pow(exp(x),a) -> exp(a*x) is not correct in
>     RK> the general complex case. Consider a=1/2 and x=-I*Pi, for
>     RK> instance. 
> 
> 	Thanks for pointing out this. I am attaching a patch which do the
>   substitution only for real x and a.

It will also be true for arbitrary x if a is an integer.