AlgebraicStructure

AlgebraicStructure = object

Defined in: structure.ts:29

The algebraic structure of a carrier set, as data.

A structure is a pair of operations plus the way they interact. The named constants below spell out the standard hierarchy; a concrete numeric type points at whichever one it satisfies rather than implementing a chain of empty marker interfaces.

Properties

addition

readonly addition: OperationLaws | null

Defined in: structure.ts:33

Laws of the additive operation, or null when there is only one.

---

distributive

readonly distributive: boolean

Defined in: structure.ts:39

a · (b + c) = a · b + a · c.

---

multiplication

readonly multiplication: OperationLaws

Defined in: structure.ts:36

Laws of the multiplicative operation.

---

name

readonly name: string

Defined in: structure.ts:30

---

ordered

readonly ordered: boolean

Defined in: structure.ts:45

Whether a total order compatible with the operations exists.

---

zeroDivisors

readonly zeroDivisors: boolean

Defined in: structure.ts:42

Whether a · b = 0 is possible with both a and b non-zero.