Re: [Axiom-developer] Schaums-Axiom difference

[Martin Rubey]

root <address@hidden> writes:

> My best guess is that the problem lies in the code that fails to
> simplify %e^(n log(x)) to x^n.

As I said before, I'm not sure whether this is really a simplification.  After
all, the *definition* of a^b is %e^(a*log b)

> Since it does not simplify, the call to varselect(kernels ....
> continue to loop since %e^(n log(x)) is a kernel. 

but a^b is a kernel, too!  I do not understand.



Martin