1compute_minimal_external_representUasteciroomnCpsou(mt1me)a_nmdisnimal_external_representations(1)
2
3
4
6 compute_minimal_external_representations - minimal external representa‐
7 tion
8
10 Computes the structure underlying to the minimal external representa‐
11 tions of a tropical cone given by a generating set.
12
14 -numerical-data
15 Set the type of numerical data used by the algorithm, one of:
16 ocaml_int, ocaml_float, ocaml_big_int, ocaml_big_rat,
17 zarith_int, and zarith_rat.
18
19 -min-plus
20 Use the min-plus semiring instead of the default max-plus semi‐
21 ring.
22
23 -no-ordering
24 The constraints are not dynamically ordered during the execu‐
25 tion.
26
27 -help, --help
28 Display this list of options.
29
31 compute_ext_rays(1), compute_ext_rays_polar(1), compute_halfspaces(1),
32 compute_tangent_hypergraph(1), compute_tropical_complex(1)
33
34
35
36TPLib 1.3 Fceobmp2u0t1e3_minimal_external_representations(1)