Function sequant::detail::assert_protoindexed_not_active¶
Defined in File wick_extended.cpp
Function Documentation¶
-
void sequant::detail::assert_protoindexed_not_active(const IndexBasisRegistry &isr, const IndexSpace &sp, const Index &a, const Index &b)¶
asserts that
aandb, which meet insp, do not reach the active space if either carries protoindices: under a MultiProduct vacuum the active orbitals are shared by every basis