CommRing
typeclass CommRing extends Ring, AddCommGroup
A commutative ring is a ring where multiplication is also commutative.
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.