4.1 区間演算

kv/inerval.hpp は必須。 kv/rdouble.hpp もほぼ必須。

プログラムには大抵これを書くことになるだろう

#include <kv/interval.hpp>
#include <kv/rdouble.hpp>

「rdouble.h で精度保証付き数値計算を行うためには、 以下の条件が必要。」とあるけれど、

• fenv.hによるfesetroundが使えること。 C99準拠であれば使えるはず。 最近のgccなら大丈夫。
• または、MicrosoftのVisual C++。 float.hで提供される _controlfpを用いる。
• また、CPUがいわゆるx86で64bit環境で使用する場合は、 -DKV_FASTROUNDと定義すると intrinsicを用いたSSEの高速な丸め変更を用いる。
• お勧めの環境はunix系OSで64bit。Windowsは一応動くだけで、遅いかも。
• 詳細はhwround.hを見てほしい。

はてな？4,5番目は条件と思いにくい。1,2 番目は条件なのだろう。 3番目はどうなのかな？

曖昧なもの言いで良く分からない。