Uses of Interface
rocks.palaiologos.maja.structure.MultiplicativeCommutativeMonoid
-
Uses of MultiplicativeCommutativeMonoid in rocks.palaiologos.maja.structure
Modifier and TypeInterfaceDescriptioninterface
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.Modifier and TypeMethodDescriptionstatic <T> MultiplicativeCommutativeMonoid<T>
MultiplicativeCommutativeMonoid.of
(AdditiveCommutativeMonoid<T> semigroup) Modifier and TypeMethodDescriptionstatic <T> AdditiveCommutativeMonoid<T>
AdditiveCommutativeMonoid.of
(MultiplicativeCommutativeMonoid<T> monoid)