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

Re: Motion 46: finalise interval literals, amendments

Vincent,

> In practice, several times the size of the input stream with fast
> algorithms. But anyway a DoS may occur *before* an OutOfMemory

Computation of tight enclosure of p/q requires memory "size of the input stream" + constant .
Computation of accurate enclosure of p/q requires constant memory.

So implementation doesn't need to limit length of p/q stream.
It may document accuracy mode of conversion of interval literal.

  -Dima

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