MultiplicativePartiallyInvertibleCommutativeMonoid concept

Description

A multiplicative partially invertible commutative monoid is a multiplicative partial invertible monoid where the multiplication is commutative.

Refinement of

Notation

Definitions

Valid expressions

Expression semantics

Complexity guarantees

Invariants

Models

Notes

• If the type S models MultiplicativePartiallyInvertibleCommutativeMonoid then the modul {S, glas::mult<S>} models PartiallyInvertibleCommutativeMonoid.