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] = wick_reduce(A·B − B·A). 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.