Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::Cylinder< P, S, N > Struct Template Referenceexport

The words of a tensor power whose window lies in a set of words: the cylinder set \(\pi_I^{-1}(S)\), the legs the window reads constrained by S and every other leg free. More...

Collaboration diagram for dedekind::category::Cylinder< P, S, N >:

Public Attributes

P power
Window< N > window
S inner

Detailed Description

template<typename P, typename S, IsCountWord N>
struct dedekind::category::Cylinder< P, S, N >

The words of a tensor power whose window lies in a set of words: the cylinder set \(\pi_I^{-1}(S)\), the legs the window reads constrained by S and every other leg free.

Template Parameters
Pthe power.
Sthe set of words the window lands in, over the same legs.
Nthe counts.

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