dedekind::category::Offsets< N > Struct Template Reference

The offsets a window takes, as a tensor: the chain of m, its count m, one factor \(m^1\). Its outer product with a tensor is the copower \(m \cdot X\), m copies, the action of \(\mathbb{N}\) on the counts (:action; Listing 4's concat on copies). Fubini's sum over the offsets, every summand the same (period 1, translation invariance), is this factor of the product. More...

Collaboration diagram for dedekind::category::Offsets< N >:

Public Attributes
Factor< N >	factor
	m as m^1, or as 2^w where m is 2^w, past the word

Detailed Description

template<IsCountWord N>
struct dedekind::category::Offsets< N >

The offsets a window takes, as a tensor: the chain of m, its count m, one factor \(m^1\). Its outer product with a tensor is the copower \(m \cdot X\), m copies, the action of \(\mathbb{N}\) on the counts (:action; Listing 4's concat on copies). Fubini's sum over the offsets, every summand the same (period 1, translation invariance), is this factor of the product.

Template Parameters

N	the counts.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/category/comprehension.cppm