Uses of Interface
rocks.palaiologos.maja.structure.AdditiveSemigroup

Packages that use AdditiveSemigroup

Package	Description
rocks.palaiologos.maja.structure

Uses of AdditiveSemigroup in rocks.palaiologos.maja.structure

Subinterfaces of AdditiveSemigroup in rocks.palaiologos.maja.structure

Modifier and Type	Interface	Description
interface	AdditiveAbelianGroup<T>	Group with a commutative binary operation.
interface	AdditiveCommutativeMonoid<T>	An algebraic structure with an associative and commutative binary operation and an identity element.
interface	AdditiveGroup<T>	An extension to the concept of monoid.
interface	AdditiveMonoid<T>	An algebraic structure with an associative binary operation (implied by semigroup properties) and an identity element.
interface	CommutativeRing<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.
interface	DivisionRing<T>	A division ring is a set R equipped with two binary operations + and ·, where (R, +) is an abelian group and (R, ·) is a group.
interface	Field<T>	A a commutative division ring (i.e.
interface	Ring<T>	A ring is a set R equipped with two binary operations + and ·, where (R, +) is an abelian group and (R, ·) is a monoid.
interface	SemiRing<T>	A ring is a set R equipped with two binary operations + and ·, where (R, +) is a commutative monoid and (R, ·) is a monoid.

Methods in rocks.palaiologos.maja.structure that return AdditiveSemigroup

Modifier and Type	Method	Description
static <T> AdditiveSemigroup<T>	AdditiveSemigroup.of(MultiplicativeSemigroup<T> semigroup)

Methods in rocks.palaiologos.maja.structure with parameters of type AdditiveSemigroup

Modifier and Type	Method	Description
static <T> MultiplicativeSemigroup<T>	MultiplicativeSemigroup.of(AdditiveSemigroup<T> semigroup)