Collision probability computation for conjunction assessment
ocaml-linkedin: apply dune fmt
Pure formatting changes from `dune fmt`: doc comment placement moves
from above the binding to below it for `type`s, multi-line `match`
expressions collapse onto one line where they fit, and infix operator
applications pick up spaces (`Soup.($?)` -> `Soup.( $? )`). No
semantic changes.
+26
-7
+19
-7
README.md
+19
-7
README.md
···
6
6
7
7
## Installation
8
8
9
+
Install with opam:
10
+
11
+
```sh
12
+
$ opam install collision
9
13
```
10
-
opam install collision
14
+
15
+
If opam cannot find the package, it may not yet be released in the public
16
+
`opam-repository`. Add the overlay repository, then install it:
17
+
18
+
```sh
19
+
$ opam repo add samoht https://tangled.org/gazagnaire.org/opam-overlay.git
20
+
$ opam update
21
+
$ opam install collision
11
22
```
12
23
13
24
## Usage
14
25
15
26
```ocaml
16
27
(* Quick Pc from a CDM *)
17
-
let pc = Collision.pc ~hbr:0.015 cdm in
18
-
Printf.printf "Pc = %e\n" pc
28
+
let pc = Collision.pc ~hbr:0.015 cdm
29
+
let () = Printf.printf "Pc = %e\n" pc
19
30
20
31
(* Step-by-step: project to conjunction plane, then compute *)
21
-
let enc = Collision.encounter_of_cdm ~hbr:0.015 cdm in
22
-
let pc_foster = Collision.pc_foster enc in
23
-
let pc_max = Collision.pc_max enc in
24
-
Printf.printf "Foster Pc: %e, Max Pc bound: %e\n" pc_foster pc_max
32
+
let enc = Collision.encounter_of_cdm ~hbr:0.015 cdm
33
+
let pc_foster = Collision.pc_foster enc
34
+
let pc_max = Collision.pc_max enc
35
+
let () =
36
+
Printf.printf "Foster Pc: %e, Max Pc bound: %e\n" pc_foster pc_max
25
37
```
26
38
27
39
## API Overview
+1
collision.opam
+1
collision.opam
+4
dune
+4
dune