dedekind::morphologies::CyclicRing< T, N > Class Template Reference

Minimal int-backed \(\mathbb{Z}/N\mathbb{Z}\) carrier from the experimental reintegration phase. Retained for parity with the existing test; Modular<N> below is the broader (auto-typed N) replacement. More...

Public Types
using	machine_type = T
using	Domain = T

Public Member Functions
constexpr	CyclicRing (T v)
constexpr	operator T () const

Static Public Member Functions
static constexpr T	successor (T a)
static constexpr T	generator ()

Friends
constexpr CyclicRing	operator+ (CyclicRing a, CyclicRing b)
constexpr CyclicRing	operator* (CyclicRing a, CyclicRing b)

Detailed Description

template<std::integral T, T N>
class dedekind::morphologies::CyclicRing< T, N >

Minimal int-backed \(\mathbb{Z}/N\mathbb{Z}\) carrier from the experimental reintegration phase. Retained for parity with the existing test; Modular<N> below is the broader (auto-typed N) replacement.

---

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

• src/main/modules/dedekind/morphologies/cyclic.cppm