R interface to (some of) cddlib (< https://github.com/cddlib/cddlib>). Converts back and forth between two representations of a convex polytope: as solution of a set of linear equalities and inequalities and as convex hull of set of points and rays. Also does linear programming and redundant generator elimination (for example, convex hull in n dimensions). All functions can use exact infinite-precision rational arithmetic.
This package requires one library
the GNU Multiple Precision arithmetic library (libgmp)
Obtain from http://gmplib.org/ or from your operating system vendor.
This is a standard GNU package and comes with many Linux distributions
and may be found at the web sites of other vendors that distribute free
software.
The licence is LGPL and source is available at http://gmplib.org/#DOWNLOAD
If that doesn't work the source for GMP version 4.2.2 is available at
http://www.stat.umn.edu/geyer/rcdd/gmp-4.2.2.tar.gz.