compute_ext_rays man page

compute_ext_rays — compute extreme rays of a tropical cone

Description

Computes the extreme rays of a tropical cone given by a system of tropically affine inequalities.

Arguments

-numerical-data

Set the type of numerical data used by the algorithm, one of: ocaml_int, ocaml_float, ocaml_big_int, ocaml_big_rat, zarith_int, and zarith_rat.

-min-plus

Use the min-plus semiring instead of the default max-plus semiring.

-no-ordering

The constraints are not dynamically ordered during the execution.

-polymake-output

Output under polymake format.  Takes an argument, corresponding to a list c_1,...,c_p of coordinates on which the result is projected.

-bounding-box

Set a bounding box, specified as a list (separated by commas) of triples (c:l:u), where c is the index of a coordinate, and l and u are lower and upper bounds (-infinity/+infinity are allowed).

-help, --help

Display this list of options.

See Also

compute_ext_rays_polar(1), compute_halfspaces(1), compute_minimal_external_representations(1), compute_tangent_hypergraph(1), compute_tropical_complex(1)

Referenced By

compute_ext_rays_polar(1), compute_halfspaces(1), compute_minimal_external_representations(1), compute_tangent_hypergraph(1), compute_tropical_complex(1).

Feb 2013 TPLib 1.3 User Commands