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

NAME

6       compute_halfspaces - use half-spaces to represent a tropical cone
7

DESCRIPTION

9       Computes  a minimal representation of a tropical cone given by a gener‐
10       ating set, by means of half-spaces.
11

ARGUMENTS

13       -numerical-data
14              Set the type of numerical data used by the  algorithm,  one  of:
15              ocaml_int,     ocaml_float,     ocaml_big_int,    ocaml_big_rat,
16              zarith_int, and zarith_rat.
17
18       -min-plus
19              Use the min-plus semiring instead of the default max-plus  semi‐
20              ring.
21
22       -no-ordering
23              The  constraints  are  not dynamically ordered during the execu‐
24              tion.
25
26       -help, --help
27              Display this list of options.
28

SEE ALSO

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