[GiNaC-devel] Even powers of modulus are rationalized

[Vladimir V. Kisil]

	Dear All,

	I believe that |z|^2= z*conjugate(z) is valid for any z. Also,
  the automatic substitution 

  abs(z)^(2n) -> z^n * conjugate(z)^n 

  shall make an expression more rational and, thus, more accessible to
  GiNaC. Therefore, I propose the attached alteration of abs_power().

  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: 0004-Even-powers-of-modulus-are-rationalized.patch
Type: text/x-diff
Size: 1192 bytes
Desc: patch file
URL: <http://www.cebix.net/pipermail/ginac-devel/attachments/20131105/ab510105/attachment.bin>