October 2001 - PPL-devel - BUGSENG Mailman

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

11 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-11 17:37:53 Modified files: src : Polyhedron.defs.hh Log message: Added a backslash to mathbb in the second example. Removing empty lines that were causing Examples 1 and 2 to end prematurely. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

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

11 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-11 17:00:06 Modified files: src : Polyhedron.defs.hh Log message: Added two examples to the comment: one is for the construction of a square using the constraints and the generators. The other is for the construction of an half-strip using the constraints and the generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src GenSys.defs.hh
by Elisa Ricci 11 Oct '01

11 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-11 16:57:51 Modified files: src : GenSys.defs.hh Log message: Added another example for the construction of a set of generators (it builds an half-strip). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro…

1 0

ppl/src ConSys.defs.hh
by Elisa Ricci 11 Oct '01

11 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-11 16:56:34 Modified files: src : ConSys.defs.hh Log message: Added another example for the constraction of a system of constraints (it builds an half-strip). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro…

1 0

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

11 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-11 16:41:01 Modified files: doc : definitions.dox Log message: The paragraph "The Minkowski's theorem" renamed to "Minkowski's theorem. The condition "rank(A) = n" changed to "where A is a matrix of rank n". The note following the definition is reworded so that the conditions are not bracketed. "Linear equalities and inequalities" has been changed to "constraints". "positive multiples of each inequality and ray" has been changed to "positive multiples of each constraint and ray". The word "the" inserted where necessary. The paragraph "The Weil's theorem" renamed to "Weil's theorem. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Constraint.defs.hh
by Enea Zaffanella 11 Oct '01

11 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-11 16:07:50 Modified files: src : Constraint.defs.hh Log message: In the examples, variable "cs" renamed into "inequal" and "equal". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c…

2 1

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

11 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-11 15:49:48 Modified files: doc : definitions.dox Log message: In the definition of rays: P is defined before P_0; A and b are defined; inserted "any point" before r; The comment that a ray is the direction in which P is infinite, moved from within the statement of the proposition to before the proposition and reworded. In the definition of lines, wording improved. Comment relating opposite rays with lines made into a separate paragraph. It is not part of the definition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src LinExpression.defs.hh
by Enea Zaffanella 11 Oct '01

11 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-11 14:38:33 Modified files: src : LinExpression.defs.hh Log message: In the first two examples, variable z now has index 2 (using index 5 was correct, but a bit misleading). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif…

1 0

ppl/src Generator.defs.hh
by Enea Zaffanella 11 Oct '01

11 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-11 14:33:55 Modified files: src : Generator.defs.hh Log message: IN the first example, variable "g" renamed as "line". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0

ppl/src Generator.defs.hh
by Enea Zaffanella 11 Oct '01

11 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-11 14:32:08 Modified files: src : Generator.defs.hh Log message: Examples modified: - using more meaningful names (line, ray and vertex) for Generator variables; - explained that the first argument of operators | and ^ is meaningless; - explained how to use the second argument of /= to obtain vertices with non-integral coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0