Программистское

[spamsink]

С подачи ygam впервые за много лет задумался о вариациях на тему целочисленного деления. Если делить положительное число на положительное, то остаток, очевидно, положительный.

А каким должен быть знак остатка, если хотя бы одно из чисел, участвующих в операции, отрицательное?

Кроме очевидных вариантов "всегда неотрицательный", "соответствующий знаку делителя" и "соответствующий знаку делимого" (все эти варианты представлены в разнообразных языках программирования, хотя "всегда неотрицательный" и непопулярен), есть и еще один: знак остатка от деления X на Y, если он не равен нулю, соответствует знаку произведения X на Y. Если бы в языке INTERCAL было целочисленное деление, оно бы, наверное, было определено именно так.

Интересно, можно ли придумать такому определению остатка полезное применение?

Upd: В Architecture Neutral Distribution Format одно из определений деления с остатком именно такое: http://docs.tendra.org/reference/xhtml/guide/ch08.html#S69