Motion M0041 NO
I vote NO on Motion 41.
In §2.1, 3rd line, it seems to be only about "continuous problems",
while the main theorem, the FTIA, is not about continuity.
In §2.5 (Decorations):
* "The IEEE 754 model of global flags" -> These are not global flags,
but status flags. They don't have to be global.
* I would remove "in an era of massively parallel processing".
Many users don't use such systems. This would make the standard
more targeted at some users, which is bad.
* "tagged with a few bits" is about Level 4. This should be rephrased
to be encoding-independent (e.g. in some languages, the concept of
bits may be non-existent).
* About the 17-byte problem: it should be made clear that this
is just an example (perhaps the most common case, but still an
example). Also, one could still think that vector systems may
be able to pack their data efficiently (e.g. in a vector, by
grouping the decorations).
Editorial:
In §2.2, 1st line, "IEEE" is missing before "754-2008".
In various places, "level(s)" should be changed to "Level(s)".
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)