Trait Alias maths_traits::algebra::ring_like::Ring

trait Ring = Distributive + AddAbelianGroup + MulSemigroup;

An additive abelian group with a distributive and associative multiplication operation