AbelianGroup concept
Description
An abelian group is a commutative Group.
Let a and b be arbitrary elements of the group.
The following properties are assumed:
- commutativity: a @ b = b @ a for all a
and b in the group.
Refinement of
Group
Notation
Definitions
Valid expressions
Expression semantics
Complexity guarantees
Invariants
Commutativity |
a @ b = b @ a |
Models
- int
- float
- double
- std::complex<float>
- std::complex<double>
Notes