Re: isCommon(T) and member(F,T)
On 2013-10-02 19:21:54 -0700, Dmitry Nadezhin wrote:
> It seems to me that these two boolean functions are so basic
> that they shall be required in all flavors:
>
> isCommon(T x) - interval "x" is common
>
> member(F e, T x) - floating-point number "e" is an element of set "x"
^^^^^^^^^^^^^^ not necessarily floating-point
> In Kaucher flavor: "e is an element of Set(x)"
--
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)