dedekind::category::is_linear_action< M, S, AddM, AddS, MultS, Act > Struct Template Reference

The semimodule laws of an action Act : S x M -> M, declared: 1 m = m, 0 m = 0, (s + t) m = s m + t m, (s t) m = s (t m) and s (m + n) = s m + s n. A certificate, false where none is declared: a carrier with the right signatures is not thereby a semimodule. For scalars of type size_t, the integers modulo 2^64, the laws make n m the n-fold sum of m for every n. More...

Inheritance diagram for dedekind::category::is_linear_action< M, S, AddM, AddS, MultS, Act >:

Collaboration diagram for dedekind::category::is_linear_action< M, S, AddM, AddS, MultS, Act >:

Detailed Description

template<typename M, typename S, typename AddM, typename AddS, typename MultS, typename Act>
struct dedekind::category::is_linear_action< M, S, AddM, AddS, MultS, Act >

The semimodule laws of an action Act : S x M -> M, declared: 1 m = m, 0 m = 0, (s + t) m = s m + t m, (s t) m = s (t m) and s (m + n) = s m + s n. A certificate, false where none is declared: a carrier with the right signatures is not thereby a semimodule. For scalars of type size_t, the integers modulo 2^64, the laws make n m the n-fold sum of m for every n.

Template Parameters

M	the module.
S	the scalars.
AddM
AddS
MultS	the operations.
Act	the action.

---

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

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