Package rocks.palaiologos.maja.structure

Interface AdditiveGroupoid<T>

All Known Subinterfaces:

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

public interface AdditiveGroupoid<T>

Basic algebraic structure with a closed binary operation. Formally speaking for all a, b in T, plus(a, b) is present in T. No other requirements are imposed.

Method Summary

Modifier and Type	Method	Description
static <T> AdditiveGroupoid<T>	of(MultiplicativeGroupoid<T> groupoid)
T	plus(T a, T b)

Method Details

plus

T plus(T a,
 T b)

of

static <T> AdditiveGroupoid<T> of(MultiplicativeGroupoid<T> groupoid)