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 Add.
add_associative
Inherited from AddSemigroup.
add_commutative
Inherited from AddCommSemigroup.
add_identity_left
Inherited from AddMonoid.
add_identity_right
Inherited from AddMonoid.
distrib_left
Inherited from Semiring.
distrib_right
Inherited from Semiring.
inverse_right
Inherited from AddGroup.
mul
Inherited from Mul.
mul_associative
Inherited from Semigroup.
mul_identity_left
Inherited from Monoid.
mul_identity_right
Inherited from Monoid.
mul_zero_left
Inherited from Semiring.
mul_zero_right
Inherited from Semiring.
neg
Inherited from Neg.
pow
Inherited from Monoid.
sub
Inherited from AddGroup.