June 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C/lpenum unboundedmin.mps
by Roberto Bagnara 29 Jun '02

29 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-29 08:19:43 Added files: interfaces/C/lpenum: unboundedmin.mps Log message: Very simple problem without a minimum. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/unbounded…

1 0

ppl/interfaces/C/lpenum ex1.mps
by Roberto Bagnara 29 Jun '02

29 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-29 08:16:15 Added files: interfaces/C/lpenum: ex1.mps Log message: New example problem. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/ex1.mps.d…

1 0

[Fwd: Re: C++ interface and mpz_addmul]
by Roberto Bagnara 29 Jun '02

29 Jun '02

-------- Original Message -------- Subject: Re: C++ interface and mpz_addmul Date: Sat, 29 Jun 2002 07:57:06 +1000 From: Kevin Ryde <user42(a)zip.com.au> To: gmp(a)swox.com, ppl-devel(a)cs.unipr.it CC: Gerardo.Ballabio(a)unimib.it References: <3D1CD64E.4030508(a)cs.unipr.it> Roberto Bagnara <bagnara(a)cs.unipr.it> writes: > > it seems that C++ statements of the form > > a += b*c > > for a, b and c of type mpz_class, are not translated > by the C++ interface into an invocation of mpz_addmul. Alas you're right. mpz_addmul is only used for "mpq += mpz" at the moment. (Hmm. Should use mpz_addmul_ui for "mpq += ulong" too I guess.) > The reason I am asking is twofold: on the one hand, expressions > like that are quite common in several applications and they usually > occur in critical computation paths (e.g., applications computing > zillions of scalar products); You can call mpz_addmul directly with mpz_class::get_mpz_t if you want. Not terribly pretty, but it'll work right now. > on the other hand, the template machinery > used to implement the C++ interface of GMP would seem powerful enough > to do the right thing. I wonder if the templating can cope with two operators like that. > Am I missing something? > If not, are there any plans to enhance the C++ interface so as to > capture this case? Gerardo? _______________________________________________ gmp mailing list gmp(a)swox.com http://swox.com/mailman/listinfo/gmp -- 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.cc
by Roberto Bagnara 28 Jun '02

28 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-28 22:07:47 Modified files: src : Polyhedron.cc Log message: Polyhedron::is_bounded() improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog clpq2.pl expected2
by Roberto Bagnara 28 Jun '02

28 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-28 22:05:00 Modified files: interfaces/Prolog: clpq2.pl expected2 Log message: Undo the changes corresponding to the last two commits of clpq2.pl and to the last commit of expected2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected2.d…

1 0

w3ppl/htdocs/Documentation bibliography.raw pp ...
by Roberto Bagnara 28 Jun '02

28 Jun '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-06-28 18:18:31 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Log message: BagnaraRZH02TR and BagnaraRZH02TRerrata added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/interfaces/Prolog clpq2.pl expected2
by Patricia Hill 28 Jun '02

28 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-28 17:06:55 Modified files: interfaces/Prolog: clpq2.pl expected2 Log message: Updated the expected2 file to match current clpq2.pl clpq2.pl has a minor bug fixed when writing equality bindings that were not included as constraints (this does not affect the results of the check_script2). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected2.d…

1 0

ppl/tests memory1.cc timings.cc
by Roberto Bagnara 28 Jun '02

28 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-28 09:09:04 Modified files: tests : memory1.cc timings.cc Log message: Improved error handling. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/memory1.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timings.cc.diff?cvsroot…

1 0

ppl/tests memory1.cc
by Roberto Bagnara 28 Jun '02

28 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-28 09:03:13 Modified files: tests : memory1.cc Log message: Cleaned and improved error handling. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/memory1.cc.diff?cvsroot…

1 0

w3ppl/htdocs/Documentation/mirror BessonJT99.ps.gz
by Enea Zaffanella 27 Jun '02

27 Jun '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-27 15:51:09 Added files: htdocs/Documentation/mirror: BessonJT99.ps.gz Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/mirror…

1 0