Collection of tools to manually manipulate algebraic expressions
||Evaluate all commutators in expr.|
||Recursively expand commutators in expr according to the Leibniz rule.|
Recursively expand commutators in expr according to the Leibniz rule.\[[A B, C] = A [B, C] + [A, C] B\]\[[A, B C] = [A, B] C + B [A, C]\]
If expand_expr is True, expand products of sums in expr, as well as in the result.
Evaluate all commutators in expr.
All commutators are evaluated as the explicit formula\[[A, B] = A B - B A\]