Изменения

===Простое суммирование===

Важной базовой операцией во всех алгоритмах, основанных на представлении чисел в виде расширений, является сумма двух <tex>p</tex>-битных величин, результатом которой является расширение длины два. Есть два алгоритма для выполнения этой задачи - алгоритмы Деккера и Кнута.

{{Теорема

|author=

Это объяснение лишь гипотетическое и зависит от машины, но алгоритм TwoSum, что будет описан ниже, избегает этого сравнения посредством трех дополнительных операций, что обычно на практике даже быстрее. Конечно же, FastTwoSum все же быстрее, если результат сравнения известен ''априори''.

{{Теорема

|author=

Пусть $x$ и $y$ - величины, возращенные алгоритмом $FastTwoSum$ или $TwoSum$. На машине с округлением до ближайшего четного $x$ и $y$ - несмежные.

}}

</wikitex>