• a ** b ** c is a general associative, but non-commutative, form of multiplication.
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.
• New in Version 1.