[GiNaC-devel] Powers of exponents
stephen at missouri.edu
Thu Oct 1 17:49:03 CEST 2009
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.
More information about the GiNaC-devel