Multiplicative Magma Concept. More...
Classes | |
| struct | tag |
| Multiplicative Magma Concept tag. More... | |
| struct | interface |
| Interface of the Multiplicative Magma Concept. More... | |
| struct | requirements |
| Requirements of the Multiplicative Magma Concept. More... | |
Multiplicative Magma Concept.
This is a "non-intrusive" interface of the multiplicative_magma conception. In abstract algebra, a magma is a basic kind of algebraic structure. Specifically, multiplicative magma consists of a set M equipped with a * binary operation M * M -> M. The * binary operation is closed by definition, but no other axioms are imposed on the operation. The multiplicative_magma conception is a refinement of assignable conception with multiply method.