Waldek Hebisch <[EMAIL PROTECTED]> writes: > > asin x = 2*atan(z/(sqrt(1-z^2)+1)) > > > > ? > > > > (It agrees *exactly*) > > > > Yes. However note that normaly definition from trigcat is _not_ > used for symbolic processing.
I know. What I'm looking for are formulas you accept as result of normalize, and which agree with the definition for their numeric counterparts. The formula above would be correct for asin. Curiously, I couldn't find a formula for acos, that does not involve %pi. Is such a formula impossible??? Martin --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en -~----------~----~----~----~------~----~------~--~---
