December 2005 - PPL-devel - BUGSENG Mailman

ppl/src Ask_Tell.inlines.hh Bounding_Box.cc Co ...
by Enea Zaffanella 05 Dec '05

05 Dec '05

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Enea Zaffanella 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-05 10:27:58 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Log message: Added a missing \relates doxygen command. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh
by Enea Zaffanella 05 Dec '05

05 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-05 10:27:11 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Log message: Helper functions forget_*_constraints_on_var() are now provate methods of class BD_Shape. Corrected the implementation of method swap. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

Re: [SWIPL] Big integers and the foreign language interface
by Roberto Bagnara 04 Dec '05

04 Dec '05

Jan Wielemaker wrote: > Roberto > > On Friday 02 December 2005 19:55, Roberto Bagnara wrote: > >>I am interfacing the Parma Polyhedra Library (http://www.cs.unipr.it/ppl/) >>to the new version of SWI-Prolog. The library is already interfaced to >>versions of SWI-Prolog up to 5.4.7. The point is that big integers >>arise quite frequently in the kind of applications we are interested in. >>So we were really looking forward for your announcement that SWI-Prolog >>5.6 is to be released very soon. >> >>In order to do the job, all I need are functions of the kind >>PL_put_mpz_t(), PL_put_mpq_t(), PL_get_mpz_t() and PL_get_mpq_t() >>with the obvious semantics. A reasonably efficient text-based interface >>would also be OK: is there something like PL_put_number_chars() >>and PL_get_number_chars()? >> >>By the way: Alan's idea of providing a separate header file for the >>GMP-dependent stuff would seem to address your concerns, right? >>An alternative would be to use the same header file but ask the user >>to activate the GMP-dependent stuff explicitly, e.g., by doing > > > Ok. I've added > > int PL_get_mpz(term_t t, mpz_t mpz); > int PL_get_mpq(term_t t, mpq_t mpq); > int PL_unify_mpz(term_t t, mpz_t mpz); > int PL_unify_mpq(term_t t, mpq_t mpq); > > With pretty obvious (also documented) semantics. You get these if you > do (in *this* order): > > #include <gmp.h> > #include <SWI-Prolog.h> > > Now this works fine, except when SWI-Prolog is compiled with a > diffferent version of GMP that uses a different representation. I think > GMP is pretty stable, but there is an issue here. > > Changes are on CVS. I only ran a few obvious tests. Please try it and > report problems you may find. > > Success --- Jan > > Here is a complete example: > > #include <gmp.h> > #include <SWI-Prolog.h> > > static foreign_t > next_prime(term_t n, term_t prime) > { mpz_t mpz; > int rc; > > mpz_init(mpz); > if ( PL_get_mpz(n, mpz) ) > { mpz_nextprime(mpz, mpz); > > rc = PL_unify_mpz(prime, mpz); > } else > rc = FALSE; > > mpz_clear(mpz); > return rc; > } > > install_t > install() > { PL_register_foreign("next_prime", 2, next_prime, 0); > } Dear Jan, thanks a lot: the functions you have added to SWI-Prolog's foreign language interface do the job perfectly. I have made several tests with the PPL and everything seems to work as expected. Thanks again, 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

1 0

ppl/doc definitions.dox
by Enea Zaffanella 04 Dec '05

04 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-04 10:38:50 Modified files: doc : definitions.dox Log message: Draftet a section on BD shapes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

w3ppl/htdocs/Documentation Documentation.raw
by Roberto Bagnara 04 Dec '05

04 Dec '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2005-12-04 08:28:33 Modified files: htdocs/Documentation: Documentation.raw Log message: Updated link to FOLDOC. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 04 Dec '05

04 Dec '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2005-12-04 08:26:00 Modified files: htdocs/Applications: Applications.raw Log message: Updated link to HyTech. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 04 Dec '05

04 Dec '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2005-12-04 08:19:20 Modified files: htdocs/Applications: Applications.raw Log message: SPHIN no longer has a web page (it probably never existed in the first place). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

ppl/src Grid_Generator_System.inlines.hh
by Matthew Mundell 03 Dec '05

03 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-03 15:33:57 Modified files: src : Grid_Generator_System.inlines.hh Log message: Update insert to construct the generator directly into the constructor call. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.inl…

1 0

ppl/src Grid_Generator_System.defs.hh
by Matthew Mundell 03 Dec '05

03 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-03 15:33:14 Modified files: src : Grid_Generator_System.defs.hh Log message: Update the matrix diagram in the add_universe_rows_and_columns description. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.def…

1 0