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