Package rocks.palaiologos.maja.structure

Interface Ring<T>

All Superinterfaces:

AdditiveAbelianGroup<T>, AdditiveGroup<T>, AdditiveGroupoid<T>, AdditiveMonoid<T>, AdditiveSemigroup<T>, MultiplicativeGroupoid<T>, MultiplicativeMonoid<T>, MultiplicativeSemigroup<T>

public interface Ring<T>
extends AdditiveAbelianGroup<T>, MultiplicativeMonoid<T>

A ring is a set R equipped with two binary operations + and ·, where (R, +) is an abelian group and (R, ·) is a monoid. The multiplication distributes over addition (left and right distributivity).

Method Summary

Static Methods

Modifier and Type	Method	Description
static <T> Ring<T>	of(AdditiveAbelianGroup<T> additiveAbelianGroup, MultiplicativeMonoid<T> multiplicativeMonoid)
static <T> Ring<T>	of(CommutativeRing<T> commutativeRing)
static <T> Ring<T>	of(DivisionRing<T> divisionRing)

Methods inherited from interface rocks.palaiologos.maja.structure.AdditiveGroup

addInv

Methods inherited from interface rocks.palaiologos.maja.structure.AdditiveMonoid

zero

Methods inherited from interface rocks.palaiologos.maja.structure.AdditiveSemigroup

plus

Methods inherited from interface rocks.palaiologos.maja.structure.MultiplicativeMonoid

one

Methods inherited from interface rocks.palaiologos.maja.structure.MultiplicativeSemigroup

dot

Method Details

of

static <T> Ring<T> of(DivisionRing<T> divisionRing)

of

static <T> Ring<T> of(CommutativeRing<T> commutativeRing)

of

static <T> Ring<T> of(AdditiveAbelianGroup<T> additiveAbelianGroup,
 MultiplicativeMonoid<T> multiplicativeMonoid)