Zulip Chat Archive

Stream: Is there code for X?

Topic: arctan2 / atan2

Jakob von Raumer (Jan 31 2025 at 08:52):

Do we not have atan2? Or more general, the conversion to polar coordinates on the real plane?

Markus Himmel (Jan 31 2025 at 09:04):

In docs#polarCoord, atan2 q for q a pair of real numbers is spelled as Complex.arg (Complex.equivRealProd.symm q).

Jakob von Raumer (Jan 31 2025 at 09:09):

(I would have assumed it to use Fin 2 -> ℝ and not ℝ × ℝ)

Last updated: May 02 2025 at 03:31 UTC