24 Jul
2009
24 Jul
'09
12:31 p.m.
I agree with Erich that "smin" and "smax" are fun to say, but I think I will follow Joerg's suggestion and write the operations as min^- and max^+ (and not give them names at all). As for Henry's request
Tell us more about the interesting properties of these operators.
the operations come up in the following context: Suppose we know that m and n are distinct integers, where m lies in the interval [a,b] and n lies in the interval [c,d]. Then max(m,n) lies in the interval [max^+(a,c), max(b,d)] while min(m,n) lies in the interval [min(a,c), min^-(b,d)]. Jim