is a general associative, but non‐commutative, form of multiplication.
- NonCommutativeMultiply has attribute Flat.
- Instances of NonCommutativeMultiply are automatically flattened, but no other simplification is performed.
- You can use NonCommutativeMultiply as a generalization of ordinary multiplication for special mathematical objects.
Examplesopen allclose all
Basic Examples (1)
Use NonCommutativeMultiply to represent composition in an algebra of differential operators.
The base case, where is a function, simply multiplies by :
The next two properties express linearity:
Here the operator is D. HoldPattern stops the derivative from acting on the double blank:
Composition of operators applied to an expression:
Power of an operator applied to an expression:
Apply these rules to derive the KdV equation for the Lax pair:
Build a function to expand non-commutative products. Distributivity with respect to Plus:
Handling the commutative product inside the non-commutative one:
Properties & Relations (2)
No automatic simplification rules exist for NonCommutativeMultiply:
Expand and Simplify do not operate on expressions with NonCommutativeMultiply:
Possible Issues (1)
NonCommutativeMultiply of one argument, unlike Times, stays unevaluated:
Wolfram Research (1988), NonCommutativeMultiply, Wolfram Language function, https://reference.wolfram.com/language/ref/NonCommutativeMultiply.html.
Wolfram Language. 1988. "NonCommutativeMultiply." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/NonCommutativeMultiply.html.
Wolfram Language. (1988). NonCommutativeMultiply. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/NonCommutativeMultiply.html