dedekind::algebra::IsDivisionRing Concept Reference

A Ring establishing the existence of Multiplicative Inverses. More...

Concept definition

template<typename T, typename Add std::plus<T>, typename Mult std::multiplies<T>, typename Div std::divides<T>>
concept dedekind::algebra::IsDivisionRing = 
    dedekind::category::IsRing<T, Add, Mult> && requires(T a, T b) {
      { a.inverse() } -> std::same_as<T>;
      { a / b } -> std::same_as<T>;
      { Div{}(a, b) } -> std::same_as<T>;
    }

Detailed Description

A Ring establishing the existence of Multiplicative Inverses.

Template Parameters

T	The carrier type.
Add	Additive operation witness (defaults to std::plus<T>).
Mult	Multiplicative operation witness (defaults to std::multiplies<T>).
Div	Division operation witness (defaults to std::divides<T>).