[GiNaC-list] I'm ready for the new release.

[Chris Dams]

Dear Richy,

On Wed, 31 Jan 2007, Richard B. Kreckel wrote:

> >(1) Added a simplification rules for powers that turns (x^a)^b into 
> >x^(a*b) in the case that x is positive and a is real.
> 
> I'm sure you have a proof for that but the CVS file doc/powerlaws.tex 
> has escaped your attention, right? Sorry for the weird location.  :-)

Yes, I now added the proof to this file.

Best,
Chris