Uses of Interface
rocks.palaiologos.maja.structure.MultiplicativeCommutativeMonoid
Packages that use MultiplicativeCommutativeMonoid
-
Uses of MultiplicativeCommutativeMonoid in rocks.palaiologos.maja.structure
Subinterfaces of MultiplicativeCommutativeMonoid in rocks.palaiologos.maja.structureModifier 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.Methods in rocks.palaiologos.maja.structure that return MultiplicativeCommutativeMonoidModifier and TypeMethodDescriptionstatic <T> MultiplicativeCommutativeMonoid<T>
MultiplicativeCommutativeMonoid.of
(AdditiveCommutativeMonoid<T> semigroup) Methods in rocks.palaiologos.maja.structure with parameters of type MultiplicativeCommutativeMonoidModifier and TypeMethodDescriptionstatic <T> AdditiveCommutativeMonoid<T>
AdditiveCommutativeMonoid.of
(MultiplicativeCommutativeMonoid<T> monoid)