IField
Defined in: ring.ts:23
A field (F, +, ·, 0, 1) — a commutative ring in which every non-zero element is invertible. ℚ, ℝ and ℂ are fields; ℤ is not.
Extends
Section titled “Extends”IRing<T>
Extended by
Section titled “Extended by”Type Parameters
Section titled “Type Parameters”T extends IField<T>
The carrier set of the field.
Methods
Section titled “Methods”add(
other):T
Defined in: additive.ts:11
The additive operation a + b.
Parameters
Section titled “Parameters”T
Returns
Section titled “Returns”T
Inherited from
Section titled “Inherited from”div(
other):T
Defined in: ring.ts:28
Division a / b, equivalent to a.mul(b.inv()).
Parameters
Section titled “Parameters”T
Returns
Section titled “Returns”T
inv():
T
Defined in: ring.ts:25
The multiplicative inverse a⁻¹. Throws when a is zero.
Returns
Section titled “Returns”T
mul(
other):T
Defined in: multiplicative.ts:14
The operation a · b.
Parameters
Section titled “Parameters”T
Returns
Section titled “Returns”T
Inherited from
Section titled “Inherited from”neg():
T
Defined in: additive.ts:25
The additive inverse −a.
Returns
Section titled “Returns”T
Inherited from
Section titled “Inherited from”sub(
other):T
Defined in: additive.ts:28
Subtraction a − b, equivalent to a.add(b.neg()).
Parameters
Section titled “Parameters”T
Returns
Section titled “Returns”T