Изменения

==Свойства==

Иногда есть возможность найти более точные границы ошибки округления, что будет видно далее из лемм. Первая лемма используется, когда один операнд много меньше другого, а вторая - когда сумма близка к степени двойки. Для лемм 1 - 4 пусть <tex>a, b</tex> - <tex>p</tex>-битные числа с плавающей точкой. Леммы приводятся без доказательств, их можно найти в статье Джонатана Шевчука "Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates".

{{Лемма

Ошибка округления <tex>err(a \oplus b)</tex> не превзойдет <tex>max(|a|, |b|)</tex>. (Аналогично для вычитания).

}}

Как следствие, верна следующая лемма: