dedekind::linear_algebra::detail::ComplexToMatrix2x2Hom Struct Reference

Public Types
using	Domain = Complex<Rat>
using	Codomain = Matrix2x2V<Rat>

Public Member Functions
constexpr Matrix2x2V< Rat >	operator() (const Complex< Rat > &z) const

Detailed Description

embeddings__Ring_Homomorphism_Concept_Witnesses

The two embeddings witness dedekind.algebra::IsRingHomomorphism at the type level, folding the four preservation static_asserts above (0, 1, +, ·) into a single structural claim. Each wrapper struct promotes the function template to a callable object so the concept can bind Phi to a concrete type, an arrow with its domain and codomain.

---

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

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