Re: [Axiom-developer] Schaums-Axiom difference

[root]

>> I see a lot of non-reduced exponents of the form:
>> 
>>                      a log(z)
>>                    %e        
>
>This is "by definition" equal to z^a.  I'd think it is rather a question of
>output aesthetics whether we want to write z^a instead -- I'd say yes, we
>should output z^a if a does not have a log factor.  For computation I'd believe
>that %e^(a*log z) is better, especially because of
>
>%e^(log x*log z) = x^log z = z^log x

Barry Trager has pointed out to me that the integrator always wants
expressions like x^n to be represented as exp(n*log(x)) since the
integration algorithm recurses on the tower of generators involving
exps and logs. The infinite recursion bug is some kind of a bug in
the implementation but not related to simplification.

So, obviously, I don't have a clue. Ah, if only the sources were
literate. We could read what it was intended to do.... sigh.

Tim