dedekind::linear_algebra::PointwiseSum< F, G, Add > Struct Template Reference

The pointwise ⊕ of two arrows over a shared domain: \((f \boxplus g)(x) = f(x) \oplus g(x)\). An IsArrow (the sum vector). More...

Collaboration diagram for dedekind::linear_algebra::PointwiseSum< F, G, Add >:

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
F	f
G	g

Detailed Description

template<typename F, typename G, typename Add = typename dedekind::algebra::semiring_ops< typename std::remove_cvref_t<F>::Codomain>::add>
struct dedekind::linear_algebra::PointwiseSum< F, G, Add >

The pointwise ⊕ of two arrows over a shared domain: \((f \boxplus g)(x) = f(x) \oplus g(x)\). An IsArrow (the sum vector).

---

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

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