The section of a tensor power fixed by a permutation sigma of the positions and an arrow tau on the letters, \(x_{\sigma(i)} =
\tau(x_i)\): the legs merged along each cycle of sigma, the spider's Merge through tau, the words de Bruijn's power group element \((\sigma, \tau)\) fixes.
More...
Classes | |
| struct | Holds |
One position of a word against the condition: the letter at i is the power's, and its image under tau is at sigma(i). More... | |
Public Member Functions | |
| template<std::ranges::random_access_range W> requires std::ranges::sized_range<W> | |
| constexpr bool | operator() (const W &w) const |
| Membership, read in place: a word of the power's length over its letters that the pair fixes, \(x_{\sigma(i)} = \tau(x_i)\), each position compared where it is, nothing copied. A window of a genome is a site exactly where this holds. | |
Public Attributes | |
| P | power |
| S | sigma |
| T | tau |
Detailed Description
struct dedekind::category::Symmetric< P, S, T >
The section of a tensor power fixed by a permutation sigma of the positions and an arrow tau on the letters, \(x_{\sigma(i)} =
\tau(x_i)\): the legs merged along each cycle of sigma, the spider's Merge through tau, the words de Bruijn's power group element \((\sigma, \tau)\) fixes.
- Template Parameters
-
P the power. S the permutation. T the arrow on the letters.
Member Function Documentation
◆ operator()()
requires std::ranges::sized_range<W>
|
inlineconstexpr |
Membership, read in place: a word of the power's length over its letters that the pair fixes, \(x_{\sigma(i)} = \tau(x_i)\), each position compared where it is, nothing copied. A window of a genome is a site exactly where this holds.
- Parameters
-
w a word.
- Returns
- whether the section holds it.
The documentation for this struct was generated from the following file:
- src/main/modules/dedekind/category/periodic.cppm
