- PPL-devel - BUGSENG Mailman

ppl/tests boundingbox2.cc
by Patricia Hill 14 Jun '02

14 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-14 08:58:49 Modified files: tests : boundingbox2.cc Log message: Some bugs fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cv…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 13 Jun '02

13 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-13 22:02:09 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Fixed two occurrences of assignment where a test for equality was intended. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Patricia Hill 13 Jun '02

13 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-13 16:52:51 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: In ppl_new_Polyhedron_from_bounding_box it now fails (ie PROLOG_FAILURE is returned) if the list is not properly terminated or it is not a list. A few comments added to the code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog pl_check.pl ppl_prolog.i ...
by Patricia Hill 13 Jun '02

13 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-13 16:33:13 Modified files: interfaces/Prolog: pl_check.pl ppl_prolog.icc interfaces/Prolog/Ciao: ppl_ciao.pl interfaces/Prolog/GNU: ppl_gprolog.pl interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Completed the code for ppl_new_Polyhedron_from_bounding_box/3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Roberto Bagnara 13 Jun '02

13 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-13 14:02:57 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Prepare to explain the not-so-easy situation with GNU Prolog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src BoundingBox.hh BoundingBox.cc
by Roberto Bagnara 13 Jun '02

13 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-13 13:17:03 Modified files: src : BoundingBox.hh Added files: src : BoundingBox.cc Log message: Start completing the BoundingBox class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.hh.diff?cvsro…

1 0

ppl/tests boundingbox1.cc boundingbox2.cc
by Patricia Hill 13 Jun '02

13 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-13 12:42:57 Modified files: tests : boundingbox1.cc boundingbox2.cc Log message: More tests added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cv…

1 0

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

13 Jun '02

-------- Original Message -------- Subject: Re: Bug affecting mpq_class::get_num() and mpq_class::get_den()? Date: Thu, 13 Jun 2002 11:29:25 +0200 From: gerardo.ballabio(a)unimib.it (Ballabio Gerardo - Dip. di Scienza dei Materiali) To: Kevin Ryde <user42(a)zip.com.au> 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> <87adq1cpi8.fsf(a)zip.com.au> Hi, I've done the "symlinking" and had mpq_class::get_num/get_den return true mpz_class references (see attached files) -- but don't like it very much. The problem is, I had to change the implementation of mpz_class and mpq_class: originally they just contained an mpz_t and an mpq_t, respectively. Now mpz_class contains an mpz_t AND an mpz_ptr: the pointer "normally" points to the mpz_t, but can also be "redirected" to another mpz_t, in particular, to the numerator or denominator of an mpq_t. mpq_class contains an mpq_t AND two mpz_classes: this amounts to an mpq_t, two pointers, and two mpz_t. That is, sizeof(mpq_class) is more than twice that of mpq_t; furthermore, the two mpz_t are always unused. I'd call such an implementation quite bloated. Another possibility is to throw away the mpz_t, keeping just the pointer, and to allocate it dynamically at the time of construction (deallocation would be done by the destructor). This is certainly better on technical grounds, but yields some (small) overhead. However this overhead occurs just when constructing and destroying, which should always happen outside of time-critical portions of code. Of course there is a third choice, that is, leave everything as is. My "vote" goes to the second (dynamical allocation), but I would like to hear your advice. Gerardo -- 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/Polyhedron.inlines.hh tests/Makefile.a ...
by Enea Zaffanella 13 Jun '02

13 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-13 11:21:38 Modified files: src : Polyhedron.inlines.hh tests : Makefile.am Added files: tests : boundingbox2.cc Log message: A bug corrected in the constructor of a Polyhedron from a Box. Added a new test boundingbox2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src BoundingBox.hh
by Roberto Bagnara 13 Jun '02

13 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-13 08:59:47 Modified files: src : BoundingBox.hh Log message: Fixed two bugs whereby call-by-value was used instead of call-by-reference. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BoundingBox.hh.diff?cvsro…

1 0