[GiNaC-devel] Fixing log evaluation for powers

[Vladimir V. Kisil]

	Dear All,

	Making check on current master, I noticed that the following
  test

  if (!ex(log(pow(p,a))).is_equal(a*log(p)))
     ++result;

  from exam_inifnc.cpp failed. I think that the evaluation rule

  log(p^a) -> a*log(p), if p>0 and a is real

  falls out of inifcns_trans.cpp. I am attaching the corresponding
  patch.

  Best wishes,
  Vladimir
-- 
Vladimir V. Kisil     email: kisilv at maths.leeds.ac.uk
                        www: http://www.maths.leeds.ac.uk/~kisilv/
Book: Geometry of Mobius Transformations
http://www.worldscientific.com/worldscibooks/10.1142/p835
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0002-Fixing-log-evaluation-of-a-power.patch
Type: text/x-diff
Size: 938 bytes
Desc: patch file
URL: <http://www.ginac.de/pipermail/ginac-devel/attachments/20131104/dbd0675f/attachment.bin>