1 Feb
2007
1 Feb
'07
11:26 a.m.
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