rpms/ocaml-tplib
3
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

New upstream release.

Browse Source 
Upstream dropped MLGMPIDL support in favor of MLGMP, which we don't ship.
This commit is contained in:
Jerry James 2013-02-19 14:41:53 -07:00
parent a852dd0d46
commit 06e1a41b86
10 changed files with 90 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.gitignore vendored
View File

@ -1 +1 @@
/TPLib-1.2.tar.gz
/tplib-1.3.tar.gz

11
compute_ext_rays.1
View File

@ -1,4 +1,4 @@
.TH "compute_ext_rays" "1" "May 2012" "TPLib 1.2" "User Commands"
.TH "compute_ext_rays" "1" "Feb 2013" "TPLib 1.3" "User Commands"
.SH "NAME"
compute_ext_rays \- compute extreme rays of a tropical cone
.SH "DESCRIPTION"
@ -17,16 +17,17 @@ Use the min\-plus semiring instead of the default max\-plus semiring.
The constraints are not dynamically ordered during the execution.
.TP
\fB\-polymake\-output\fP
Output under polymake format. Takes an optional argument, corresponding to a
list c_1,...,c_p of coordinates on which the result is projected.
Output under polymake format. Takes an argument, corresponding to a list
c_1,...,c_p of coordinates on which the result is projected.
.TP
\fB\-bounding\-box\fP
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
triples (c:l:u), where c is the index of a coordinate, and l and u are lower
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),
\fBcompute_tangent_hypergraph\fP(1)
\fBcompute_minimal_external_representations\fP(1),
\fBcompute_tangent_hypergraph\fP(1), \fBcompute_tropical_complex\fP(1)

5
compute_ext_rays_polar.1
View File

@ -1,4 +1,4 @@
.TH "compute_ext_rays_polar" "1" "May 2012" "TPLib 1.2" "User Commands"
.TH "compute_ext_rays_polar" "1" "Feb 2013" "TPLib 1.3" "User Commands"
.SH "NAME"
compute_ext_rays_polar \- compute extreme rays of the polar of a tropical cone
.SH "DESCRIPTION"
@ -20,4 +20,5 @@ The constraints are not dynamically ordered during the execution.
Display this list of options.
.SH "SEE ALSO"
\fBcompute_ext_rays\fP(1), \fBcompute_halfspaces\fP(1),
\fBcompute_tangent_hypergraph\fP(1)
\fBcompute_minimal_external_representations\fP(1),
\fBcompute_tangent_hypergraph\fP(1), \fBcompute_tropical_complex\fP(1)

7
compute_halfspaces.1
View File

@ -1,8 +1,8 @@
.TH "compute_halfspaces" "1" "May 2012" "TPLib 1.2" "User Commands"
.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 an external representation of a tropical cone given by a generating
Computes a minimal representation of a tropical cone given by a generating
set, by means of half-spaces.
.SH "ARGUMENTS"
.TP
@ -20,4 +20,5 @@ The constraints are not dynamically ordered during the execution.
Display this list of options.
.SH "SEE ALSO"
\fBcompute_ext_rays\fP(1), \fBcompute_ext_rays_polar\fP(1),
\fBcompute_tangent_hypergraph\fP(1)
\fBcompute_minimal_external_representations\fP(1),
\fBcompute_tangent_hypergraph\fP(1), \fBcompute_tropical_complex\fP(1)

24
compute_minimal_external_representations.1 Normal file
View File

@ -0,0 +1,24 @@
.TH "compute_minimal_external_representations" "1" "Feb 2013" "TPLib 1.3" "User Commands"
.SH "NAME"
compute_minimal_external_representations \- minimal external representation
.SH "DESCRIPTION"
Computes the structure underlying to the minimal external representations of
a tropical cone given by a generating set.
.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_halfspaces\fP(1), \fBcompute_tangent_hypergraph\fP(1),
\fBcompute_tropical_complex\fP(1)

5
compute_tangent_hypergraph.1
View File

@ -1,4 +1,4 @@
.TH "compute_tangent_hypergraph" "1" "May 2012" "TPLib 1.2" "User Commands"
.TH "compute_tangent_hypergraph" "1" "Feb 2013" "TPLib 1.3" "User Commands"
.SH "NAME"
compute_tangent_hypergraph \- compute tangent hypergraph in a tropical cone
.SH "DESCRIPTION"
@ -22,4 +22,5 @@ Use the min\-plus semiring instead of the default max\-plus semiring.
Display this list of options.
.SH "SEE ALSO"
\fBcompute_ext_rays\fP(1), \fBcompute_ext_rays_polar\fP(1),
\fBcompute_halfspaces\fP(1)
\fBcompute_halfspaces\fP(1), \fBcompute_minimal_external_representations\fP(1),
\fBcompute_tropical_complex\fP(1)

24
compute_tropical_complex.1 Normal file
View File

@ -0,0 +1,24 @@
.TH "compute_tropical_complex" "1" "Feb 2013" "TPLib 1.3" "User Commands"
.SH "NAME"
compute_tropical_complex \- compute tropical complex of a set of vectors
.SH "DESCRIPTION"
Computes the tropical complex of a set of vectors with finite entries.
.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\-polymake\-output\fP
Output under polymake format. Takes an argument, corresponding to name of the
variable containing the complex.
.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_halfspaces\fP(1), \fBcompute_minimal_external_representations\fP(1),
\fBcompute_tangent_hypergraph\fP(1)

11
ocaml-tplib-gmp.patch Normal file
View File

@ -0,0 +1,11 @@
--- ./src/numeric_plugins/mlgmp_plugin.ml.orig 2013-02-14 04:08:25.000000000 -0700
+++ ./src/numeric_plugins/mlgmp_plugin.ml 2013-02-19 13:56:39.613438907 -0700
@@ -19,7 +19,7 @@
*)
-open Gmp
+open Mlgmp
let bits_of_string s =
let s' = String.sub s 2 ((String.length s)-2) in (* remove prefix "0b" *)

24
ocaml-tplib.spec
View File

@ -3,27 +3,27 @@
%global opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
Name: ocaml-tplib
Version: 1.2
Release: 3%{?dist}
Version: 1.3
Release: 1%{?dist}
Summary: Tropical Polyhedra Library
License: LGPLv2+
URL: https://gforge.inria.fr/projects/tplib
Source0: https://gforge.inria.fr/frs/download.php/30827/TPLib-%{version}.tar.gz
Source0: https://gforge.inria.fr/frs/download.php/32084/tplib-%{version}.tar.gz
# Man pages written by Jerry James using text from the sources; i.e., I
# contributed only the formatting. Thus, the license and copyright for these
# files is the same as for the sources.
Source1: compute_ext_rays.1
Source2: compute_ext_rays_polar.1
Source3: compute_halfspaces.1
Source4: compute_tangent_hypergraph.1
Source4: compute_minimal_external_representations.1
Source5: compute_tangent_hypergraph.1
Source6: compute_tropical_complex.1
BuildRequires: gmp-devel
BuildRequires: mpfr-devel
BuildRequires: ocaml
BuildRequires: ocaml-camlidl-devel
BuildRequires: ocaml-findlib-devel
BuildRequires: ocaml-mlgmpidl-devel
BuildRequires: ocaml-ocamldoc
BuildRequires: ocaml-zarith-devel
@ -58,10 +58,7 @@ Requires: %{name}%{?_isa} = %{version}-%{release}
Tools that use TPLib.
%prep
%setup -q -n TPLib-%{version}
# This header file doesn't exist, and isn't needed anyway.
sed -i '/zarith\.h/d' src/bindings/tplib_rational.c
%setup -q -n tplib-%{version}
%build
%configure
@ -79,7 +76,8 @@ strip %{buildroot}%{_bindir}/compute*
strip %{buildroot}%{_libdir}/ocaml/tplib/*.cmxs
mkdir -p %{buildroot}%{_mandir}/man1
cp -p %{SOURCE1} %{SOURCE2} %{SOURCE3} %{SOURCE4} %{buildroot}%{_mandir}/man1
cp -p %{SOURCE1} %{SOURCE2} %{SOURCE3} %{SOURCE4} %{SOURCE5} %{SOURCE6} \
%{buildroot}%{_mandir}/man1
%check
make test
@ -105,6 +103,10 @@ _build/tests/test_tplib_rational
%doc %{_mandir}/man1/*
%changelog
* Tue Feb 19 2013 Jerry James <loganjerry@gmail.com> - 1.3-1
- New upstream release
- Upstream dropped MLGMPIDL support in favor of MLGMP, which we don't ship
* Thu Feb 14 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.2-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild

2
sources
View File

@ -1 +1 @@
7484171d5c6d87ee964ab7e3a6119f08 TPLib-1.2.tar.gz
861bde89a6790b78474c5578f821aea4 tplib-1.3.tar.gz