ntlib::HasMultiplicativeInverses Concept Reference

Restricts to types with multiplicative inverse elements. More...

Concept definition

template<typename T>
concept HasMultiplicativeInverses = requires(T a, T b) {
  // Require that `operator/(T,T)` is overloaded.
  { a / b } -> std::convertible_to<T>;
}

Detailed Description

Restricts to types with multiplicative inverse elements.

Note

The least restrictive (multiplicative) concept in NTLib requiring multiplicative inverse elements is MultiplicativeGroup. Therefore, the following can be assumed to hold:

• The multiplicative inverse elements are unique.
• The unique multiplicative inverse elements are left- and right-inverse.

Template Parameters

T	A set with an inner multiplication operation.