Additive Magma Concept. More...
Classes | |
| struct | tag |
| Additive Magma Concept tag. More... | |
| struct | interface |
| Interface of the Additive Magma Concept. More... | |
| struct | requirements |
| Requirements of the Additive Magma Concept. More... | |
Additive Magma Concept.
This is a "non-intrusive" interface of the additive_magma conception. In abstract algebra, a magma is a basic kind of algebraic structure. Specifically, additive 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 additive_magma conception is a refinement of assignable conception with plus method.