[GiNaC-list] I'm ready for the new release.
Chris.Dams at mi.infn.it
Thu Feb 1 11:26:46 CET 2007
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.
More information about the GiNaC-list