- PPL-devel - BUGSENG Mailman

An odd bug
by P M Hill 30 Oct '01

30 Oct '01

Hi, I need help. I have a bug (one of many...) in a trivial meta-interpreter for CLP(Q) which I just don't understand. The constraints become the mirror of what they should be. 9 4 Call: ppl_insert_constraint(-32821246,A>=2) ? 9 4 Exit: ppl_insert_constraint(-32821246,A>=2) ? 8 3 Exit: solve_constraints(A>=2,-32821246) ? 7 2 Exit: solve({A>=2},-32821246) ? 10 2 Call: check_constraints(-32821246) ? 11 3 Call: ppl_space_dimension(-32821246,_7710) ? 11 3 Exit: ppl_space_dimension(-32821246,1) ? 12 3 Call: ppl_check_empty(-32821246) ? 13 4 Call: ppl_check_empty(-32821246,1) ? 13 4 Fail: ppl_check_empty(-32821246,1) ? 12 3 Fail: ppl_check_empty(-32821246) ? 14 3 Call: write(1) ? 14 3 Exit: write(1) ? 1 15 3 Call: write(' * ') ? 15 3 Exit: write(' * ') ? * 16 3 Call: ppl_get_constraints(-32821246,_7684) ? 16 3 Exit: ppl_get_constraints(-32821246,[1*A>= -2]) ? 17 3 Call: write([1*A>= -2]) ? 17 3 Exit: write([1*A>= -2]) ? [1*A>= -2] Note that on the 1st line the constraint A >= 2 is inserted. However, on the last line when it is printed we have A >= -2! Another experiment: | ?- solve({A==B+2}). 2 * [-1*A+1*B==2] % [vertex(-2*B),line(-1*A+ -1*B)] A = A, B = B ? | ?- solve({A+B==C+D-A+2}). 4 * [-2*A+ -1*B+1*C+1*D==2] % [vertex(-2*D),line(-1*C+1*D),line(-1*B+ -1*D),line(-1*A+ -2*D)] Note that all the variables are negated, regardless of where they occur - or equivalently, the constant term is negated. This is one of several bugs, but I just cannot see what is causing it and would appreciate suggestions. Also, as you can see from above, I have to use "==" for "=" which is not clp(q) syntax. Obviously, "=" -> "==" can be done in in the meta-interpreter, but it would be better if it was dealt with in the interface. ciao, Pat --

1 0

ppl/interfaces/Prolog/SICStus solve.pl
by Patricia Hill 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-30 10:32:30 Modified files: interfaces/Prolog/SICStus: solve.pl Log message: Some small bugs fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

ppl/tests Makefile.am removedim3.cc
by Enea Zaffanella 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-30 10:16:49 Modified files: tests : Makefile.am Added files: tests : removedim3.cc Log message: Added simple test on the removal of dimensions from an empty polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removedim3.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Enea Zaffanella 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-30 09:45:05 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: BE_LAZY used also in Polyhedron::add_dimensions_and_project. A couple of assertions added and old code (already commented out) removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/interfaces/Prolog/SICStus solve.pl
by Patricia Hill 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-30 09:07:39 Added files: interfaces/Prolog/SICStus: solve.pl Log message: A first start/attempt at a simple meta-interpreter for CLP(Q). There is a bug to be fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sol…

1 0

[Fwd: Re: To summarize [Was: Feature request: optionally compile with support for exceptions]]
by Roberto Bagnara 30 Oct '01

30 Oct '01

-------- Original Message -------- Subject: Re: To summarize [Was: Feature request: optionally compile with support for exceptions] Date: Mon, 29 Oct 2001 23:52:58 GMT From: pedrogimeno(a)wanadoo.es (Pedro Gimeno) To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <Pine.LNX.4.21.0110231300510.7206-100000(a)higgs.physik.uni-mainz.de> <878zdznxwu.fsf(a)zip.com.au> <3BDD1C4F.3312FF88(a)cs.unipr.it> Hello, I don't know whether this can help or not, but there's a chance. Please take a look at: <http://freetype.sourceforge.net/david/reliable-c.html> to see if you find there suggestions that can help you in your task. Regards, Pedro Gimeno

1 0

To summarize [Was: Feature request: optionally compile with support for exceptions]
by Roberto Bagnara 29 Oct '01

29 Oct '01

Hi there, it looks like I was not very successful in explaining why we absolutely need GMP to be compiled with exception support (and, in the long run, to be exception-safe). Absolutely means that we have only two choices: 1) we work with the GMP people to get this done in a way that satisfies everybody; or 2) we distribute our own patched version of the GMP (sources and binaries). If at all possible, we want to avoid 2, but we need to know whether the GMP people is available for alternative 1. All the best, Roberto P.S. You can learn more about one of the projects where the functionality we require is needed at http://www.cs.unipr.it/ppl/ -- 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

ppl/src Polyhedron.cc
by Roberto Bagnara 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-29 21:20:18 Modified files: src : Polyhedron.cc Log message: Be lazy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src conversion.cc minimize.cc simplify.cc
by Roberto Bagnara 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-29 21:18:02 Modified files: src : conversion.cc minimize.cc simplify.cc Log message: Comments fixed: the class is called Polyhedron, not Poly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus.cc
by Roberto Bagnara 29 Oct '01

29 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-29 18:26:01 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc Log message: Use Constraint/Generator::space_dimension() instead of the no longer existing last_variable(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0