Function sequant::push_symmetrizer

• Defined in File expr.cpp

Function Documentation

void sequant::push_symmetrizer(ResultExpr &expression, std::optional<ExprPtr> symmetrizer)

Inverse of pop_symmetrizer: multiplies the given expression from the left with the given (anti)symmetrization operator

Parameters:

• expression – The expression to modify

• symmetrizer – The operator to re-attach, as returned by pop_symmetrizer. If empty, expression is left unchanged.