On Wed, Oct 21, 2015 at 11:24 PM, Paolo Giarrusso
wrote:
> On 20 October 2015 at 16:44, Laurent wrote:
> > Thanks Paolo, yes, I saw that indeed and it is most likely relevant. I
> was
> > hoping my problem would be sufficiently more specific; in
Thanks Paolo, yes, I saw that indeed and it is most likely relevant. I was
hoping my problem would be sufficiently more specific; in particular, I'd
like to detect whether the value being above 0 is likely a rounding error
(in which case I can just round it down to 0 again) or likely a mistake on
On Tuesday, October 20, 2015 at 12:15:21 PM UTC+2, Laurent Orseau wrote:
> The built-in log-space arithmetic operations are wonderful. (Thanks so much
> Neil!)
>
>
> It sometimes happens that after some log-operations where the result is very
> close to 0 that it actually goes slightly above 0
3 matches
Mail list logo