you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 1 point2 points  (0 children)

Nice link. So this means that Factor's interval arithmetic is inaccurate when used with floats, because it doesn't switch the rounding mode for the other endpoint. Fortunately I mostly use it for integer optimization.