Skip to content

IAdditiveGroup

Defined in: additive.ts:21

An additive group (S, +, 0, −) — every element has an additive inverse, so subtraction is total. Cardinal numbers are additive but not an additive group, since they admit no subtraction.

T extends IAdditiveGroup<T>

The carrier set.

add(other): T

Defined in: additive.ts:11

The additive operation a + b.

T

T

IAdditive.add


neg(): T

Defined in: additive.ts:25

The additive inverse −a.

T


sub(other): T

Defined in: additive.ts:28

Subtraction a − b, equivalent to a.add(b.neg()).

T

T