October 2001 - PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am addconstraints2.cc
by Elisa Ricci 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-30 11:47:30 Modified files: tests : Makefile.am Added files: tests : addconstraints2.cc Log message: Added the test for the function add_dimensions_and_constraints_lazy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints2.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.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 11:39:19 Modified files: src : Polyhedron.cc Log message: In add_constraints, after adding NO constraints at all we still need to check for the emptyness of the polyhedron. In insert(const Constraint&), adjusted assertions and added triviality check when inserting into a zero-dim space polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.cc
by Elisa Ricci 30 Oct '01

30 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-30 11:29:07 Modified files: src : Polyhedron.defs.hh Polyhedron.cc Log message: Added the function add_dimensions_and_constraints_lazy(const ConSys& cs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.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 11:05:00 Modified files: src : Polyhedron.cc Log message: In add_constraints(_lazy), if a zero-dim space polyhedron is considered, using ConSys iterators to see if an inconsistent polyhedron is created. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am addconstraints1.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:54:08 Modified files: tests : Makefile.am Added files: tests : addconstraints1.cc Log message: Added test for the addition of consistent and inconsistent zero-dim constraints to a zero-dim space polyhedron. Tests re-ordered alphabetically. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints1.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

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