Input expression:
Manipulate:
Algebraic rules for scalars (lower case):
+
is commutative:
a+b == b+a
+
is associative:
(a+b)+c == a+(b+c)
*
is commutative:
a*b == b*a
*
is associative:
(a*b)*c == a*(b*c)
*
is left-distributive over
+
:
a*(b+c) == a*b+a*c
*
is right-distributive over
+
:
(a+b)*c == a*c+b*c
*
has priority over
+