dedekind::linear_algebra::Scaled< F, Mult > Struct Template Reference

The scalar ⊗-action on an arrow f : D → S: \((c \odot f)(x) = c \otimes f(x)\). An IsArrow (the scaled vector), carrying the scalar c and the arrow f. More...

Collaboration diagram for dedekind::linear_algebra::Scaled< F, Mult >:

Public Types
using	Domain = typename std::remove_cvref_t<F>::Domain
using	Codomain = typename std::remove_cvref_t<F>::Codomain

Public Member Functions
constexpr Codomain	operator() (const Domain &x) const

Public Attributes
Codomain	c
F	f

Detailed Description

template<typename F, typename Mult = typename dedekind::algebra::semiring_ops< typename std::remove_cvref_t<F>::Codomain>::mult>
struct dedekind::linear_algebra::Scaled< F, Mult >

The scalar ⊗-action on an arrow f : D → S: \((c \odot f)(x) = c \otimes f(x)\). An IsArrow (the scaled vector), carrying the scalar c and the arrow f.

---

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

• src/main/modules/dedekind/linear_algebra/transfer.cppm