[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: wyscc
Subject: [Axiom-developer] [#47 complexForm(log(%i) - log(-%i))] atan(tan(3))
Date: Sun, 17 Jul 2005 14:15:53 -0500

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]