October 2001 - PPL-devel - BUGSENG Mailman

ppl/tests inters2.cc
by Roberto Bagnara 12 Oct '01

12 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-12 15:07:35 Modified files: tests : inters2.cc Log message: Fixed and extended. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters2.cc.diff?cvsroot…

1 0

ppl/tests Makefile.am Makefile.in inters1.cc i ...
by Roberto Bagnara 12 Oct '01

12 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-12 14:20:55 Modified files: tests : Makefile.am Makefile.in inters1.cc Added files: tests : inters2.cc print.hh Log message: print.hh contains functions that are useful for printing polyhedra. inters1.cc improved. New test inters2.cc computing the intersection of a pyramid with an half-space of variable height, then counting the number of vertices of the resulting polytope (the empty polyhedron, a proper frustum, or a singleton). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters2.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.in.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters1.cc.diff?cvsroot…

1 0

the user and developers manuals
by P M Hill 12 Oct '01

12 Oct '01

Hi, I am seeing how to tidy and improve the manuals generated from definitions.dox. This email is about the overall structure and, in particular the headings and titles we are using. The main title is "An Introduction to Convex Polyhedra". The first actual section heading is later when it changes to the developers manual and was "Equivalence of homogeneous and inhomogeneous systems" although I have already changed this to just "Homogeneous Systems". There are then two other section headings "Decomposition" and "Saturation". It seems that these last two should just be the usual bold face type for a definition heading and not section headers. I think that we really just want two sections. One at the start - the introduction for the users and one when the developers part starts when we change to studying the homogeneous representations. There still needs to be an overall title for the document - I suggest "Convex Polyhedra" or, maybe, "Convex Polyhedra and the PPL" Then, immediately start the section "An Introduction to Convex Polyhedra" Then later after Weil's theorem, a second section "Homogeneous Systems" or, maybe "Polyhedra Representations in the PPL". or similar..? Let me know if you object to this and/or have improved proposals. ciao, Pat --

1 0

ppl/doc definitions.dox
by Patricia Hill 12 Oct '01

12 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-12 13:20:59 Modified files: doc : definitions.dox Log message: Section on the "equivalence of homogeneous and inhomogeneous systems" (up to the paragraph called "Valid linear inequalities") changed and reworded. Title of section changed to "Homogeneous systems". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

w3ppl/htdocs/Documentation bibliography.raw pp ...
by Roberto Bagnara 12 Oct '01

12 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-12 11:31:31 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Log message: NemhauserW88 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl ./README doc/Polyhedra.texinfo tests/Makef ...
by Roberto Bagnara 12 Oct '01

12 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-12 10:04:51 Modified files: . : README doc : Polyhedra.texinfo tests : Makefile.am Makefile.in Log message: Bump copyright year. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Polyhedra.texinfo.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.in.diff?cvsroo…

1 0

w3ppl/htdocs/About About.raw
by Roberto Bagnara 12 Oct '01

12 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-12 09:59:29 Modified files: htdocs/About : About.raw Log message: Added a temporary repository of references to be used where needed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

ppl ./Makefile.am ./Makefile.in ./config.h.in ...
by Roberto Bagnara 12 Oct '01

12 Oct '01

1 0

ppl/tests
by Roberto Bagnara 11 Oct '01

11 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-11 22:15:04 ppl/tests Update of /cvs/ppl/ppl/tests In directory spartacus.cs.unipr.it:/tmp/cvs-serv28048/tests Log Message: Directory /cvs/ppl/ppl/tests added to the repository

1 0

definitions.dox
by P M Hill 11 Oct '01

11 Oct '01

Hi, There are a few small things I would like to check with you before changing the files. I notice a rather mixed notation for vectors. In most of the definitions x, x_1,... are elements of \mathbb{R}^n or similar. However, 1) in the definition of the combinations, we use p_1,...,p_k I think we should use x_1,...,x_k as in the rest of the user documentation. 2) in the definition of scalar product, x_1,...,x_n are the components of the vector x and, therefore elements of \mathhbb{R}. This is inconsistent with the rest of the paper. I am trying to choose another letter for x_1,...,x_n and y_1,...,y_n for this definition. Note that b and c are already used for vectors. One possibility is to use \lambda_1,...,\lambda_n and \mu_1,...,\mu_n since \lambda is already used in the definition of the different combinations as elements of \mathbb{R} - and also in Minkowski's theorem. ciao, Pat --

2 2