Polyhedra formats and ppl_lcdd
Hello PPL Users,
I have been interested in performance of different polyhedra libraries and was pleasantly surprised to find the following page: http://www.cs.unipr.it/ppl/performance
I have a couple of points/questions on the same.
1. Where can I find the file ppl_lcdd.cc? Does it convert polyhedra of format X into Y, where X and Y are in {PolyLib, PPL, CDDLib}? How can it be used?
2. The link to the code to ppl_lcdd.cc seems to be broken and may need to be fixed. I am not sure if the doc files talk about it.
3. Has the comparison been updated? The dates seem to refer to 2009. Please refer me to a recent version of the same, if available.
Thanks for help in this! Regards Ramakrishna
On 07/08/11 16:17, Ramakrishna Upadrasta wrote:
Hello PPL Users,
Hi Ramakrishna.
I have been interested in performance of different polyhedra libraries and was pleasantly surprised to find the following page: http://www.cs.unipr.it/ppl/performance
I have a couple of points/questions on the same.
- Where can I find the file ppl_lcdd.cc?
In a PPL source distribution.
Does it convert polyhedra of format X into Y, where X and Y are in {PolyLib, PPL, CDDLib}?
No.
How can it be used?
After installation of the PPL, see `man ppl_lcdd'. If you prefer not to install, then do
nroff -man ppl_lcdd.1 | less
- The link to the code to ppl_lcdd.cc seems to be broken and may need
to be fixed. I am not sure if the doc files talk about it.
Fixed: thanks!
- Has the comparison been updated? The dates seem to refer to 2009.
Please refer me to a recent version of the same, if available.
No, it has not been updated. But you can reproduce it. See the lines
//#define USE_POLKA 1 //#define USE_POLYLIB 1
at the beginning of ppl_lcdd.cc. And of course, you should first install the right versions of New Polka and PolyLib. Please let us know how it goes and if you run into problems.
Thanks for help in this!
Our pleasure. Cheers,
Roberto
P.S. What you are working on? We would be glad to know.
Il 08/07/2011 16:17, Ramakrishna Upadrasta ha scritto:
Hello PPL Users,
Hello.
I have been interested in performance of different polyhedra libraries and was pleasantly surprised to find the following page: http://www.cs.unipr.it/ppl/performance
I have a couple of points/questions on the same.
- Where can I find the file ppl_lcdd.cc? Does it convert polyhedra of
format X into Y, where X and Y are in {PolyLib, PPL, CDDLib}? How can it be used?
The source code file can be found in directory demos/ppl_lcdd, while the input files are in demos/ppl_lcdd/examples.
The program ppl_lcdd reads in the input files and **using the PPL** performs the required representation conversion (the file format is described in the cddlib Reference Manual).
The program can be compiled to use alternative libraries instead of the PPL. It has preprocessor flags that, if properly set, allow to use it in conjunction with one of PPL, NewPolka and PolyLib.
============== //#define USE_POLKA 1 //#define USE_POLYLIB 1
#if (!defined(USE_PPL) && !defined(USE_POLKA) && !defined(USE_POLYLIB)) #define USE_PPL 1 #elif \ (defined(USE_PPL) && defined(USE_POLKA)) \ || (defined(USE_PPL) && defined(USE_POLYLIB)) \ || (defined(USE_POLKA) && defined(USE_POLYLIB)) #error "Exactly one among USE_PPL, USE_POLKA and USE_POLYLIB must be defined." #endif ==============
It is assumed that the other libraries are installed in the system in proper places so as to be found during the compilation/linking process. The program has only been tested with specific versions of those libraries (not sure at all it compiles and works properly with more recent versions).
- The link to the code to ppl_lcdd.cc seems to be broken and may need
to be fixed. I am not sure if the doc files talk about it.
That link got out-of-date when we moved from cvs to git. Thank you for reporting the issue, we will correct it. In the meanwhile, you can try the following:
http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=blob;f=demos/ppl_lcdd/...
- Has the comparison been updated? The dates seem to refer to 2009.
Please refer me to a recent version of the same, if available.
No, the comparison hasn't been updated. As said in the web page, the comparison dates back to
* PPL CVS HEAD version of January 24, 2005; * New Polka version 2.0.2; * PolyLib version 5.20.0; * cddlib version 0.93c; * lrslib version 0.42; * pd version 1.7; * tests run on a PC equipped with an AMD Athlon 2800+ with 1 GB of RAM and running GNU/Linux;
(February 22, 2009 is the last update of the web page)
If you plan to repeat the experimental evaluation, please let us know how it goes.
Regards, Enea.
Thanks for help in this! Regards Ramakrishna _______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel
participants (3)
-
Enea Zaffanella -
Ramakrishna Upadrasta -
Roberto Bagnara