Re: Tetrits and Motion 13...
Marco Nehmeier wrote:
Dear P1788,
at the moment we are discussing two different topics, "Comparison
Relations" and "Tetrits". And with both of them I associate a concept
called "Bool_set"
http://www.open-std.org/JTC1/sc22/wg21/docs/papers/2006/n2046.pdf
which is used for interval comparisons in the C++ proposal for
interval arithmetic.
Hi Marco,
In regards to the topic of tetrits in exception handling, I agree bool_set
has the desired semantics.
In the example of binary operation zz = f(xx,yy); if (xx,px) and (yy,py) are
operands, where (xx,px) and (yy,py) are decorated intervals comprised of
intervals xx, yy and tetrits px, py, respectively, the resulting tetrit
(section 2.2 of my position paper) of zz must be:
inf( inf( px, py ), inf( P(f,xx), P(f,yy) ) ),
where P(f,xx) and P(f,yy) are the respective tetrits for property P of the
intervals w.r.t. the function f.
This is same as bool_set operator "&" given in Table 1 of the bool_set
document, i.e.:
( ( px & py ) & ( P(f,xx) & P(f,yy) ) ).
Nate