Astrodynamics coordinate frame transforms
coordinate: document public values in mli (merlint E400)
+18
+18
lib/coordinate.mli
+18
lib/coordinate.mli
···
37
37
(** {1 Time} *)
38
38
39
39
val gmst_of_unix : float -> float
40
+
40
41
val gmst : Ptime.t -> float
42
+
(** [gmst t] returns Greenwich Mean Sidereal Time in radians. *)
43
+
41
44
val julian_date_of_unix : float -> float
45
+
(** [julian_date_of_unix t] converts Unix timestamp to Julian date. *)
46
+
42
47
val unix_of_julian_date : float -> float
48
+
(** [unix_of_julian_date jd] converts Julian date to Unix timestamp. *)
49
+
43
50
val julian_centuries : float -> float
51
+
(** [julian_centuries jd] returns Julian centuries since J2000.0. *)
44
52
45
53
(** {1 Frame transforms} *)
46
54
47
55
val teme_to_ecef : gmst:float -> Vec3.t -> Vec3.t
56
+
48
57
val ecef_to_teme : gmst:float -> Vec3.t -> Vec3.t
58
+
(** [ecef_to_teme ~gmst v] rotates from ECEF to TEME. *)
59
+
49
60
val j2000_to_ecef : gmst:float -> Vec3.t -> Vec3.t
61
+
(** [j2000_to_ecef ~gmst v] rotates from J2000 to ECEF. *)
62
+
50
63
val ecef_to_j2000 : gmst:float -> Vec3.t -> Vec3.t
64
+
(** [ecef_to_j2000 ~gmst v] rotates from ECEF to J2000. *)
51
65
52
66
val teme_to_j2000_at : unix_t:float -> Vec3.t -> Vec3.t
53
67
(** [teme_to_j2000_at ~unix_t v] converts from TEME (SGP4 output frame) to
···
60
74
(** {1 Geodetic conversions} *)
61
75
62
76
val ecef_to_geodetic : Vec3.t -> geodetic
77
+
63
78
val geodetic_to_ecef : geodetic -> Vec3.t
79
+
(** [geodetic_to_ecef g] converts geodetic coordinates to ECEF. *)
80
+
64
81
val teme_to_geodetic : gmst:float -> Vec3.t -> geodetic
82
+
(** [teme_to_geodetic ~gmst v] converts TEME position to geodetic coordinates. *)
65
83
66
84
(** {1 Utility} *)
67
85