Inherited from algebra.ring.Ring[T]
Inherited from Rng[T]
Inherited from AdditiveCommutativeGroup[T]
Inherited from Rig[T]
Inherited from MultiplicativeMonoid[T]
Inherited from Semiring[T]
Inherited from MultiplicativeSemigroup[T]
Inherited from AdditiveCommutativeMonoid[T]
Inherited from AdditiveCommutativeSemigroup[T]
Inherited from CommutativeGroup[T]
Inherited from CommutativeMonoid[T]
Inherited from CommutativeSemigroup[T]
Inherited from AdditiveGroup[T]
Inherited from AdditiveMonoid[T]
Inherited from AdditiveSemigroup[T]
Inherited from cats.kernel.Group[T]
Inherited from cats.kernel.Monoid[T]
Inherited from cats.kernel.Semigroup[T]
Inherited from Serializable
Inherited from Serializable
Inherited from AnyRef
Inherited from Any
Ring: Group + multiplication (see: http://en.wikipedia.org/wiki/Ring_%28mathematics%29) and the three elements it defines:
Note, if you have distributive property, additive inverses, and multiplicative identity you can prove you have a commutative group under the ring: