Оценки ошибок для некоторых основных вычислений с двойным числом разрядов
9. Мы сформулируем сейчас без доказательства следующие основные результаты:
В (9.1) сумма накоплена с использованием -разрядной мантиссы и после этого округлена. Далее мы имеем
где границы (9.2) по-прежнему имеют место,
Окончательно
где все еще имеют место оценки (9.5). Важно понять все значение (9.6). Оно не дает нам возможности утверждать, что ) имеет незначительную относительную ошибку, так как среди членов может иметь место точное сокращение. Однако (9.6) означает, что
Если среди членов точное сокращение не имеет места, то второй член в правой части (9.7) пренебрежимо мал по сравнению с первым.
(iii) Полагая в результате равным х, имеем
и, следовательно,
Если
так что всегда имеет незначительную относительную ошибку.
(iv) Если х и у векторы, число, то
где удовлетворяют соотношениям (9.5). Мы можем это выразить в виде: вычисленное значение равно точному значению где элементы х и у отличаются от элементов х и у относительными ошибками
порядка тогда как z отличается от z относительной ошибкой порядка
где