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