Вторая часть алгоритма работает только для неотрицательных значений m и n. Так как gcd (m, n) = gcd (| m |, | n |) они делаются положительными.
Если m = 0 и n! = 0, gcd равен n, и наоборот.
Если и n, и m равны 0, НОД не определен, потому что каждое число является делителем 0. Следовательно, в этом случае ничего не печатается.