355
правок
Изменения
→Grow Expansion
Перед описанием алгоритмов суммирования расширений, приведем алгоритм прибавления к расширению <tex>p</tex>-битного числа.
====Grow Expansionexpansion====
<wikitex>
{{Теорема
[[Файл:Adaptive_4.jpg|слева|Рисунок к теореме Деккера]]
<br clear="all" />
{{Лемма
|statement=
Каждая их первых $m$ компонент расширения $h$ не больше чем соответствующая компонента из $e$, то есть $|h_i| \leqslant |e_i|$. Более того, $|h_1| \leqslant |b|$.
}}
</wikitex>
====Expansion sum====
