Template Function sequant::signatures_consistent

• Defined in File slicing_signature.hpp

Function Documentation

template<typename Range>
bool sequant::signatures_consistent(Range const &occurrences, container::svector<Index> const &modes)

Returns:

true iff every occurrence in occurrences has the same slicing signature over modes &#8212; i.e. the value may be materialized once and shared across all of them. False means at least one mode binds a different physical slot across occurrences (a relabeled mode): the value cannot be shared sliced and must be split (materialized per occurrence).