October 2003 - PPL-devel - BUGSENG Mailman

[Fwd: ac_check_gmp.m4 in ppl]
by Roberto Bagnara 27 Oct '03

27 Oct '03

-------- Original Message -------- Subject: ac_check_gmp.m4 in ppl Date: Mon, 27 Oct 2003 13:49:20 +0100 From: Bruno Haible <bruno(a)clisp.org> To: Roberto Bagnara <bagnara(a)cs.unipr.it> Hi, While compiling ppl-0.5 I had problems telling the configure script where my libgmp is installed. Just --with-gmp-includes=/packages/gnu/include --with-gmp-lib=/packages/gnu/lib wasn't enough, because 1. the test program is linked without any -L option, 2. the test program is linked without any -rpath option and then immediately run - which doesn't work when a program depends on shared libraries in nonstandard locations. As a workaround, I had to use LDFLAGS="-L/packages/gnu/lib -Wl,-rpath,/packages/gnu/lib" \ ./configure --prefix=/packages/gnu \ --with-gmp-includes=/packages/gnu/include --with-gmp-lib=/packages/gnu/lib You could make this easier by using AC_LIB_LINKFLAGS(gmpxx, gmp) in your configure.ac file. The AC_LIB_LINKFLAGS macro is defined in gettext-0.12.1/autoconf-lib-link/m4/*.m4 from the GNU gettext-0.12.1 distribution. Best regards, Bruno -- 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/src Ph_Status.idefs.hh Ph_Status.inlines.hh
by Roberto Bagnara 27 Oct '03

27 Oct '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-10-27 10:01:25 Modified files: src : Ph_Status.idefs.hh Ph_Status.inlines.hh Log message: Some useless code removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ph_Status.idefs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ph_Status.inlines.hh.diff…

1 0

ppl/src Ph_Status.cc Ph_Status.idefs.hh Ph_Sta ...
by Roberto Bagnara 27 Oct '03

27 Oct '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-10-27 09:58:37 Modified files: src : Ph_Status.cc Ph_Status.idefs.hh Ph_Status.inlines.hh Log message: Comments fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ph_Status.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ph_Status.idefs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ph_Status.inlines.hh.diff…

1 0

ppl/src Makefile.am Polyhedron.defs.hh Ph_Stat ...
by Roberto Bagnara 27 Oct '03

27 Oct '03

1 0

ppl/src Status.defs.hh Status.inlines.hh
by Roberto Bagnara 26 Oct '03

26 Oct '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-10-26 18:22:02 Modified files: src : Status.defs.hh Status.inlines.hh Log message: Pass objects of type Status by value. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.inlines.hh.diff?cv…

1 0

C++ interface and long-longs
by Roberto Bagnara 21 Oct '03

21 Oct '03

GMP's C++ interface currently does not support constructors and accessors taking long-longs and long-doubles. Are there any plans to relax this limitation, at least as far as long-longs are concerned? 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

3 5

ppl/tests polyhull1.cc
by Roberto Bagnara 16 Oct '03

16 Oct '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-10-16 17:01:00 Modified files: tests : polyhull1.cc Log message: Debug message improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polyhull1.cc.diff?cvsro…

1 0

[Fwd: Projection in the PPL]
by Roberto Bagnara 15 Oct '03

15 Oct '03

-------- Original Message -------- Subject: Projection in the PPL Date: Tue, 14 Oct 2003 11:48:52 +0100 From: Axel Simon <A.Simon(a)kent.ac.uk> To: Roberto Bagnara <roberto(a)spartacus.cs.unipr.it> References: <200310131555.h9DFtbc03190(a)spartacus.cs.unipr.it> Hi Roberto, I always thought that projection of polyhedra is done via Fourier Motzkin elimination. Is that true for the PPL library as well or is there a way to reformulate the projection operation on the generator set? Just curious, Axel. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

3 3

ppl/src Row.cc
by Roberto Bagnara 13 Oct '03

13 Oct '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-10-13 17:55:37 Modified files: src : Row.cc Log message: Comment fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r…

1 0

[Fwd: Re: Question about PPL (missing detail)]
by Roberto Bagnara 08 Oct '03

08 Oct '03

-------- Original Message -------- Subject: Re: Question about PPL (missing detail) Date: Wed, 08 Oct 2003 19:28:03 +0200 From: Carlos Ureña-Almagro <almagro(a)ugr.es> To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <3F83F1DF.9010003(a)ugr.es> <3F841488.2020400(a)cs.unipr.it> I understand the problem, I will try to follow your advice. Thanks a lot for your help. With respect to my application, at this point I just want to explore the feasibility of an algortithm for efficiently compute the first intersection of a line with a huge set of planar triangles in 3D. This is a common problem in computer graphics, which has been solved by using an spatial index (k-d tree or similar) for the triangles. However, one can map the line and all triangles edges lines to a 6-dimensional space (using plucker coordinates), such that the line is mapped to a point, and each triangle is mapped to the intersection of three half-spaces (one for each edge). The line intersects the triangle in 3d euclidean space iif the point is in these three half-spaces in 6d plucker coordinate space. I want to perform spatial indexing in this space, thus I need to compute intersections between 6d axis-aligned boxes and those half-spaces obtained from triangle edges (however, this is just an idea, and PPL is probably perfect for these purpouses). Roberto Bagnara wrote: > Carlos Ureña Almagro wrote: > >> I'm trying to use PPL library for a project related to Computer >> Graphics. First at all, I would like to thank you for your effort >> in development and maintenence of that library. I had a trouble >> trying to use it, and I would like to know if you have experienced >> this and maybe you can point me to the solution. I apologize if >> this is a trivial question, or has a trivial solution which I >> ignore. >> >> I have suse linux 8.2, with gcc version 3.2, kernel 2.4.19. I >> have succesfully installed the binary rpm version of your library. >> (I have libstdc++.so.5 in my linux box, rpm missed the corresponding >> libstdc++ rpm package, but the file is there, so I ignored the rpm >> warning). >> >> After installing, I checked I had the libraries in standard linux lib >> folders, and I wrote a simple C++ program using the PPL. The >> program compiled OK, but when I tried to link it, I had an error >> message, more concretelly, the linker found references to this >> undefined symbol (dots are mine) >> >> standard_alloc_template<...>::_S_force_new >> >> may be the libraries I have are wrong, but every symbol was >> correctly resolved except for this, and this is what bothers >> me >> >> >> Any help would be appreciated, thank you very much in advance. > > > Dear Carlos, > > the symptom suggests that you are trying to link C++ objects obtained > with different version of GCC, something that does not work in general. > Things will improve in the future, but until now the situation has > been quite discouraging: version 3.0 was not compatible with 3.1 > and the same thing happened in the transition to 3.2 and to 3.3. > Indeed, even the fact that we distribute RPMs is questionable, > since they are useless on systems where a different version of GCC > is installed. The problem is aggravated by the fact explained > in our draft FAQ available at http://www.cs.unipr.it/ppl/FAQ. > The bottom line is that GMP, the PPL and all your C++ code must > be compiled with the same version of the same compiler (GCC, > in your case). > > To summarize: you should build everything from sources. > Start with GMP following the instructions in > http://www.cs.unipr.it/ppl/Download/requirements > and then configure, compile and install the PPL. > Please do not hesitate to contact us again if you need help: > direct all communication to ppl-devel(a)cs.unipr.it. > We would also love to know more about your application. > All the best, > > Roberto and the PPL team > -- _____________________________________________________________________ Carlos Ureña Almagro (almagro(a)ugr.es - http://lsi.ugr.es/~curena) Dpt. L.S.I. - E.T.S. Ingeniería Informática - Universidad de Granada. -- 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