May 2004 - PPL-devel - BUGSENG Mailman

ppl ./NEWS src/Polyhedron.defs.hh
by Roberto Bagnara 26 May '04

26 May '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-05-26 16:11:19 Modified files: . : NEWS Log message: Mention the documentation improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.85… Modified files: src : Polyhedron.defs.hh Log message: Fixed examples involving ConSys::insert() and GenSys::insert(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl configure.ac
by Roberto Bagnara 21 May '04

21 May '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-05-21 22:44:14 Modified files: . : configure.ac Log message: Tests reordered so that an invalid combination of compiler options is detected earlier and diagnosed in an intelligible way. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

Re: [Yap-users] Communicating multiple-precision integers to foreign code and back
by Roberto Bagnara 14 May '04

14 May '04

Vitor Santos Costa wrote: > I suppose such an interface is really in order. I haven't done much > because (1) no one asked before, and (2) it will make the interface > depend on GMP, which is not always available. But (1) is broken now, > and (2) should not be strong enough. I think that the interface should not depend on GMP: the ability to communicate Prolog integers back and forth should be present anyway and not depend on the size of those Prolog integers. In other words, I believe the presence of GMP should only influence the availability of unbounded integers, not the way integers of any size are communicated (on YAP systems compiled without the GMP, trying to convert an externally-provided integer that is too large will simply cause the C function implementing the conversion to return an error code). Which brings me to another question: what is the best way for foreign code to know whether it is interfaced to a YAP system with bounded or unbounded integers? And to obtain the minimum and maximum integers? Is there a sensible alternative to calling current_prolog_flag/2? For instance, for SWI-Prolog you can write the following C code: Prolog_min_integer = PL_query(PL_QUERY_MIN_INTEGER); Prolog_max_integer = PL_query(PL_QUERY_MAX_INTEGER); whereas this is valid C for interfacing with GNU Prolog Prolog_min_integer = INT_LOWEST_VALUE; Prolog_max_integer = INT_GREATEST_VALUE; > That's a good point, actually. Do you know how other systems cope with > that? SICStus Prolog offers SP_put_integer_bytes() and SP_get_integer_bytes(), SP_put_number_chars() and SP_get_number_chars(). I suppose the former are more efficient than the latter. Ciao Prolog has ciao_put_number_chars() and ciao_get_number_chars(). Cheers, 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

2 1

Bignums
by Roberto Bagnara 14 May '04

14 May '04

Hi there, I believe the following behavior of the CVS version of YAP witnesses a bug (or, quite possible, a misunderstanding on my part): $ yap [ Restoring file /usr/local/lib/Yap/startup ] [ YAP version Yap-4.3.23 ] ?- current_prolog_flag(bounded,X). X = false ? ?- X is 333333333333333, integer(X). no ?- X is 33333333, integer(X). X = 33333333 ? ?- X is 333333333333333, float(X). no ?- X is 333333333333333, number_chars(X,L). X = 333333333333333, L = [51,51,51,51,51,51,51,51,51,51,51,51,51,51,51] ? In words, the Prolog engine first declares it is employing unbounded integers, then it silently converts an integer numeral to... to what? Is this a bug? Am I missing something? All the best 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

2 5

ppl/Watchdog Watchdog.cc
by Roberto Bagnara 09 May '04

09 May '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-05-09 17:15:06 Modified files: Watchdog : Watchdog.cc Log message: Anachronisms removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.cc.diff?cvs…

1 0

ppl ./STANDARDS src/Polyhedra_PowerSet.inlines ...
by Roberto Bagnara 09 May '04

09 May '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-05-09 14:52:55 Modified files: . : STANDARDS src : Polyhedra_PowerSet.inlines.hh Polyhedron_public.cc Polyhedron_widenings.cc simplify.cc tests : bhrz03widening14.cc bhrz03widening15.cc Log message: All other things being equal, always prefer preincrement and predecrement to postincrement and postdecrement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening14.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening15.cc.dif…

1 0

ppl/src Polyhedron_chdims.cc
by Roberto Bagnara 09 May '04

09 May '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-05-09 12:21:30 Modified files: src : Polyhedron_chdims.cc Log message: Redundant test avoided. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff…

1 0

ppl/src Matrix.cc Matrix.defs.hh Polyhedron.in ...
by Roberto Bagnara 08 May '04

08 May '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-05-08 15:10:41 Modified files: src : Matrix.cc Matrix.defs.hh Polyhedron.inlines.hh Log message: New declaration and implementation of Matrix::permute_columns(). Implementation of Polyhedron::map_dimensions() improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/interfaces/Prolog/XSB Makefile.am
by Roberto Bagnara 08 May '04

08 May '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-05-08 14:12:48 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: Missing dependency added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 08 May '04

08 May '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-05-08 08:48:58 Modified files: htdocs/Download: requirements.raw Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0