CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2001-10-21 13:04:46
Modified files:
src : Constraint.defs.hh Constraint.inlines.hh
Log message:
In the documentation, used n to denote the dimension of the space.
In the renaming operator >>, the parameter p renamed into offset,
consistently with the comment.
In the examples, removed spaces between factor and variable when specifying
a linear expression (e.g., "3 * x + 4 * y" now is written "3*x + 4*y").
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c…http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2001-10-21 13:01:18
Modified files:
doc : definitions.dox
Log message:
When specifying the coordinates of a point, indexes should range from 0
to n-1, if n is the dimension of the space.
This is to be consistent with definition of class Variable.
Change applied to the definitions of scalar-product, of polytope and
to Weil's theorem.
Note: I do not like to say a polyhedron is "open" in one direction;
I prefer the terminology "unbounded", so I changed it.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2001-10-21 12:09:50
Modified files:
doc : definitions.dox
Log message:
Restored some mathematical changes and used the notation "\vect{..}"
for all the vectors (also in the part that is not in the user manual).
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-21 11:14:23
Modified files:
doc : definitions.dox ppl.sty
Log message:
The new macro \vect inserted in ppl.sty; now the macro simply uses the
latex command \mathbf, but we can modify its meaning as we like.
Had a run on definitions.dox to consistently use the new macro:
be careful, in the future, to use 0 when a scalar is meant, and \vect{0}
when the origin of the space is meant.
Also made small, readability related changes to Minkowsky's and Weil's
theorems.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&…
