2013-02-19 21:41:53 +00:00
|
|
|
.TH "compute_ext_rays" "1" "Feb 2013" "TPLib 1.3" "User Commands"
|
2013-01-17 15:14:32 +00:00
|
|
|
.SH "NAME"
|
|
|
|
|
compute_ext_rays \- compute extreme rays of a tropical cone
|
|
|
|
|
.SH "DESCRIPTION"
|
|
|
|
|
Computes the extreme rays of a tropical cone given by a system of tropically
|
|
|
|
|
affine inequalities.
|
|
|
|
|
.SH "ARGUMENTS"
|
|
|
|
|
.TP
|
|
|
|
|
\fB\-numerical\-data\fP
|
|
|
|
|
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.
|
|
|
|
|
.TP
|
|
|
|
|
\fB\-min\-plus\fP
|
|
|
|
|
Use the min\-plus semiring instead of the default max\-plus semiring.
|
|
|
|
|
.TP
|
|
|
|
|
\fB\-no\-ordering\fP
|
|
|
|
|
The constraints are not dynamically ordered during the execution.
|
|
|
|
|
.TP
|
|
|
|
|
\fB\-polymake\-output\fP
|
2013-02-19 21:41:53 +00:00
|
|
|
Output under polymake format. Takes an argument, corresponding to a list
|
|
|
|
|
c_1,...,c_p of coordinates on which the result is projected.
|
2013-01-17 15:14:32 +00:00
|
|
|
.TP
|
|
|
|
|
\fB\-bounding\-box\fP
|
|
|
|
|
Set a bounding box, specified as a list (separated by commas) of
|
2013-02-19 21:41:53 +00:00
|
|
|
triples (c:l:u), where c is the index of a coordinate, and l and u are lower
|
2013-01-17 15:14:32 +00:00
|
|
|
and upper bounds (\fB\-infinity\fP/\fB+infinity\fP are allowed).
|
|
|
|
|
.TP
|
|
|
|
|
\fB\-help\fP, \fB\-\-help\fP
|
|
|
|
|
Display this list of options.
|
|
|
|
|
.SH "SEE ALSO"
|
|
|
|
|
\fBcompute_ext_rays_polar\fP(1), \fBcompute_halfspaces\fP(1),
|
2013-02-19 21:41:53 +00:00
|
|
|
\fBcompute_minimal_external_representations\fP(1),
|
|
|
|
|
\fBcompute_tangent_hypergraph\fP(1), \fBcompute_tropical_complex\fP(1)
|
