Package rocks.palaiologos.maja.structure

Interface MultiplicativeSemigroup<T>

All Superinterfaces:

MultiplicativeGroupoid<T>

All Known Subinterfaces:

CommutativeRing<T>, DivisionRing<T>, Field<T>, MultiplicativeAbelianGroup<T>, MultiplicativeCommutativeMonoid<T>, MultiplicativeGroup<T>, MultiplicativeMonoid<T>, Ring<T>, SemiRing<T>

public interface MultiplicativeSemigroup<T>
extends MultiplicativeGroupoid<T>

Basic algebraic structure with an associative binary operation. Formally speaking, for all a, b, c in T, dot(dot(a, b), c) = dot(a, dot(b, c)) must hold. Further, the operation is closed.

Method Summary

Modifier and Type	Method	Description
T	dot(T a, T b)
static <T> MultiplicativeSemigroup<T>	of(AdditiveSemigroup<T> semigroup)

Method Details

dot

T dot(T a,
 T b)

Specified by:

dot in interface MultiplicativeGroupoid<T>

of

static <T> MultiplicativeSemigroup<T> of(AdditiveSemigroup<T> semigroup)