Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

M00019.02 - YES

I vote YES for M00019.02.

However I don't think the unique definition of a hull is necessary
for implicit i-datatypes:
1. It will not ensure reproducibility across platforms (because the
   definitions and implementations may be different).
2. The valid mode will typically be used, so that the notion of
   unique hull will not be used.
3. The tightest mode is better suited to inf-sup.

Concerning the rationale and the comparison with IEEE 754, let's
recall that IEEE 754 doesn't ensure reproducibility, and it is
even rather difficult to have reproducibility in practice (due
to both languages and their practical implementations).

-- 
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 / Arénaire project (LIP, ENS-Lyon)