SetCommutingOperators[b,c]

Aliases: None

Description: SetCommutingOperators takes exactly two parameters. SetCommutingOperators[b, c] will implement the definitions which follow. They are in pseudo-code so that the meaning will not be obscured b ** c becomes c ** b if LeftQ[b, c]; and c ** b becomes b ** c if LeftQ[b, c]; ). See SetCommutingFunctions and LeftQ.

Arguments: $b$, $c$ are symbols.

Comments / Limitations: NOTE: The above implementation will NOT lead to infinite loops.

WARNING: If one says SetCommutingOperators[b, c] and then sets only LeftQ[c,b], then neither of the above rules will be executed. Therefore, one must remember the order of the two parameters in the statement. One obvious helpful habit would be to use alphabetical order (i.e., say SetCommutingOperators[a,b] and not the reverse).