Package rocks.palaiologos.maja.structure

Interface AdditiveSemigroup<T>

All Superinterfaces:

AdditiveGroupoid<T>

All Known Subinterfaces:

AdditiveAbelianGroup<T>, AdditiveCommutativeMonoid<T>, AdditiveGroup<T>, AdditiveMonoid<T>, CommutativeRing<T>, DivisionRing<T>, Field<T>, Ring<T>, SemiRing<T>

public interface AdditiveSemigroup<T>
extends AdditiveGroupoid<T>

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

Method Summary

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

Method Details

plus

T plus(T a,
 T b)

Specified by:

plus in interface AdditiveGroupoid<T>

of

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