Module: ppl/ppl Branch: master Commit: 3a66052bb7c9e61a4d64d8ca03de9b581a89b487 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a66052bb7c9e...
Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Oct 17 09:39:17 2012 +0200
Removed wrong observation on time-elapse for closed polyhedra. (Thanks to Marco Faella for pointing this out.)
---
doc/definitions.dox | 6 ++---- 1 files changed, 2 insertions(+), 4 deletions(-)
diff --git a/doc/definitions.dox b/doc/definitions.dox index c1b6b02..83b7e0d 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -1580,10 +1580,8 @@ is the smallest NNC polyhedron containing the set \vect{p} \in \cP, \vect{q} \in \cQ, \lambda \in \nonnegRset ,\bigr}. \f] -Note that, if \f$\cP,\cQ \in \CPset_n\f$ are closed polyhedra, -the above set is also a closed polyhedron. -In contrast, when \f$\cQ\f$ is not topologically closed, -the above set might not be an NNC polyhedron. +Note that the above set might not be an NNC polyhedron. +
\subsection Meet_Preserving_Simplification Meet-Preserving Enlargement and Simplification