dedekind::linear_algebra::detail_diag Namespace Reference

Classes
struct	linear_rule_int
struct	const_rule_three
struct	const_rule_six
struct	rule_one_two

Variables
constexpr Identity< dim_finite< 2 >, int >	id2 {}
constexpr Identity< dedekind::sets::ℵ_0, int >	id_inf {}
constexpr Diagonal< dedekind::sets::ℵ_0, linear_rule_int >	diag_lin {}
constexpr OuterProduct< linear_rule_int, const_rule_three >	rk1 {}
constexpr OuterProduct< linear_rule_int, const_rule_six >	rk1_scaled {}
constexpr Diagonal< dim_finite< 2 >, rule_one_two >	diag_one_two {}
constexpr auto	diag_one_two_squared = diag_one_two * diag_one_two

Detailed Description

— value-level proofs at finite and

ℵ_0 dimensions.