A sequence constant on its extent by its type: a constant arrow out of the counts, a sequence after one, and the cylinder's factors along the offsets (R2). More...

Concept definition

template<typename F>

concept dedekind::category::HasUnitPeriod = HasPeriod<F> && unit_period<F>::value

dedekind::category::HasPeriod

A sequence on finite chains with a declared period, read by period(f): for every k....

Definition periodic.cppm:82

dedekind::category::HasUnitPeriod

A sequence constant on its extent by its type: a constant arrow out of the counts,...

Definition periodic.cppm:127

dedekind::category::unit_period

The trait behind HasUnitPeriod: a sequence whose period is 1 by its type, not only by its value,...

Definition periodic.cppm:122

Detailed Description

A sequence constant on its extent by its type: a constant arrow out of the counts, a sequence after one, and the cylinder's factors along the offsets (R2).

Template Parameters

F	the sequence.