Module identities

Traits

One

Defines a multiplicative identity element for Self.

Zero

Defines an additive identity element for Self.

Functions

one

Returns the multiplicative identity, 1.

zero

Returns the additive identity, 0.