My comments on Motion 61 (flavors)

[Vincent Lefevre <vincent@xxxxxxxxxx>]

Here are my comments on Motion 61:

§7.2, top of page 18: "Its inputs x_i are all intervals^7 so that
x = (x_1, x_2, ..., x_k) is a box, regarded as a subset of R^k."
Add "in the set-based flavor"?

§7.7, last sentence: "For example, the set-based FTIA handles
unbounded intervals, which the Kaucher flavor does not; while
Kaucher intervals have an extended FTIA, involving generalized
meanings of “contains” and “interval extension” applicable to
reverse-bound intervals, which has no simple interpretation in
the set-based flavor."
The "while" would be correct after a comma, but I don't think it
is after a semicolon (in this context).

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