Ring

Ring<T> = object

Defined in: evidence.ts:11

Ring evidence for T — the additive and multiplicative structure of a ring passed explicitly to a generic algorithm, rather than required structurally of T itself.

Type Parameters

T

T

The carrier set of the ring.

Properties

one

readonly one: T

Defined in: evidence.ts:13

---

zero

readonly zero: T

Defined in: evidence.ts:12

Methods

add()

add(a, b): T

Defined in: evidence.ts:14

Parameters

a

T

b

T

Returns

T

---

eq()

eq(a, b): boolean

Defined in: evidence.ts:18

Parameters

a

T

b

T

Returns

boolean

---

mul()

mul(a, b): T

Defined in: evidence.ts:17

Parameters

a

T

b

T

Returns

T

---

neg()

neg(a): T

Defined in: evidence.ts:16

Parameters

a

T

Returns

T

---

sub()

sub(a, b): T

Defined in: evidence.ts:15

Parameters

a

T

b

T

Returns

T