42
 правки
Изменения
→Двоичный алгоритм Евклида
         '''return''' <tex>\mathtt{binaryGcd((a - b)\: /\: 2, b)}</tex>
     '''return''' <tex>\mathtt{binaryGcd((b - a)\: /\: 2, a)}</tex>
Корректность данного алгоритма следует из того, что он на каждом шаге делает эквивалентные преобразования НОД.
===Расширенный алгоритм Евклида===