Expand description
This module provides a generic interface for groups with additive notation.
Traitsยง
- Additive
Group - Defines an abstract group with additive notation. Support addition and subtraction with itself and multiplication by scalar. Scalar and group can be different types.