MultiplicativeCommutativeSemiGroup concept

Description

An multiplicative commutative semi-group is a commutative multiplicative semi-group.

Refinement of

Notation

Definitions

Valid expressions

Expression semantics

Complexity guarantees

Invariants

Models

Notes

• If the type S models MultiplicativeCommutativeSemiGroup then the modul {S, glas::mult_functor<S,S>} models CommutativeSemiGroup.