Astrodynamics coordinate frame transforms
feat(ocaml-sgp4): full deep-space SDP4 support + Vallado verification suite
Rewrite SGP4 propagator ported from python-sgp4 with deep-space (SDP4)
satellite support including lunar/solar perturbations and resonance
handling. Add canonical Vallado verification vectors (33 satellites,
~700 test points from SGP4-VER.TLE + tcppver.out).
Also: ocamlformat reformatting across ocaml-respond, ocaml-odm,
ocaml-cdm, ocaml-requests, ocaml-spacedata; update root.opam deps.
+8
-3
+8
-3
test/test_coordinate.ml
+8
-3
test/test_coordinate.ml
···
227
227
let g = Coordinate.ecef_to_geodetic v in
228
228
(* These are approximate — the example has a different reference *)
229
229
let r = Coordinate.vec3_length v in
230
-
Alcotest.(check bool) "high orbit" true (r > 10000.);
231
-
Alcotest.(check bool) "lat reasonable" true (g.lat > 20. && g.lat < 50.);
232
-
Alcotest.(check bool) "alt positive" true (g.alt > 3000.)
230
+
let expected_r =
231
+
sqrt
232
+
((6524.834 *. 6524.834) +. (6862.875 *. 6862.875) +. (6448.296 *. 6448.296)
233
+
)
234
+
in
235
+
Alcotest.(check (float 0.1)) "radius" expected_r r;
236
+
Alcotest.(check (float 2.0)) "lat ~34" 34. g.lat;
237
+
Alcotest.(check (float 200.)) "alt ~5000" 5000. g.alt
233
238
234
239
(* ================================================================== *)
235
240
(* TEME → Geodetic (full pipeline) *)