dedekind::category::cyclic_order< T, Op > Struct Template Reference

The order \(n\) of a cyclic group (its cardinality). More...

Inheritance diagram for dedekind::category::cyclic_order< T, Op >:

Collaboration diagram for dedekind::category::cyclic_order< T, Op >:

Detailed Description

template<typename T, typename Op>
struct dedekind::category::cyclic_order< T, Op >

The order \(n\) of a cyclic group (its cardinality).

A positive value \(n\) signals a finite cyclic group of that order. The sentinel value 0 covers two distinct cases the trait does not distinguish: the infinite cyclic case (isomorphic to \(\mathbb{Z}\)) and the finite cyclic case whose order overflows std::size_t (e.g. uint64_t under std::plus on a 64-bit platform, where the order \(2^{64}\) is not representable as std::size_t).

---

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

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