правила расчета
Определения:
- a: число a
- b: число b
- c: число c
Аддитивные стиль
a + 0 = a
Аддитивные Обратный
a + (-a) = 0
Ассоциативный сложения
(a + b) + c = a + (b + c)
Коммутативные сложения
a + b = b + a
вычитание
a - b = a + (-b)
Мультипликативные стиль
a * 1 = a
мультипликативного обратного
a * (1/a) = 1 (if a is not 0)
Нулевой элемент умножения
a * 0 = 0
Ассоциативный Умножения
(a * b) * c = a * (b * c)
Коммутативные Умножения
a * b = b * a
Коммутативные дистрибутивный закон
a(b + c) = ab + ac