New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
conflicting branch cut conventions #9620
Comments
Attachment: pari-2.3.5.patch.gz |
Changed upstream from Not yet reported upstream; Will do shortly. to Reported upstream. Little or no feedback. |
comment:1
Reported upstream as http://pari.math.u-bordeaux.fr/cgi-bin/bugreport.cgi?bug=1084. |
comment:3
See #10430 |
Changed upstream from Reported upstream. Little or no feedback. to Fixed upstream, but not in a stable release. |
Reviewer: Richard B. Kreckel |
comment:5
Richard B. Kreckel wrote in an email: So, back to the review: I've checked that it works fine now. The results of pari(re+imI).f() are compatible with f(CDF(re,im)) and mpmath.f(re+Iim) in the entire complex plain, where f is any of asin, acos, atan, asinh, acosh, and atanh. thank you |
For multi-valued complex functions, the choice of principal values and where complex branch cuts are continuous is a matter of convention but there is a clear predominant convention which has been advocated by Kahan, can be found in Guy Steele's CLTL2 (chapter 12.5.3) and is implemented in most Lisp dialects, in the C99 standard, the upcoming C++0x standard, the CLN library, Mathematica, Maple, Sage's CDF, MPMath, and many others.
However, some libraries disagree with the predominant convention for branch cuts of inverse trigonometric and hyperbolic functions.
Unfortunately for Sage, Pari is one of the systems that disagree. This leads to surprising results that are difficult to explain to new users, like this fine example:
It turns out that all of Pari's branch cuts of inverse trigonometric and hyperbolic functions are somehow affected.
Luckily we don't disagree about roots and the logarithm any more. :-)
asin: The asin() function is not continuous as the cut is approached coming around the finite endpoint of the cuts in a counter clockwise direction.
acos: Pari picks an unconventional principal branch in the left complex plain.
atan: The atan() function is not continous as the cut is appraoched coming around the finite endpoint of the cut along the negative imaginary axis in a counter clockwise direction.
asinh: The asinh() function is not continuous as the cut is approached coming around the finite endpoint of the cuts in a counter clockwise direction.
acosh: Pari picks an unconventional principal branch in the lower complex plain.
atanh: The atan() function is not continous as the cut is appraoched coming around the finite endpoint of the cut along the positive real axis in a counter clockwise direction.
Applying the attached patch to Pari 2.3.5 in Sage 4.5.1 makes the implementations in sage.libs.mpmath, sage.libs.pari, and sage.rings.complex_double return the same values within numerical accuracy.
Upstream: Fixed upstream, but not in a stable release.
CC: @jdemeyer
Component: algebra
Reviewer: Richard B. Kreckel
Issue created by migration from https://trac.sagemath.org/ticket/9620
The text was updated successfully, but these errors were encountered: