On Sun, Jan 17, 2010 at 3:10 PM, Dieter Kaiser <drdieterkaiser at web.de>wrote:
> > evaluation of the power function is not implemented as complete as might
> > be necessary.
>
The power function should be just a thin convenience veneer on top of the
simplifier. All the real work should be happening in simpexpt.
Or perhaps you are just using 'the power function' as a shorthand for "the
simplification of a^b"?
-s