[Axiom-developer] How to convert %i*log(-%i) - %i*log(%i) into %pi ?

[Vladimir Bondarenko]

Hi *,

Is the following a case of total simplification failure (a certain
bug from the user's point... unless AXIOM is not targeted for
Martians who as known have no need in simplification whatsoever :)

or

it is still possible to get  %pi  out of the lengthy expression
%i*log(-%i) - %i*log(%i)

?

Given my previous posting about complexForm, I mean maybe just a way
to expel those nasty logarithms and see the real and imaginary parts
not intertwined rather than a correct answer.

Any, maybe even a very cumbersome way?

.....................................................................

-> simplify(%i*log(-%i) - %i*log(%i))

     %i log(- %i) - %i log( %i)

-> normalize(%i*log(-%i) - %i*log(%i))

     %i log(- %i) - %i log( %i)
     
-> complexNormalize(%i*log(-%i) - %i*log(%i))

     %i log(- %i) - %i log( %i)
     
.....................................................................


Much thanks for any help in advance.


Best,

Vladimir