That other flavour...
As time progresses inexorably, I'm beginning to wonder what will happen
to Chapter 3. Do we really expect this to undergo the same level of
discussions and refinements that we have been doing to Chapter 2? At
this point it seems that the most likely way to describe another flavour
will be relative to the set-based flavour, pointing out first the conceptual
differences, and then the detailed differences with respect to decorations
and non-common evaluations, so as to take advantage of all the work we
have done on Chapter 2.
I also have a more specific question: Does clause 13.7 on Dot Product
and Complete Arithmetic belong in Chapter 2? It seems to me that it is
flavour-independent since it does not involve any actual intervals. I
suppose that whether a Correctly-Rounded Dot Product is required or not
might be flavour-dependent -- but Motion M0045.02 said nothing about
flavours at all.
Perhaps we need a separate chapter on non-interval operations, or move
clause 13.7 to the end of Chapter 1. We also had Motion M0024.03 which
required availability of explicit directed-rounding for the basic point
arithmetic operations (which comes for free with 754-2008, but could be
an additional requirement for non-754 implementations). This belongs in
the same place.
Michel.
---Sent: 2013-09-20 19:39:43 UTC