1 ステップの丸め誤差

$c,a_k,b_k,d\in\mathbb{F}$（$k=1,\ldots,m$）とし、$s_0=c$, $s_k=\mathrm{fl}(s_{k-1}-\mathrm{fl}(a_kb_k))$ とする。

1. $y=\mathrm{fl}(s_m/d)$ ならば $c=dy(1+\theta^{(0)})+\sum_{k=1}^ma_kb_k(1+\theta^{(k)})$ となる $|\theta^{(0)}|\le\gamma_{m+1}$, $|\theta^{(k)}|\le\gamma_{m+1}$ がある。
2. $s_m\gt0$, $y=\mathrm{fl}(\sqrt{s_m})$ ならば $c=y^2(1+\theta^{(0)})+\sum_{k=1}^ma_kb_k(1+\theta^{(k)})$ となる $|\theta^{(0)}|\le\gamma_{m+2}$, $|\theta^{(k)}|\le\gamma_{m+2}$ がある。