ocaml-tplib/compute_halfspaces.1
Jerry James 06e1a41b86 New upstream release.
Upstream dropped MLGMPIDL support in favor of MLGMP, which we don't ship.
2013-02-19 14:41:53 -07:00

25 lines
900 B
Groff

.TH "compute_halfspaces" "1" "Feb 2013" "TPLib 1.3" "User Commands"
.SH "NAME"
compute_halfspaces \- use half-spaces to represent a tropical cone
.SH "DESCRIPTION"
Computes a minimal representation of a tropical cone given by a generating
set, by means of half-spaces.
.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\-help\fP, \fB\-\-help\fP
Display this list of options.
.SH "SEE ALSO"
\fBcompute_ext_rays\fP(1), \fBcompute_ext_rays_polar\fP(1),
\fBcompute_minimal_external_representations\fP(1),
\fBcompute_tangent_hypergraph\fP(1), \fBcompute_tropical_complex\fP(1)