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

The rotation of the positions of a word by shift, \(i \mapsto i + d \bmod n\), the symmetry of a power \(u^j\): on a word, the letter at i moves to i + d, as std::rotl moves a bit. A family of arrows, one per word type, as Reverse is. More...

Public Member Functions
template<std::ranges::random_access_range W> requires std::semiregular<W> && (!std::ranges::view<W>) && std::permutable<std::ranges::iterator_t<W>> && std::ranges::sized_range<W>
constexpr W	operator() (W s) const
constexpr bool	operator== (const Rotation &) const =default

Public Attributes
N	shift

Detailed Description

template<IsCountWord N = std::size_t>
struct dedekind::category::Rotation< N >

The rotation of the positions of a word by shift, \(i \mapsto i + d \bmod n\), the symmetry of a power \(u^j\): on a word, the letter at i moves to i + d, as std::rotl moves a bit. A family of arrows, one per word type, as Reverse is.

Template Parameters

N	the counts.

---

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

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