Re: int2interval, frac2interval, rat2interval
On 2012-04-18 20:11:14 -0700, Dmitry Nadezhin wrote:
> 1) Add following items to section 3.2 Definitions of the Level 1
> text approved by the motion 31.
>
> 3.2.999. integer. Any member of the set Z of integer numbers.
> 3.2.999. rational. Any member of the set Q of rational numbers.
>
> 2) Add following paragraphs to the constructor text approved by the
> motion 30.
>
> - The constructor int2bareinterval(i) is defined for an integer value i.
> Its value is the singleton interval [i,i] = { i }.
This is not Level 2 yet, but I suppose that what is an integer will be
language-defined. I mean, it can come from an integer type or from some
floating-point number (if it happens to be an integer) if the language
doesn't have a specific integer type.
> - The constructor frac2bareinterval(p,q) is defined for a pair of
> integer values (p,q) with q > 0.
> Its value is the singleton interval [p/q,p/q] = { p/q }.
Why the restriction to q > 0? IMHO, it would be safer to allow
any q <> 0.
[...]
--
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)