Skip to content

IRing

Defined in: ring.ts:14

A ring (R, +, ·, 0, 1) — an abelian group under addition and a monoid under multiplication, with multiplication distributing over addition.

Whether the ring is commutative, an integral domain, or neither, is stated in its AlgebraicStructure; those distinctions add no member and so cannot be carried by a type.

T extends IRing<T>

The carrier set of the ring.

add(other): T

Defined in: additive.ts:11

The additive operation a + b.

T

T

IAdditiveGroup.add


mul(other): T

Defined in: multiplicative.ts:14

The operation a · b.

T

T

IMultiplicative.mul


neg(): T

Defined in: additive.ts:25

The additive inverse −a.

T

IAdditiveGroup.neg


sub(other): T

Defined in: additive.ts:28

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

T

T

IAdditiveGroup.sub