dedekind::category::HasFactors Concept Reference

A tensor whose count is a product of factors, as many as its type bounds: a shape, so an outer product of two is one too. More...

Concept definition

template<typename X>
concept dedekind::category::HasFactors =  requires(const X& x) {
  requires detail_periodic::IsBoundedFactorsOf<
      decltype(count_factors(x)),
      detail_periodic::word_of_t<decltype(count_factors(x))>>;
}

Detailed Description

A tensor whose count is a product of factors, as many as its type bounds: a shape, so an outer product of two is one too.