[PPL-devel] Fwd: Re: Polyhedra formats and ppl_lcdd

[Roberto Bagnara]

-------- Original Message --------
Subject: Re: [PPL-devel] Polyhedra formats and ppl_lcdd
Date: Sat, 9 Jul 2011 18:18:13 +0200
From: Ramakrishna Upadrasta <uramakrishna at gmail.com>
To: Roberto Bagnara <bagnara at cs.unipr.it>, Enea Zaffanella <zaffanella at cs.unipr.it>

Hi Roberto and Enea,

Thanks for the quick response. I appreciate it. More on this subject later!

Regards
Ramakrishna



2011/7/8 Roberto Bagnara <bagnara at cs.unipr.it>:
> 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.
>>
>> 1. 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
>
>> 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.
>
> Fixed: thanks!
>
>> 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.
>
> 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.
>
> --
> Prof. Roberto Bagnara
> Applied Formal Methods Laboratory
> Department of Mathematics, University of Parma, Italy
> http://www.cs.unipr.it/~bagnara/
> mailto:bagnara at cs.unipr.it
>