Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Alternative atan2 (was Re: Motion 52: final ...)



Thanks, John.

Yes, that is part of the idea, but there is also the problem of large interval angle reduction in connection with trig functions.

The problem is there are many such things and fundamentally different alternatives which cannot be handled with more and more patches to the existing framework.

This is the motivation for my "relaxed" flavor option, which in a way is more stringent than the current standard, which is based on a mathematically inconsistent framework.

Cheers,

Bill


On 11/27/13 3:46 AM, John Pryce wrote:
P1788

On 2013 Nov 26, at 02:06, Vincent Lefevre wrote:
On 2013-11-25 15:35:13 -0500, Michel Hack wrote:
I just skimmed the article, and if I understand it correctly, the point
it makes is that, for intervals, the restriction of the atan2() range
to [-\pi, +\pi] would force some evaluations to return the essentially
useless [-\pi, +\pi] instead of a sharp enclosure that straddles \pi.

The same may apply to the other inverse-trig functions.
I think that atan2 is a bit particular. Do you have an example
with a conventional inverse-trig function (asin, acos, atan)?
I think atan2 is the only one that can be "improved" by this method. Basically, for any box (yy,xx) in R^2 that doesn't contain (0,0), but meets the usual branch cut of atan2, the idea is to rotate the branch cut out of the way of the box. Depending on the rule for which direction to rotate, one gets different answers for the range of the resulting function. Bill, is that right?

It's a neat idea. Jürgen, would you consider adding this to function to our list (recommended, I would say)? Who supports this?

John Pryce