Module: ppl/ppl Branch: master Commit: 364ccfa621c70caefb8b9cbcec2d90c1ad7307d2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=364ccfa621c70...
Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 21 12:21:34 2009 +0100
Reworded misleading comment.
---
src/Pointset_Ask_Tell.templates.hh | 8 +++----- 1 files changed, 3 insertions(+), 5 deletions(-)
diff --git a/src/Pointset_Ask_Tell.templates.hh b/src/Pointset_Ask_Tell.templates.hh index d955491..f318439 100644 --- a/src/Pointset_Ask_Tell.templates.hh +++ b/src/Pointset_Ask_Tell.templates.hh @@ -88,11 +88,9 @@ Pointset_Ask_Tell<C_Polyhedron> x.sequence.push_back(Pair(c_ask, c_tell)); }
- // FIXME(0.10.1): the following comment should be rephrased! - // Note: this might be non-reduced even when `y' is known to be - // omega-reduced, because the constructor of C_Polyhedron, by - // enforcing topological closure, may have made different elements - // comparable. + // Note: in general, normalization of `y' does not propagate to `x', + // because the approximation potentially introduced by the conversion + // may have made uncomparable elements in `y' to become comparable in `x'. x.normalized = false; assert(x.OK()); }