February 2002 - PPL-devel - BUGSENG Mailman

ppl src/conversion.cc src/minimize.cc src/simp ...
by Elisa Ricci 28 Feb '02

28 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: ericci(a)cs.unipr.it 2002-02-28 17:08:05 Modified files: src : conversion.cc minimize.cc simplify.cc tests : Makefile.am Added files: tests : bug7.cc bug7.dat Log message: We need the equalities that derived from the constraints of positivity of the variables: this resolves "bug6". Added a test that still fails. 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=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug7.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bug7.dat.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl TODO
by Roberto Bagnara 28 Feb '02

28 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-28 12:44:38 Modified files: . : TODO Log message: Reference added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.5&…

1 0

ppl/src Generator.defs.hh Row.defs.hh
by Elisa Ricci 28 Feb '02

28 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-02-28 08:44:24 Modified files: src : Generator.defs.hh Row.defs.hh Log message: Changed the place of the comment about the inhomogeneous term of a vertex. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl NEWS
by Roberto Bagnara 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-27 19:50:53 Modified files: . : NEWS Log message: Better explanations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.13…

1 0

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Roberto Bagnara 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-27 19:32:34 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in Log message: Predefine PPL_INTERNAL and PPL_HIDDEN. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d…

1 0

How tu use purify with PPL?
by David Merchat 27 Feb '02

27 Feb '02

Helo I'm a PhD student in VERIMAG and I work on tools of Bertrand Jeannet. So i would like to thank you for PPL with is very similar to NewPolka but in C++. I work with PPL.0.2 I interfaced PPL with one of my programms and i tryed to complie with "purify" (my programm isn't finished and i have some problems of memory management). But it's seem that i can't compile PPL with "purify". So my question is how comple PPL.0.2 with "purify" (if it's possible). I also made some tests with PPL a observed some strange behaviours: - satisfies with a polyhedron given by vertex allways abord Exemple : GenSys gs; gs.insert(vertex(1*A + 1*B)); Polyhedron test(gs); ConSys lin; lin.insert(A >= 0); GenSys_Con_Rel rel = test.satisfies(lin[0]); Execution Abort - calling affine_image can produce a polyhedron which violates invariants of PPL Exemple ostream& sortie = cout; Polyhedron test(3); test.insert(C == -2); test.insert(A == 0); LinExpression lin = LinExpression(Integer(2)); lin = lin + (Integer(1)*Variable(0)); lin = lin + (Integer(0)*Variable(1)); lin = lin + (Integer(0)*Variable(2)); lin = lin + (Integer(0)*Variable(2)); test.affine_image(Variable(1), lin, 1); if(!test.OK()) sortie << "???" << endl; Execution Poly space_dim 3 -ZE -EM -CM -GM +CS -GS -SC -SG con_sys (up-to-date) 3 x 4 (not_sorted) 1 0 0 0 >= 2 0 0 1 = 0 1 0 0 = gen_sys (not_up-to-date) 0 x 0 (not_sorted) sat_c 0 x 0 sat_g 0 x 0 Lin expr 2 1 0 0 Generators must have at least one nonzero homogeneous coefficient! Here is the guilty polyhedron: space_dim 3 -ZE -EM -CM -GM -CS +GS -SC -SG con_sys (not_up-to-date) 3 x 4 (sorted) 2 0 0 1 = 0 1 0 0 = 1 0 0 0 >= gen_sys (up-to-date) 2 x 4 (not_sorted) 0 0 0 0 L 1 0 2 -2 V sat_c 0 x 0 sat_g 3 x 2 0 0 0 0 0 1 ??? Is there any others known strange behaviours? Thanks for your answer and for PPL -- MERCHAT David david.merchat(a)imag.fr VERIMAG-IMAG telephone 04 76 63 48 44 2 Avenue de Vignate secretariat 04 76 63 48 57 38610 GIEREs fax 04 76 63 48 50

2 2

Re: Polyhedra bounded by stricts inequalities...
by Roberto Bagnara 27 Feb '02

27 Feb '02

Christophe Lohr wrote: > I'm looking for a polyhedra library able to compute inclusion test and > union of polyhedra bounded by stricts and larges inequalities. > PPL is very interesting ! > > But I have some doubt : with PPL, is it possible to compute polyhedra > bounded by stricts inequalities as Bertrand Jeannet do in POLKA by > introducing special variable epsilon...? Dear Cristophe, even though we have started writing our TODO list only today* supporting polyhedra bounded by strict inequalities is at the top. In fact we have almost completed the feasibility study and we are about to add that capability. Even though with software one can never make real promises, I expect we might have this ready for public consumption in a month or so. Of course, if you are willing to beta-test preliminary versions we might be able to give you something to play with before that time. When you say that your inequalities are large do you mean that they involve a large number of variables? If so, how many? More generally, we would love to hear about your application so as to better guide the future of the library. All the best Roberto * http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/~checkout~/ppl/TODO?rev=1.5&conte… -- 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 ./NEWS src/Polyhedron.cc src/Polyhedron.de ...
by Elisa Ricci 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-02-27 18:26:37 Modified files: . : NEWS src : Polyhedron.cc Polyhedron.defs.hh tests : Makefile.am Added files: tests : bounded1.cc Log message: Added the function Polyhedron::is_bounded() that returns true if and only if the polyhedron is bounded. Added a test for this function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.12… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bounded1.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src minimize.cc
by Enea Zaffanella 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-27 17:32:23 Modified files: src : minimize.cc Log message: In minimize(), added an assertion saying that matrix source is not empty. Removed a FIXME and added a comment explaining why dest is initialized as what would be a non-legal generator matrix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl NEWS
by Elisa Ricci 27 Feb '02

27 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-02-27 16:52:16 Modified files: . : NEWS Log message: Added the new feature that says that PPL does not call abort(), but we have an error message and the correction of the bug of the negative denominator of the vertex. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.11…

1 0