Function sequant::detail::assert_protoindexed_not_active

Function Documentation

void sequant::detail::assert_protoindexed_not_active(const IndexBasisRegistry &isr, const IndexSpace &sp, const Index &a, const Index &b)

asserts that a and b, which meet in sp, do not reach the active space if either carries protoindices: under a MultiProduct vacuum the active orbitals are shared by every basis