Package rocks.palaiologos.maja.structure

Interface CommutativeRing<T>

All Superinterfaces:
AdditiveAbelianGroup<T>, AdditiveGroup<T>, AdditiveGroupoid<T>, AdditiveMonoid<T>, AdditiveSemigroup<T>, MultiplicativeCommutativeMonoid<T>, MultiplicativeGroupoid<T>, MultiplicativeSemigroup<T>
public interface CommutativeRing<T> extends AdditiveAbelianGroup<T>, MultiplicativeCommutativeMonoid<T>
A division ring is a set R equipped with two binary operations + and ·, where (R, +) is an abelian group and (R, ·) is a commutative monoid. The multiplication distributes over addition (left and right distributivity).