compute_ext_rays_polar - Man Page

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

-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.

-help,  --help

Display this list of options.

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

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