[GiNaC-devel] Some more evaluation rules for abs()

[Vladimir V. Kisil]

	Dear Alexei,
>>>>> On Wed, 31 Jul 2013 10:30:26 +0300, Alexei Sheplyakov <alexei.sheplyakov at gmail.com> said:
    ASh> Hence |Z^A| = exp(Re(A) ln|Z| - Im(A) arg(Z)) = |Z|^Re(A)
    ASh> exp(-Im(A) arg(Z))

    Thanks for pointing out my error. Since, this evaluation can lead to
  a more complex expression in general, I reduced it to two cases
  Im(A)=0 or arg(Z=0). The corrected patch is attached.

  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: 0005-Some-more-evaluation-rules-for-abs.patch
Type: text/x-diff
Size: 2418 bytes
Desc: Git patch
URL: <http://www.cebix.net/pipermail/ginac-devel/attachments/20130731/03d0cbaa/attachment.bin>