Описание

igcdex(x, y) вычисляет неотрицательный наибольший общий делитель g целых чисел x и y и целые числа s и t, таким образом что g = sx + ty.

igcdex(x, y) возвращает последовательность выражения g, s, t с тремя элементами, где g является неотрицательным наибольшим общим делителем x, и y и s, t является целыми числами, таким образом что g = sx + ty. Эти данные вычисляются расширенным Алгоритмом Евклида для целых чисел.

igcdex(0, 0) возвращает последовательность 0, 1, 0. Если x является ненулевым, то igcdex(0, x) и igcdex(x, 0) возвращают abs(x), 0, sign(x) и abs(x), sign(x), 0, соответственно.

Если и x и y являются ненулевыми целыми числами, то числа s,t удовлетворяют неравенства и.

Если один из аргументов является номером, но не целым числом, то igcdex возвращает сообщение об ошибке. Если некоторый аргумент не является номером, то igcdex отвечает на символьный звонок igcdex.

Функциональный numlib::igcdmult является расширением igcdex больше чем для двух аргументов.