Re: comments on flavors
John,
On 2012-10-04 15:59:50 +0100, John Pryce wrote:
> There are some ill-defined parts of the flavors motion, of which the
> key one I think is
> Does the Level 1 -> Level 2 map "hull" apply to *all*
> intervals of a type, or only the common ones?
> This has serious implications and we need a motion on it.
Could you rephrase your question (in particular when taking
overflow into account)?
--
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)