1compute_ext_rays_polar(1)        User Commands       compute_ext_rays_polar(1)
2
3
4

NAME

6       compute_ext_rays_polar  - compute extreme rays of the polar of a tropi‐
7       cal cone
8

DESCRIPTION

10       Computes the extreme rays of the polar of a tropical cone  given  by  a
11       generating set.
12

ARGUMENTS

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

SEE ALSO

31       compute_ext_rays(1),    compute_halfspaces(1),   compute_minimal_exter‐
32       nal_representations(1),  compute_tangent_hypergraph(1),  compute_tropi‐
33       cal_complex(1)
34
35
36
37TPLib 1.3                          Feb 2013          compute_ext_rays_polar(1)
Impressum