1 Oct
2009
1 Oct
'09
5:49 p.m.
Vladimir V. Kisil wrote:
Dear Richard,
On Wed, 30 Sep 2009 23:39:25 +0200, "Richard B. Kreckel" <kreckel@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.