Restricts to types with additive inverse elements.

Note

The least restrictive (additive) concept in NTLib requiring a additive inverse elements is AdditiveGroup. Therefore, the following can be assumed to hold:

• The addtive inverse element are unique.
• The unique additive inverse elements are left- and right-inverse.

Template Parameters

T	A set with an inner additive operation.