24 Oct
2001
24 Oct
'01
2:57 p.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@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?cvsro...