Package rocks.palaiologos.maja.structure

Interface AdditiveCommutativeMonoid<T>

All Superinterfaces:

AdditiveGroupoid<T>, AdditiveSemigroup<T>

All Known Subinterfaces:

SemiRing<T>

public interface AdditiveCommutativeMonoid<T>
extends AdditiveSemigroup<T>

An algebraic structure with an associative and commutative binary operation and an identity element. Formally speaking for all a in T, add(a, zero()) = add(zero(), a) = a must hold.

Method Summary

Modifier and Type	Method	Description
static <T> AdditiveCommutativeMonoid<T>	of(MultiplicativeCommutativeMonoid<T> monoid)
T	zero()

Methods inherited from interface rocks.palaiologos.maja.structure.AdditiveSemigroup

plus

Method Details

zero

T zero()

of

static <T> AdditiveCommutativeMonoid<T> of(MultiplicativeCommutativeMonoid<T> monoid)