Function sequant::mbpt::bernoulli::detail::wick_commutator

• Defined in File bernoulli.cpp

Function Documentation

ExprPtr sequant::mbpt::bernoulli::detail::wick_commutator(const ExprPtr &A, const ExprPtr &B)

Normal-ordered commutator \([A,B] = \operatorname{wick\_reduce}(AB-BA)\). NOT the bare algebraic commutator: the operator product is Wick-reduced, so contractions between \(A\) and \(B\) generate the lower-rank terms the Bernoulli expansion relies on. Every index of \(B\) is reindexed to a fresh temporary first, making them disjoint from \(A\)’s.