IMultiplicativeGroup
Defined in: multiplicative.ts:25
A multiplicative structure in which every element has a two-sided inverse
satisfying a · a⁻¹ = a⁻¹ · a = 1. The identity is a static member of the
concrete type; pow is a derived convenience each type declares for itself,
since its signature is not uniform across carriers.
Extends
Section titled “Extends”Type Parameters
Section titled “Type Parameters”T extends IMultiplicativeGroup<T>
The carrier set.
Methods
Section titled “Methods”inv():
T
Defined in: multiplicative.ts:29
The multiplicative inverse a⁻¹.
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