This is where I have got to: (formatted version, not quite up to date, below)Robert wrote:PS - I will update the Docu proposal, but it may take a couple of days.
I do not like NF for negative finite - it looks too similar to INF.
Code: Select all
PROCEDURE ArcTan2 (y, x: REAL): REAL
Returns the argument (angle) of the complex number x + iy measured anti-clockwise from the positive real axis.
All input pairs, including (0., 0.), are valid.
Post
-pi <= result <= pi
The following table lists the IEEE 754-2008 "special values" of the function:
y x result y x result
-INF -INF -3 pi / 4 -INF INF -pi / 4
neg -INF -pi neg INF -0
-0 -INF -pi -0 INF -0
+0 -INF pi +0 INF +0
pos -INF pi pos INF +0
INF -INF 3 pi / 4 INF INF pi / 4
-INF +0 -pi / 2 -INF -0 -pi / 2
neg +0 -pi / 2 neg -0 -pi / 2
-0 +0 -0 -0 -0 -pi
+0 +0 +0 +0 -0 pi
pos +0 pi / 2 pos -0 pi / 2
INF +0 pi / 2 INF -0 pi / 2
-INF neg -pi / 2 -INF pos -pi / 2
-0 neg -pi -0 pos -0
+0 neg pi +0 pos +0
INF neg pi / 2 INF pos pi / 2
Key:
+0 The zero with a positive sign bit (0)
-0 The zero with a negative sign bit (1)
pos Any finite positive number in (0 ... INF)
neg Any finite negative number in (-INF ... 0)
hXhC6FU1xhiZiVBhihgmRiioedhgrZcZRiXFfaqmSrtuGfa4700zdGrr8rmCLLCJuyKtYcZRiX
7.2.s,6oF.,k,5TWyql.bnayKmKKqGomC5XzET1.PuP.MHT9N9ntumaU2,CJuyKtQC98P9PP7O
NbXmb.2.oX6k2E9W.,6.cUGpmWLuOpoKqvCbHZiYpedhA704TeKKw.bHfEWUmL.6..D.,y,6.,
sUGpmWbBxhYhAbndMHT9NY6Mw.sQq2Y6cwB.0.zd,w,wa4E.2.Im0U00.bnUGLu8ro8quGrmCL
WKqtE0E.kJE.0.x6.2U.U,U.AcmBhVZBl6w1.0E65.I,AU0KyB.,UkU.USU.2.AU.U,,.2UwK.
s,kXE,8Mtr.2.m10.u,2.A.ME.M.6YE.O.YB2.EJKr8GJYPU0CyIVGhighgmRiiQeodIf9PYcZ
RiX3Ul1UnpZGhighA70,cw5.,6.wSw.QO2U.sU.ktumdsIdPSNPN7ONbH.4D.o3aLq.,cwD.0.
E2E3V.E,,.RNEd1.6.G.0..6J6.36.6.6MtxKE.mGi5U.5JWMP9U1U46ExP,0uRrU.xiPEtjWU
xZokp5Y,U,.6.,.M.E.o6AUKU.Ar,.,.J,Etv.2.U5UZ,,k,9T66.,.E2kZ6.0.3gwZ.0..242
U,2.2.2gw00EK..k,2wjJ,,TCbE.vSPUuWz5eGxd1hc2heGhcUAcmRgIBgiJaU2ZtZZU2ju2YG
hc,ZddIbUIe3l48pmGru8LrCLEGLoKKE4KtSquqqm66FNMRvNNPNH76TfN,7RFPNCqrqKsmqmW
LEuquqKlKKt0Gw0mJ0moaLEqqm4qtKLtKKm0mkuKuaqKCKqyqliqvaqtKKEOKtyqq0GuWqm2ij
RidZidpiZ3YmhgVZhUAgsBhnpZBAcgZhUAhi3ipZiU2iVBhmRig2YdphXZhpZgdphb3Yc2aiYZ
U2aiAZg2YVJiZ3YqBggBhYpZBgVExhnZiBIUI3BOqrmKqyqvaKrSKEGrk8KqKKEmqoCLuCLEGL
oMG9OF9863tQVPN5PO19P,dR19PfPNbf6,tPB96EnKLrCKuaqruKRqk4akwaEwaEtKqtKLqGr2
ar2W5UBgV7gZ7pd4BVhAdCVn2YkBhUwZUYa7gZ7p7aIbOYh2id3Yjk4aErKqnakKaIb.HcP9X7
pd4FMqk2qGMakKa22CqGMAdCp601L7AHM9H0VPOHs8VlYu2L7APM0VvPbP0PNG6Q2ijlYu2L,H
eHBmKa2CHE05M0HeHA72C,,PM1q0Q3HM9VPO,VmAVhA7gZkAVh2Ck4aErK4L7AH.k2uqmSah2a
7.M1qGMQZkA,VN0P7AUkN1Hs8VlJ01UhEsaq42ijlJ0XkBhUU72ijRCP7A.qU7p7i0.HMGRWh.
k4qk2q0ohZVkBhUU7g36QT1V1gV7g3uqmS4AVhEsyqt6AP.uqm6QHP0LVkxBiWBEbcPUUU7AdC
FsEsa4gVBIU9hgtJbBAVf24d8O996pPNZvP,tRH9RF96196VvP.CroSKr0GlaKu0GI0nIqk2qG
MYec,.ErKqn4KuaKv..4nIqk2054IraLEOqouqoGrm0Gs.cPfPPM0HfP,78V76Rd9R76HeHBO8
PM0RPNAci,YCuqm...qmYuIX0GLuGLgZkAZBgV0CyIhACoruKu8rrmKqKKtCLLCZYRcoJigZcZ
RiX3Ul1.UiQcjpho,Y62.5011.85...CLL.U2V.IS2U.UI6.0.aE.0.,..1cUu.0E.MM2U5UNV
.2.520E..2,wb.U.E,,0..Y22U,2.,E.Ek.0EKA..U.6.IEP.0..o10U.U,.10.,U.2m,.,.E4
WDN.Ntarmx5MqIklb6MNQC5uP..g06..E2E.U76.2kLRCNN65J.nT32kwL,,sKFHKHGA,FX1..
.
--- end of encoding ---