org.tensorics.core.math.structures.grouplike

Interface CommutativeSemigroup<T>

Type Parameters:

T - the type of elements of the underlying set.

All Superinterfaces:

GrouplikeStructure<T>, Magma<T>, Semigroup<T>, Structure<T>

All Known Subinterfaces:

AbelianGroup<T>, CommutativeMonoid<T>

All Known Implementing Classes:

AbstractAbelianGroup

public interface CommutativeSemigroup<T>
extends Semigroup<T>

The algebraic structure of a commutative semigroup, meaning that the operation of the semigroup is commutative and associative.

See Also:

http://en.wikipedia.org/wiki/Commutative_semigroup

Method Summary

Modifier and Type	Method and Description
CommutativeAssociativeOperation<T>	operation() Has to return the binary operation (M x M = M) for this Magma.

Method Detail

operation

CommutativeAssociativeOperation<T> operation()

Description copied from interface: GrouplikeStructure

Has to return the binary operation (M x M = M) for this Magma.

Specified by:

operation in interface GrouplikeStructure<T>

Specified by:

operation in interface Semigroup<T>

Returns:

the binary operation.