July 2004 - PPL-devel - BUGSENG Mailman

Re: [PPL-devel] PROBLEM with installation
by Roberto Bagnara 23 Nov '04

23 Nov '04

Joycee Mekie wrote: > I have configured gmp-4.1.2 using the following cmd. > configure --enable-cxx > make > > For configuring ppl-0.5 i use the following cmd > > configure --with-gmp-includes=../gmp-4.1.2/ > --with-gmp-dir=../gmp-4.1.2/.libs/ > > for which i get the below listed error. > > I have written test program in C which includes gmp.h and > it works fine. So, GMP has been properly installed. Dear Joycee, you should try a C++ program that includes gmpxx.h. This is the right test to check whether GMP _and_ its C++ interface have been properly installed. > Could you kindly let me know what options need > to be specified with configure for ppl. > > I am attaching the tar.gz files of gmp and ppl for your perusal. > > Waiting for your reply. Usually the problem is due to the fact that the dynamic linker has not been instructed about the location where you have installed your version of GMP. Assuming that you have installed gmp-4.1.2 in /some/directory/gmp-4.1.2 the directory `/some/directory/gmp-4.1.2/lib' will contain some files called `libgmpxx.so*'. If so, you should do two things: 1) Add the directory `/some/directory/gmp-4.1.2/lib' to the environment variable `LD_LIBRARY_PATH'. If your are using the bash shell, you can add the line export LD_LIBRARY_PATH=/some/directory/gmp-4.1.2/lib:$LD_LIBRARY_PATH to your $HOME/.bash_profile and, at your next login, everything should work as expected. 2) Configure the PPL with a command like configure --with-gmp-includes=/some/directory/gmp-4.1.2/include \ --with-gmp-dir=/some/directory/gmp-4.1.2/lib (i.e., avoid relative paths and forget about the .libs directory), and If your problem persist, please come back to us and include the file `config.log' that is generated by PPL's configure script (do not include other files). All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 2

Suggestion
by Enrico Oliosi 17 Aug '04

17 Aug '04

Dear ppl-devel group, I should make a small prototype which does polyhedra analysis. I should create a small parser of a imperative toy-language in order to analyse its expressions and comands. I compiled your PPL-library in C++ language so I should create this parser in this language. I would ask to you if you know some instruments to make this parser. Thanks for your help and interesting. All the best, Enrico

2 7

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 15 Jul '04

15 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-15 18:58:43 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Option `-c' (`--check') implemented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lcdd/examples 1d.ine 1da.ine cp4 ...
by Roberto Bagnara 15 Jul '04

15 Jul '04

1 0

ppl/demos/ppl_lcdd/examples allzero.ine ccc4.e ...
by Roberto Bagnara 15 Jul '04

15 Jul '04

1 0

ppl/demos/ppl_lcdd/examples
by Roberto Bagnara 15 Jul '04

15 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-15 16:41:19 ppl/demos/ppl_lcdd/examples Update of /cvs/ppl/ppl/demos/ppl_lcdd/examples In directory spartacus.cs.unipr.it:/tmp/cvs-serv4545/examples Log Message: Directory /cvs/ppl/ppl/demos/ppl_lcdd/examples added to the repository

1 0

A comparison with CDD and LSR
by Roberto Bagnara 12 Jul '04

12 Jul '04

Hi there, I have added a column to the previous table I sent, where I compare the PPL both with CDD and the version 0.42 (the latest available one) of LSR (http://cgm.cs.mcgill.ca/~avis/C/lrs.html) on the same benchmark suite (the one of CDD). Notice the "(*)" signs. These are meant to recall that LRS solves a different, easier, problem than the one solved by CDD and PPL: vertex enumeration _without_ minimization (at least this is what I understand is the meaning of the sentence inserted by LRS in the output: "Note! Duplicate rays may be present"). A similar sentence is not present in the benchmarks involving the facet enumeration problem, so I guess minimization is guaranteed in these cases. The test environment is exactly as before. I must say I am pretty satisfied about the stability of the PPL on this set of benchmarks. Benchmark CDD time (s) PPL time (s) LRS time (s) -------------------------------------------------------------------- ccc6.ext 0.80 0.07 3.20 ccp6.ext 1.12 0.11 3.99 cross10.ine 11.89 0.17 >2h (*) cross12.ine 213.41 2.46 >2h (*) cross6.ine 0.05 0.01 0.09 (*) cross8.ine 0.70 0.04 33.70 (*) cube10.ine 0.33 0.09 0.03 (*) cube12.ine 1.74 1.64 0.20 (*) cube8.ine 0.06 0.02 0.01 (*) cyclic14-8.ext 0.09 0.02 0.01 cyclic16-10.ext 0.29 0.07 0.04 hexocta.ine 0.04 0.01 0.01 (*) icododeca_m.ine 0.05 0.03 0.01 (*) integralpoints.ine 0.06 0.01 0.01 (*) irbox200-4.ext 1.24 0.05 0.06 kkd27_5.ine 0.10 0.09 0.02 (*) kkd38_6.ine 0.37 4.30 0.04 (*) prodst62.ext >2h 117.23 >2h project1.ine 0.05 0.01 0.01 (*) project2.ine 0.57 0.03 0.15 (*) project2res.ine 0.11 0.02 0.02 (*) reg600-5_m.ext 159.26 8.02 33.78 rhomtria_m.ine 0.06 0.02 0.01 (*) sampleh8.ine >2h 111.57 5.13 (*) Cheers, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

A comparison with CDD
by Roberto Bagnara 11 Jul '04

11 Jul '04

Hi there, here is how the PPL compares with CDD (http://www.cs.mcgill.ca/~fukuda/soft/cdd_home/cdd.html) on the benchmark suite distributed with version 0.93c of cddlib, on a PC equipped with an AMD Athlon 2800+ with 1 GB of RAM and (of course) running GNU/Linux. The benchmarks for which both CDD and PPL took less than 0.03 seconds have been excluded from the following table because they contribute nothing but noise; the 7 benchmarks meant to test the CDD simplex solver have been excluded too; all the other benchmarks in the distribution appear below. Benchmark CDD time (s) PPL time (s) ---------------------------------------------------- ccc6.ext 0.80 0.07 ccp6.ext 1.12 0.11 cross10.ine 11.89 0.17 cross12.ine 213.41 2.46 cross6.ine 0.05 0.01 cross8.ine 0.70 0.04 cube10.ine 0.33 0.09 cube12.ine 1.74 1.64 cube8.ine 0.06 0.02 cyclic14-8.ext 0.09 0.02 cyclic16-10.ext 0.29 0.07 hexocta.ine 0.04 0.01 icododeca_m.ine 0.05 0.03 irbox200-4.ext 1.24 0.05 integralpoints.ine 0.06 0.01 kkd27_5.ine 0.10 0.09 kkd38_6.ine 0.37 4.30 prodst62.ext >2h 117.23 project1.ine 0.05 0.01 project2.ine 0.57 0.03 project2res.ine 0.11 0.02 reg600-5_m.ext 159.26 8.02 rhomtria_m.ine 0.06 0.02 sampleh8.ine >2h 111.57 Cheers, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 11 Jul '04

11 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-11 15:51:24 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Append to the output file, instead of truncating it. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 11 Jul '04

11 Jul '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-07-11 15:47:16 Modified files: interfaces/C/lpenum: lpenum.c Log message: Error messages fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0