Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Motion 44: YES

I vote YES on Motion 44, but think that the wording could be better:

There is an apparent contradiction between the first and the last
sentence of the second paragraph since the empty set is a value.
I would rephrase this paragraph in a more concise way as follows
(where /.../ means italic, normally used to define the term, so
that "is said to" is redundant):

  The operation nums2interval(l,u), where l and u are extended-real
  values, /succeeds/ and returns the non-empty interval
  [l,u] = { x in R | l <= x <= u } if (see §9.2) the conditions
  l <= u, l < +inf and u > -inf hold. Otherwise the operation /fails/
  and returns no value.

Similarly, I would rephrase the last line "Optional rules for [...]"
with "and may optionally be followed" removed:

  Optional rules for the string t accepted at an implementation level
  are given in the Level 2 Subclause 11.11.1 on interval literals.

-- 
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)