The counts' action on a monoid (T, Op), \((n, x) \mapsto x^n\), the n copies of x, where its laws give it in one step: derived, never declared, and absent where no law gives it, so that the binary method of :total squares instead. More...

Detailed Description

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

The counts' action on a monoid (T, Op), \((n, x) \mapsto x^n\), the n copies of x, where its laws give it in one step: derived, never declared, and absent where no law gives it, so that the binary method of :total squares instead.

Template Parameters

T	the carrier.
Op	the operation.

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

src/main/modules/dedekind/category/action.cppm