Re: Revised FlavorsText
Guillaume Melquiond wrote, on comparability of accuracy modes:
> ... So the implementer decides to introduce the "tight in practice"
> mode, which it is impossible to order with respect to all the other
> modes. Indeed, it is worse than "tight", better than "not even
> accurate", but uncomparable with "accurate".
I had given another example a few months ago, when I tried to talk John
out of requiring a linear order: a choice of "accurate" libraries, one
optimized for time and one optimized for space. They have different
ranges where one gives tighter bounds than the other, so they are not
comparable. But both are better than "valid" and worse than "tightest".
Michel.
---Sent: 2014-03-19 13:24:19 UTC