Difference between revisions of "Projects"
| Line 8: | Line 8: | ||
== PolyLib == | == PolyLib == | ||
| + | |||
| + | [[File:Visualpolylib.snap1.gif|left|thumbnail ]] | ||
| + | |||
| + | The Polyhedral Library (PolyLib for short) operates on objects made up of unions of polyhedra of any dimension. It was first developed by Doran Wilde at IRISA, in Rennes, France, in connection with the ALPHA project. This first version (1.1) manipulates non parameterized unions of polyhedra through the following operations: intersection, difference, union, convex hull, simplify, image and preimage, plus some input and output functions. The polyhedra are computed in their dual implicit and Minkowski representations, in homogeneous spaces. | ||
| + | |||
| + | Version 2 of the PolyLib included parameterized vertices computation. PolyLib3.14 includes Ehrhart polynomials computation, which permits to count the number of integer points contained in a parameterized polyhedron. PolyLib4 included the GNU MP library (as a compilation option), and 64 bits computations, in order to avoid integer overflows. Polylib5 is a merge of Strasbourg, Rennes and BYU Polylib. | ||
| + | |||
| + | See dedicated site for more information : [http://icps.u-strasbg.fr/polylib http://icps.u-strasbg.fr/polylib] | ||
| + | |||
Revision as of 10:11, 18 September 2013
The team develops a number of projects as proof-of-concept software. From the original research effort started in 1994, aimed at parallelism extraction from sequential source code, or program transformations to express parallelism, our research portfolio has evolved to accommodate the evolution of the High Performance Computing and Distributed Computing.
VMAD
PolyLib
The Polyhedral Library (PolyLib for short) operates on objects made up of unions of polyhedra of any dimension. It was first developed by Doran Wilde at IRISA, in Rennes, France, in connection with the ALPHA project. This first version (1.1) manipulates non parameterized unions of polyhedra through the following operations: intersection, difference, union, convex hull, simplify, image and preimage, plus some input and output functions. The polyhedra are computed in their dual implicit and Minkowski representations, in homogeneous spaces.
Version 2 of the PolyLib included parameterized vertices computation. PolyLib3.14 includes Ehrhart polynomials computation, which permits to count the number of integer points contained in a parameterized polyhedron. PolyLib4 included the GNU MP library (as a compilation option), and 64 bits computations, in order to avoid integer overflows. Polylib5 is a merge of Strasbourg, Rennes and BYU Polylib.
See dedicated site for more information : http://icps.u-strasbg.fr/polylib