4.10 ここまでに紹介されている、使えるデータ型のまとめ

多倍長は脇におくにしても、

• 実数のみか、あるいは複素数か

以外に、

• double か kv::dd か
• 1つの浮動小数点数で近似するか、 浮動小数点数を上端・下端とする区間で厳密に包むか

3 つの選択がある。$2^3=8$ 通りの型がある。 念のため列挙しておく。

1. 実数を1つの double データで近似する … double
2. 実数を2つの double データを端点とする区間で厳密に包む … kv::interval<double>
3. 実数を1つの dd データで近似する … kv::dd
4. 実数を2つの dd データを端点とする区間で厳密に包む … kv::interval<kv::dd>
5. 複素数の実部と虚部をそれぞれ1つの double データで近似する … kv::complex<double>
6. 複素数の実部と虚部をそれぞれ1つの dd データで近似する … kv::complex<kv::dd>
7. 複素数の実部と虚部をそれぞれ2つの double データを端点とする区間で 厳密に包む … kv::complex<kv::interval<double> >
8. 複素数の実部と虚部をそれぞれ2つの dd データを端点とする区間で 厳密に包む … kv::complex<kv::interval<kv::dd> >

(> が二つ重なった » は見難いので、 わざとブランクを入れて > > としてある。)

kv-version/test/test-complex.cc が良い例になっている。