Subject: Maxima gives incorrect results with ceiling
From: Robert Dodier
Date: Tue, 11 Dec 2007 00:18:40 -0700
On 12/7/07, Stavros Macrakis <macrakis at alum.mit.edu> wrote:
> As I said, Maxima uses bigfloats *internally* to calculate
> ceiling/floor. Unfortunately, the current method of using bigfloats is
> not conservative enough to avoid error in some cases. The right way to
> handle this would be interval arithmetic, but no one has coded that up
> yet.
Can you summarize the approach using interval arithmetic?
I will take a look at it.
Robert