openfermion.utils.trivially_double_commutes_dual_basis

Check if the double commutator [term_a, [term_b, term_c]] is zero.

Assumes the terms are single-term FermionOperators from the plane-wave dual basis Hamiltonian.

term_a, term_b, term_c: Single-term FermionOperators.

Notes:

This function inlines trivially_commutes_dual_basis for terms b and c.

Whether or not the double commutator is trivially zero.