The entries form a ring under the + and × the matrices are computed with: then M₂(T) is a ring (Lang, Algebra, §XIII.1), each law below inherited from it, and not otherwise. More...

Concept definition

template<typename T>

concept dedekind::category::detail_mat2x2::HasRingEntries = IsRing<T, std::plus<T>, std::multiplies<T>>

dedekind::category::IsRing

The Perfect Species (Rig ∩ Rng).

Definition total.cppm:791

dedekind::category::detail_mat2x2::HasRingEntries

The entries form a ring under the + and × the matrices are computed with: then M₂(T) is a ring (Lang,...

Definition mat2x2.cppm:705

Detailed Description

The entries form a ring under the + and × the matrices are computed with: then M₂(T) is a ring (Lang, Algebra, §XIII.1), each law below inherited from it, and not otherwise.