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

NAME

6       compute_ext_rays - compute extreme rays of a tropical cone
7

DESCRIPTION

9       Computes the extreme rays of a tropical cone given by a system of trop‐
10       ically affine inequalities.
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       -polymake-output
27              Output under polymake format.  Takes an argument,  corresponding
28              to a list c_1,...,c_p of coordinates on which the result is pro‐
29              jected.
30
31       -bounding-box
32              Set a bounding box, specified as a list (separated by commas) of
33              triples (c:l:u), where c is the index of a coordinate, and l and
34              u are lower and upper bounds (-infinity/+infinity are allowed).
35
36       -help, --help
37              Display this list of options.
38

SEE ALSO

40       compute_ext_rays_polar(1),     compute_halfspaces(1),     compute_mini‐
41       mal_external_representations(1),   compute_tangent_hypergraph(1),  com‐
42       pute_tropical_complex(1)
43
44
45
46TPLib 1.3                          Feb 2013                compute_ext_rays(1)
Impressum