Skip to content

IMultiplicative

Defined in: multiplicative.ts:12

A set closed under a single binary operation, written multiplicatively.

Which laws that operation obeys — associativity, commutativity, the existence of an identity or of inverses — is not expressible in a TypeScript type. It is stated as data instead: see AlgebraicStructure and the named constants beside it, and checkRingLaws and friends in laws.ts, which verify the claim against real values.

T extends IMultiplicative<T>

The carrier set.

mul(other): T

Defined in: multiplicative.ts:14

The operation a · b.

T

T