AngouriMath

Navigation

← Back to list of members

Arcsin​(System.​Numerics.​Complex)

 Method (no overloads)

Summary

The arcsine the library evaluates to.

Remarks

Asin(System.Numerics.Complex) agrees with
Evaled everywhere except on the two branch cuts, the real
arguments outside [-1, 1], where it takes the upper side and the library takes the
lower one: the library reads arcsin(3) as pi/2 - 1.7627i, and
Complex as pi/2 + 1.7627i.
Conjugating on the cut is the whole of the difference. Measured over a grid of 63
points spanning both cuts, both sides of each and the interval between them, this
agrees with Evaled at every one.
The FE compiler used to conjugate unconditionally, which is right on the
cut -- the only place anything tested it -- and wrong everywhere else. It made
compiled arcsine the conjugate of the arcsine, so sin(arcsin(z)) came back
as the conjugate of z and arcsin(z) + arccos(z) was not pi/2 off the real
axis. Newton's method felt it as a divergence away from a root it was started on:
see https://github.com/asc-community/AngouriMath/issues/115.

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online