Re: Defining "common interval literal"
On 2015-03-18 13:42:55 +0000, John Pryce wrote:
[...]
> A flavor might define, the string s="[pi]" to denote the one point
> interval containing pi, which translates to a tight enclosure of
> this at Level 2. This s denotes a common interval. But at present we
> can't call it a common interval literal, even one "of that flavor"?
>
> I think this could be confusing to users and will welcome
> suggestions to revise the naming.
There could be "portable interval literals" (may include "[pi]"
in some flavor) and "portable common interval literals" (must not
include "[pi]" in any flavor). This naming might be misleading,
though, because a "portable interval literal" may still denote a
common interval (but isn't a portable common interval literal).
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)