September 2007 - PPL-devel - BUGSENG Mailman

ppl demos/ppl_lpsol/expected_mpz src/MIP_Probl ...
by Roberto Bagnara 13 Sep '07

13 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-13 17:48:18 Modified files: demos/ppl_lpsol: expected_mpz src : MIP_Problem.cc Log message: FIXME resolved. This also makes the PPL independent from the bug of mpq_get_d() in GMP 4.1.4. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_mpz.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/src Grid_chdims.cc
by Roberto Bagnara 13 Sep '07

13 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-13 16:41:54 Modified files: src : Grid_chdims.cc Log message: Definition of unused macro removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0

ppl/src Grid_chdims.cc Grid_conversion.cc Grid ...
by Roberto Bagnara 13 Sep '07

13 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-13 16:39:04 Modified files: src : Grid_chdims.cc Grid_conversion.cc Grid_simplify.cc Log message: Pointless inline directives removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs…

1 0

ppl/src Grid.defs.hh Grid_nonpublic.cc
by Roberto Bagnara 13 Sep '07

13 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-13 16:34:50 Modified files: src : Grid.defs.hh Grid_nonpublic.cc Log message: The second argument of Grid::max_min() was erroneously `char *': it is `const char*' now. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/src MIP_Problem.cc
by Roberto Bagnara 13 Sep '07

13 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-13 15:53:05 Modified files: src : MIP_Problem.cc Log message: Simplified the implementation of the steepest-edge heuristics. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl TODO
by Roberto Bagnara 13 Sep '07

13 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-13 15:12:34 Modified files: . : TODO Log message: The handling of temporary coefficients has been redone and the C and Prolog cover all the supported domains. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.22…

1 0

Re: [PPL-devel] Handling of floating point numbers changed from GMP 4.1.4 to GMP 4.2.1
by Roberto Bagnara 13 Sep '07

13 Sep '07

Paul Zimmermann wrote: > I tried your program on a Pentium 4, under Linux, with gmp-4.1.4, > gmp-4.2.1, and gmp-4.2.2, for all 4 rounding modes, compiled like this: > > mermoz% g++ -I/users/spaces/logiciels/gmp-4.1.4/p4/include bagnara.c /users/spaces/logiciels/gmp-4.1.4/p4/lib/libgmpxx.a /users/spaces/logiciels/gmp-4.1.4/p4/lib/libgmp.a -lm > > I get 121.83249999999999602 in all cases, except with gmp-4.1.4 and FE_UPWARD, > where I get 121.83250000000001023, which is wrong, since it is larger than > 137171200400403985/1125899906842624, whereas the documentation says that > mpq_get_d rounds towards zero. > > Thus I confirm there was a problem in 4.1.4, and it is now fixed, i.e., > mpq_get_d does not depend any more on the processor rounding mode, and > returns the correct result (at least for that example, and on my machine). Thanks everyone! We will now see how best get around the problem (I don't know why, but most Linux distributions are still at GMP 4.1.4). -- 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

[Fwd: Re: Handling of floating point numbers changed from GMP 4.1.4 to GMP 4.2.1]
by Roberto Bagnara 13 Sep '07

13 Sep '07

-------- Original Message -------- Subject: Re: Handling of floating point numbers changed from GMP 4.1.4 to GMP 4.2.1 Date: Thu, 13 Sep 2007 14:42:12 +0200 From: Paul Zimmermann <Paul.Zimmermann(a)loria.fr> To: Roberto Bagnara <bagnara(a)cs.unipr.it> CC: Vincent.Lefevre(a)ens-lyon.fr, tg(a)swox.com Roberto, I tried your program on a Pentium 4, under Linux, with gmp-4.1.4, gmp-4.2.1, and gmp-4.2.2, for all 4 rounding modes, compiled like this: mermoz% g++ -I/users/spaces/logiciels/gmp-4.1.4/p4/include bagnara.c /users/spaces/logiciels/gmp-4.1.4/p4/lib/libgmpxx.a /users/spaces/logiciels/gmp-4.1.4/p4/lib/libgmp.a -lm I get 121.83249999999999602 in all cases, except with gmp-4.1.4 and FE_UPWARD, where I get 121.83250000000001023, which is wrong, since it is larger than 137171200400403985/1125899906842624, whereas the documentation says that mpq_get_d rounds towards zero. Thus I confirm there was a problem in 4.1.4, and it is now fixed, i.e., mpq_get_d does not depend any more on the processor rounding mode, and returns the correct result (at least for that example, and on my machine). Paul -- 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/tests/Box Makefile.am bug2.cc
by Roberto Bagnara 12 Sep '07

12 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-12 21:20:23 Modified files: tests/Box : Makefile.am Added files: tests/Box : bug2.cc Log message: A simplified version of bug1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/bug2.cc?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

[Fwd: Handling of floating point numbers changed from GMP 4.1.4 to GMP 4.2.1]
by Roberto Bagnara 12 Sep '07

12 Sep '07

-------- Original Message -------- Subject: Handling of floating point numbers changed from GMP 4.1.4 to GMP 4.2.1 Date: Wed, 12 Sep 2007 18:22:25 +0200 From: Torbjorn Granlund <tg(a)swox.com> To: gmp-discuss(a)swox.com References: <86r6l4rsyb.fsf(a)king.swox.se> Did you not see my reply? I verified that I can reproduce the rounding problem in older GMP. I am sorry if fixing this bug in GMP 4.2 caused problems in a program that apparently relied on the buggy behaviour. To state it again: GMP 4.2 is right. Older GMP were wrong. -- Torbjörn _______________________________________________ gmp-discuss mailing list gmp-discuss(a)swox.com http://swox.com/mailman/listinfo/gmp-discuss -- 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