DivisionRing
DivisionRing<
T> =Ring<T> &object
Defined in: evidence.ts:65
Division ring evidence for T — every non-zero element is invertible, but
multiplication need not commute. The quaternions ℍ form a division ring that
is not a field.
Type Declaration
Section titled “Type Declaration”divLeft()
Section titled “divLeft()”divLeft(
a,b):T
Parameters
Section titled “Parameters”T
T
Returns
Section titled “Returns”T
divRight()
Section titled “divRight()”divRight(
a,b):T
Parameters
Section titled “Parameters”T
T
Returns
Section titled “Returns”T
inv(
a):T
Parameters
Section titled “Parameters”T
Returns
Section titled “Returns”T
Type Parameters
Section titled “Type Parameters”T
The carrier set of the division ring.