June 2002 - PPL-devel - BUGSENG Mailman

ppl/src globals.hh
by Roberto Bagnara 12 Jun '02

12 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-12 08:45:12 Modified files: src : globals.hh Log message: Document struct From_Bounding_Box. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

[Fwd: Re: Bug affecting mpq_class::get_num() and mpq_class::get_den()?]
by Roberto Bagnara 12 Jun '02

12 Jun '02

-------- Original Message -------- Subject: Re: Bug affecting mpq_class::get_num() and mpq_class::get_den()? Date: Wed, 12 Jun 2002 10:25:03 +1000 From: Kevin Ryde <user42(a)zip.com.au> To: gerardo.ballabio(a)unimib.it (Ballabio Gerardo - Dip. di Scienza dei Materiali) CC: Roberto Bagnara <bagnara(a)cs.unipr.it>, Torbjorn Granlund <tege(a)swox.se> References: <87k7p9bdqi.fsf(a)zip.com.au> <20020610122024.C4790(a)nettunio.mater.unimib.it> gerardo.ballabio(a)unimib.it (Ballabio Gerardo - Dip. di Scienza dei Materiali) writes: > > but I don't know very much about the internals of > mpz_t and mpq_t, and I'm not sure that such "symlinking" can be done An mpq_t is just two mpz_t's, nothing more. mpq_numref and mpq_denref give pointers to the respective fields. Would it work to cast to an "mpz_class *" or "mpz_class &"? Or would that be too nasty. > (actually, I looked into gmp.h, but I'm quite confused about mpz_t > being defined as "typedef __mpz_struct mpz_t[1];"). That trickery means when mpz_t is used to define a variable, it gets space for one __mpz_struct, but if mpz_t is used as a function parameter then it's just a pointer which is passed, giving "call by reference". > Otherwise, I can only suggest to leave the code as it is, and to > change the documentation like this: Thanks, I'll do that for now, and maybe put a note in the limitations section about why. -- 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/doc definitions.dox
by Enea Zaffanella 11 Jun '02

11 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-11 17:28:06 Modified files: doc : definitions.dox Log message: Added a few words on the double description method. Adjusted capitalizations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src GenSys.cc Polyhedron.cc
by Enea Zaffanella 11 Jun '02

11 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-11 15:02:41 Modified files: src : GenSys.cc Polyhedron.cc Log message: Enforcing normalization of constraints and generators in Polyhedron methods strongly_minimize_generators(), add_generator(), time_elapse_assign() and topological_closure_assign(); the same for method GenSys::add_corresponding_closure_points(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

Re: [PPL-devel] Installing PPL (fwd)
by Martin Rohde 11 Jun '02

11 Jun '02

Sorry, maybe I should have sent this mail to this address. Martin Rohde ----------------------------------------------------------------------- Dear Roberto, thank you for your quick response. Here the information: I installed GMP 4.1 (the latest version from the gnu website) The prefix just points to a test directory, because it is not yet installed officially on our lab. So I created the directory /tmp/gmp in order to test the GMP library, together with PPL. But this should work anyhow. I have the feeling that, though the --with-gmp* are used, PPL uses the default GMP directory, where version 3 is installed. Our administrator doesn't want to change to version 4 immediately, because of the links to other applications... The output of g++ -v is gcc version 2.96 20000731 (Red Hat Linux 7.1 2.96-81) The output of uname-a is Linux klftdh07.tn.tudelft.nl 2.4.8-ac2 #4 Mon Aug 13 15:02:24 CEST 2001 i686 unknown The config.log file can be found as an attachment in this mail. I hope you can help me, because the library looks very interesting and powerful! Thank you. Martin Rohde On Tue, 11 Jun 2002, Roberto Bagnara wrote: > Martin Rohde wrote: > > Hello, > > > > I'm trying to install PPL, but everytime I do > > > > ./configure --prefix=/tmp/ppl > > > > I get the message that GMP4 cannot be found. The /tmp dir is in PATH and I > > installed GMP with the --enable-cxx option and set CPPFLAGS to > > -fexceptions. > > > > Who can help me? > > > > Thank you > > > > Martin Rohde > > > > Delft University of Technology > > Kramers Laboratorium voor Fysische Technologie > > Tel 0031 +152787084 > > Mail martin(a)klftfs01.tn.tudelft.nl > > > > _______________________________________________ > > PPL-devel mailing list > > PPL-devel(a)cs.unipr.it > > http://www.cs.unipr.it/mailman/listinfo/ppl-devel > > > Dear Martin, > > as you see, I have forwarded your message to ppl-devel(a)cs.unipr.it, > which is the right list for this kind of issues > (ppl-announce(a)cs.unipr.it is a moderated list that we only use for > important annoucements such as the release of new versions of the > library). > > In order to help you, we need some information. Which version of > GMP did you install? How did you configure GMP exactly (the prefix > you used is particularly important)? Which version of GCC did you use > (send us the output of `g++ -v')? Which architecture (send us the > output of `uname -a')? > Could you send us the file called config.log that has been created > in the directory where you run the PPL configure script? > Later > > 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 > > Martin Rohde Delft University of Technology Kramers Laboratorium voor Fysische Technologie Tel 0031 +152787084 Mail martin(a)klftfs01.tn.tudelft.nl The following attachment was sent, but NOT saved in the Fcc copy: A Text/PLAIN segment of about 8,412 bytes.

1 0

ppl/src Constraint.cc Constraint.defs.hh Gener ...
by Enea Zaffanella 11 Jun '02

11 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-11 12:40:11 Modified files: src : Constraint.cc Constraint.defs.hh Generator.cc Log message: Added method Constraint::OK() to check for normalization of constraints. Added the same check to method Generator::OK(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0

Installing PPL
by Martin Rohde 11 Jun '02

11 Jun '02

Hello, I'm trying to install PPL, but everytime I do ./configure --prefix=/tmp/ppl I get the message that GMP4 cannot be found. The /tmp dir is in PATH and I installed GMP with the --enable-cxx option and set CPPFLAGS to -fexceptions. Who can help me? Thank you Martin Rohde Delft University of Technology Kramers Laboratorium voor Fysische Technologie Tel 0031 +152787084 Mail martin(a)klftfs01.tn.tudelft.nl

2 1

ppl/src GenSys.cc GenSys.defs.hh GenSys.inline ...
by Enea Zaffanella 11 Jun '02

11 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-11 11:54:59 Modified files: src : GenSys.cc GenSys.defs.hh GenSys.inlines.hh Polyhedron.cc Log message: Added method GenSys::const_iterator::skip_forward(): if the generator currently pointed is a closure point and the next generator is the point matching this closure point, then it skips to the next generator. This method is used to skip redundant closure points when iterating through strongly-minimized generator systems. Added note to Polyhedron::strongly_minimize_generators() stating that the approach is correct if the generator system is sorted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src ConSys.defs.hh
by Enea Zaffanella 11 Jun '02

11 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-11 11:16:16 Modified files: src : ConSys.defs.hh Log message: Corrected comment to the method skip_forward(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro…

1 0

ppl/src Constraint.inlines.hh Generator.cc
by Enea Zaffanella 11 Jun '02

11 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-11 11:15:00 Modified files: src : Constraint.inlines.hh Generator.cc Log message: Enforcing the normalization of constraints and generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0