https://123dok.net/document/z3dlrlld-commutator-methods-for-unitary-operators.html