Skip to content

IOrderedField

Defined in: ordered.ts:39

An ordered field — a field whose total order is compatible with the ring operations: a ≤ b implies a + c ≤ b + c, and 0 ≤ a, 0 ≤ b implies 0 ≤ a · b.

ℚ and ℝ are ordered fields; ℂ admits no such order.

T extends IOrderedField<T>

The carrier set of the field.

abs(): T

Defined in: ordered.ts:42

The absolute value |a|.

T


add(other): T

Defined in: additive.ts:11

The additive operation a + b.

T

T

IField.add


clamp(lower, upper): T

Defined in: ordered.ts:27

Restricts the value to [lower, upper].

T

T

T

IOrdered.clamp


cmp(other): Sign

Defined in: ordered.ts:12

Three-way comparison consistent with the total order.

T

Sign

IOrdered.cmp


div(other): T

Defined in: ring.ts:28

Division a / b, equivalent to a.mul(b.inv()).

T

T

IField.div


eq(other): boolean

Defined in: ordered.ts:14

T

boolean

IOrdered.eq


gt(other): boolean

Defined in: ordered.ts:17

T

boolean

IOrdered.gt


gte(other): boolean

Defined in: ordered.ts:18

T

boolean

IOrdered.gte


inv(): T

Defined in: ring.ts:25

The multiplicative inverse a⁻¹. Throws when a is zero.

T

IField.inv


lt(other): boolean

Defined in: ordered.ts:15

T

boolean

IOrdered.lt


lte(other): boolean

Defined in: ordered.ts:16

T

boolean

IOrdered.lte


max(other): T

Defined in: ordered.ts:24

The larger of the two operands under the total order.

T

T

IOrdered.max


min(other): T

Defined in: ordered.ts:21

The smaller of the two operands under the total order.

T

T

IOrdered.min


mul(other): T

Defined in: multiplicative.ts:14

The operation a · b.

T

T

IField.mul


neg(): T

Defined in: additive.ts:25

The additive inverse −a.

T

IField.neg


sign(): Sign

Defined in: ordered.ts:45

The sign of the value: -1, 0 or 1.

Sign


sub(other): T

Defined in: additive.ts:28

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

T

T

IField.sub