dedekind::algebra::IsMultiplicativeGroup Concept Reference

Proposition: a set object X whose carrier is a group under *. More...

Concept definition

template<typename X, typename Mult std::multiplies<typename X::Domain>>
concept dedekind::algebra::IsMultiplicativeGroup =  IsGroup<X, Mult>

Detailed Description

Proposition: a set object X whose carrier is a group under *.

The std::multiplies-defaulted multiplicative witness of the set-indexed IsGroup.

Template Parameters

X	The set object.
Mult	The multiplicative operation (defaults to std::multiplies<X::Domain>).