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

Packages that use MultiplicativeMonoid

Package	Description
rocks.palaiologos.maja.structure

Uses of MultiplicativeMonoid in rocks.palaiologos.maja.structure

Subinterfaces of MultiplicativeMonoid in rocks.palaiologos.maja.structure

Modifier and Type	Interface	Description
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	MultiplicativeAbelianGroup<T>	Group with a commutative binary operation.
interface	MultiplicativeGroup<T>	An extension to the concept of monoid.
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 MultiplicativeMonoid

Modifier and Type	Method	Description
static <T> MultiplicativeMonoid<T>	MultiplicativeMonoid.of(AdditiveMonoid<T> semigroup)

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

Modifier and Type	Method	Description
static <T> AdditiveMonoid<T>	AdditiveMonoid.of(MultiplicativeMonoid<T> monoid)
static <T> Ring<T>	Ring.of(AdditiveAbelianGroup<T> additiveAbelianGroup, MultiplicativeMonoid<T> multiplicativeMonoid)
static <T> SemiRing<T>	SemiRing.of(AdditiveCommutativeMonoid<T> additiveCommutativeMonoid, MultiplicativeMonoid<T> multiplicativeMonoid)