dedekind::category::detail_periodic::TimesPower< N > Struct Template Reference

One factor into the product: \(b^e\) is e copies of b under *, which concat on copies computes by squaring, Listing 4's overload at the monoid \((\mathbb{N}/2^w, \times)\); the factors are then the plain fold, one multiplication each. More...

Public Member Functions
constexpr N	operator() (N acc, const Factor< N > &f) const

Detailed Description

template<IsCountWord N>
struct dedekind::category::detail_periodic::TimesPower< N >

One factor into the product: \(b^e\) is e copies of b under *, which concat on copies computes by squaring, Listing 4's overload at the monoid \((\mathbb{N}/2^w, \times)\); the factors are then the plain fold, one multiplication each.

---

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

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