Давайте посмотрим на более общую функцию divmod
, которая дает вам как частное, так и остаток:
divmod(n, m) == n // m, n % m
divmod
подчиняется следующему закону (см. help(divmod)
) для всех целых чисел n
и m
:
q, r = divmod(n, m) <==> m*q + r == n
Кроме того, m
и r
всегда имеют один и тот же знак, а 0 <= abs(r) < abs(m)
. Ни то, ни другое прямо не указано, но каждое следует из определения //
.