Ring
typeclass Ring extends Semiring, AddCommGroup
A ring is a structure with two operations (addition and multiplication) where addition forms an abelian group, multiplication forms a monoid, and multiplication distributes over addition.
add
Inherited from AddSemigroup.
add_associative
Inherited from AddSemigroup.
add_identity_left
Inherited from AddMonoid.
add_identity_right
Inherited from AddMonoid.
commutative
Inherited from AddCommSemigroup.
distrib_left
Inherited from Semiring.
distrib_right
Inherited from Semiring.
inverse_right
Inherited from AddGroup.
mul
Inherited from Semigroup.
mul_associative
Inherited from Semigroup.
mul_identity_left
Inherited from Monoid.
mul_identity_right
Inherited from Monoid.
neg
Inherited from AddGroup.
sub
Inherited from AddGroup.