This tool is a simple interface to some operations on polyhedra provided by the Parma Polyhedra Library.
It computes basic operations on polyhedra, e.g.:
PolyOp is developed in OCaml by Étienne André in the National University of Singapore. It is provided under the GNU-GPL license.
PolyOp opens a file in which the operation is described, and returns the result both on screen and into a log file.
The syntax is described in a functional style. Examples of calls to PolyOp are provided in this sample file. Note that PolyOp only performs one (possibly nested) operation.
Call syntax:
PolyOp [file.polyop]
PolyOp will open file [file.polyop], and will create a file [file.polyop.res] in which the result is given.
| Version | Release | Source (tar.bz2) | Source (zip) | Binary |
|---|---|---|---|---|
| 0.1 | 30th May 2011 | PolyOp.tar.bz2 (31Ko) | PolyOp.zip (46Ko) | PolyOp (28Mo) |
The binary is a standalone binary for Ubuntu; it has been compiled using Ubuntu 10.10. It should be standalone, but might still need additional libraries on certain configurations. If this doesn’t work, please install all the dependencies and compile the source code.
Installation instructions: INSTALL.txt. This files explains which and how additional libraries should be installed.
Note that the large size of the binary comes from the numerous dependencies.
This page makes use of valid HTML 5 and valid CSS.