dedekind::linear_algebra::diagonal_product_rule< F, G > Struct Template Reference

The componentwise rule (F·G)(i) = F(i) · G(i). More...

Collaboration diagram for dedekind::linear_algebra::diagonal_product_rule< F, G >:

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

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

Public Attributes
F	f
G	g

Detailed Description

template<typename F, typename G>
requires dedekind::category::IsArrow<F> && dedekind::category::IsArrow<G> && std::same_as<typename std::remove_cvref_t<F>::Domain, typename std::remove_cvref_t<G>::Domain>
struct dedekind::linear_algebra::diagonal_product_rule< F, G >

The componentwise rule (F·G)(i) = F(i) · G(i).

diagonal__Componentwise_Product

Diagonal<D, F> · Diagonal<D, G> = Diagonal<D, F·G> componentwise. The diagonal subalgebra is closed under multiplication (and commutative when T is).

---

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

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