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

One factor into the width: its power's image under CeilLog2, \(e \lceil \log_2 b \rceil\), added saturating, the \((\mathbb{N}, +)\) side of TimesPower's fold. More...

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

Detailed Description

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

One factor into the width: its power's image under CeilLog2, \(e \lceil \log_2 b \rceil\), added saturating, the \((\mathbb{N}, +)\) side of TimesPower's fold.

---

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

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