Template Function sequant::detail::reduce_wick_impl

Function Documentation

template<Statistics S>
bool sequant::detail::reduce_wick_impl(std::shared_ptr<Product> &expr, const container::set<Index> &external_indices, const container::set<Index> &noncovariant_indices, const Context &ctx)

resolves Kronecker deltas (and overlaps between indices in one orthonormal basis, see is_kronecker_equivalent) in summations; an overlap inside a non-orthonormal basis is its metric and stands

Returns:

false if expr is zero