[Axiom-developer] [#47 complexForm(log(%i) - log(-%i))] atan(tan(3))

[wyscc]

Changes 
http://page.axiom-developer.org/zope/mathaction/47ComplexFormLogILogI/diff
--
Thanks for this pointer. I would prefer to classify 'tan(3)' as belonging to 
the hypothetical 'SymbolicFloat' rather than to 'EXPR INT' and the same for 
'atan(tan(3))'. The definition of the single argument 'atan' chooses by 
convention a unique answer in $(-\pi/2, \pi/2)$ where 'tan' is monotone. Axiom 
is constrained by its type system to provide an answer within 'EXPR INT' and 
view 'atan' as a more generalized inverse (that is, no longer a *function*) and 
multiple answers are possible.  The (applied) scientific community probably 
prefers invoking the 'Float' or 'DoubleFloat' version of 'atan' and 'tan', and 
they can, by simply changing '3' to '3.0'.
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden