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…
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…
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…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2001-10-11 14:28:59
Modified files:
src : GenSys.defs.hh
Log message:
In the first example, Variable y(0) changed in Variable y(1) to avoid
dimension clash with Variable x(0).
In the second example, the computation of the past-the-end iterator
moved outside the for-loop.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro…
