Re: A Level 2 query
Folk
On 20 Jun 2013, at 17:48, fateman@xxxxxxxxxxxxxxxxx wrote:
> Anyway, my question is still -- if the compiler works hard to come
> up with a tighter enclosure (by doing SUE simplification, polynomial
> root finding, etc) is that going to violate the standard, or is it
> irrelevant to the standard being supra-library, and nothing to
> worry about :)
My view is that it is irrelevant to the standard, which as made clear in Chapter 1 (§6), does not make a formal definition of "expression". Do you think one should add to §6 something like "an implementation may make any optimization to how an expression is interval-evaluated as long as containment is ensured"? (Improved wording welcomed.)
John P