Uses of Interface
rocks.palaiologos.maja.structure.AdditiveMonoid
Packages that use AdditiveMonoid
-
Uses of AdditiveMonoid in rocks.palaiologos.maja.structure
Subinterfaces of AdditiveMonoid in rocks.palaiologos.maja.structureModifier and TypeInterfaceDescriptioninterface
Group with a commutative binary operation.interface
An extension to the concept of monoid.interface
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.Methods in rocks.palaiologos.maja.structure that return AdditiveMonoidModifier and TypeMethodDescriptionstatic <T> AdditiveMonoid<T>
AdditiveMonoid.of
(MultiplicativeMonoid<T> monoid) Methods in rocks.palaiologos.maja.structure with parameters of type AdditiveMonoidModifier and TypeMethodDescriptionstatic <T> MultiplicativeMonoid<T>
MultiplicativeMonoid.of
(AdditiveMonoid<T> semigroup)