[PPL-devel] ppl/doc definitions.dox
Enea Zaffanella
zaffanella at spartacus.cs.unipr.it
Wed Oct 24 14:57:28 CEST 2001
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2001-10-24 14:57:28
Modified files:
doc : definitions.dox
Log message:
A full scan on the user-manual portion of the introduction.
In particular:
- added a proposition after Minkowsky's theorem for rational polyhedra;
- preferring the use of \lambda wrt \mu for scalars;
- yet another variation on the definition of extreme rays;
- "non-negative" combinations are now "positive" combinations;
- better explaining the border-line cases of the generators representation.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&r1=1.28&r2=1.29
More information about the PPL-devel
mailing list