Package rocks.palaiologos.maja.structure

Interface SemiRing<T>

All Superinterfaces:

AdditiveCommutativeMonoid<T>, AdditiveGroupoid<T>, AdditiveSemigroup<T>, MultiplicativeGroupoid<T>, MultiplicativeMonoid<T>, MultiplicativeSemigroup<T>

public interface SemiRing<T>
extends AdditiveCommutativeMonoid<T>, MultiplicativeMonoid<T>

A ring is a set R equipped with two binary operations + and ·, where (R, +) is a commutative monoid and (R, ·) is a monoid. The multiplication distributes over addition (left and right distributivity).

Method Summary

Static Methods

Modifier and Type	Method	Description
static <T> SemiRing<T>	of(AdditiveCommutativeMonoid<T> additiveCommutativeMonoid, MultiplicativeMonoid<T> multiplicativeMonoid)
static <T> SemiRing<T>	of(Ring<T> ring)

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

zero

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

plus

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

one

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

dot

Method Details

of

static <T> SemiRing<T> of(Ring<T> ring)

of

static <T> SemiRing<T> of(AdditiveCommutativeMonoid<T> additiveCommutativeMonoid,
 MultiplicativeMonoid<T> multiplicativeMonoid)