Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: rat2interval

On 2012-04-19 13:21:25 -0700, Dmitry Nadezhin wrote:
> However, the motion 33 still rejects many known arithmetic types:
> int        C/Java primitive type
> long       C/Java primitive type
> long long  C primitive type
> mpz_t      GMP library
> mpq_t      GMP library

mpq_t has a (non-official) way to represent +oo, -oo and NaN: +1/0,
-1/0 and 0/0, though not supported as inputs by mpq (but that doesn't
matter as far as P1788 is concerned; the user can still test the
results and write whatever mpq wrapper he wishes). MPFR uses such
representations to convert such values to mpq.

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