Template Function sequant::irreps_of(const ResultExpr&, const Ctx&)

• Defined in File propagation.hpp

Function Documentation

template<IrrepPropagationContext Ctx>
Ctx::set_type sequant::irreps_of(const ResultExpr &result, const Ctx &ctx)

Returns:

The IRREPs spanned by the given result expression. A summand of a Sum on its rhs that lacks some of the head’s indices (see is_valid(const ResultExpr&)) is broadcast over them: constant along those modes, it is nonzero in every IRREP block of them, so unless it vanishes it spans every IRREP.