[GiNaC-devel] Simplifying powers

[Vladimir V. Kisil]

	Dear Richy and Alexei,

	Many thanks for the commments, I will try to implement
  them. Meanwhile, here is another small proposition: to allow GiNaC
  the rewriting rule of  exponents: 

  (x^c1)^c2 -> x^(c1 * c2) 

  for the additional case of c1=-1 and c2>0. It was explicitly forbidden
  in exam_powerlaws.cpp, but it seems to be a rudiment of old times,
  when GiNaC was not aware of positiveness.

  I am including the respective 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: 0001-Add-the-case-of-c1-1-and-c2-0-to-the-rewriting-rule-.patch
Type: text/x-diff
Size: 2978 bytes
Desc: Git patch
URL: <http://www.ginac.de/pipermail/ginac-devel/attachments/20130729/f824d14a/attachment.bin>