Function sequant::detail::supplied_result_indices

• Defined in File expr.hpp

Function Documentation

container::set<Index> sequant::detail::supplied_result_indices(const ResultExpr &result, const Expr &term)

Parameters:

• result – a result head

• term – a summand of the rhs of result; whether its symmetrizers supply their indices is the caller’s choice (is_valid() passes term without them, see without_symmetrizers())

Returns:

the (non-null) indices of result that term supplies, i.e. uses in a bra, ket or aux slot; a head index is never contracted, so one that term uses in several slots is supplied, too