Package org.meeuw.math.abstractalgebra

Interface AdditiveGroup<E extends AdditiveGroupElement<E>>

All Superinterfaces:

AdditiveMonoid<E>, AdditiveSemiGroup<E>, AlgebraicStructure<E>

All Known Subinterfaces:

AdditiveAbelianGroup<E>, CompleteField<E>, DivisionRing<E>, Field<E>, Ring<E>, Rng<E>, ScalarField<E>

All Known Implementing Classes:

UncertainRealField

public interface AdditiveGroup<E extends AdditiveGroupElement<E>>
extends AdditiveMonoid<E>

A Group with the binary operation 'addition'.

Since:

0.4

Author:

Michiel Meeuwissen

Field Summary

Fields

Modifier and Type	Field	Description
static Set<Operator>	OPERATORS

Fields inherited from interface org.meeuw.math.abstractalgebra.AdditiveSemiGroup

UNARY_OPERATORS

Method Summary

Modifier and Type	Method	Description
default Set<Operator>	getSupportedOperators()	Returns the Operators that elements of this structure support.

Methods inherited from interface org.meeuw.math.abstractalgebra.AdditiveMonoid

zero

Methods inherited from interface org.meeuw.math.abstractalgebra.AdditiveSemiGroup

getSupportedUnaryOperators

Methods inherited from interface org.meeuw.math.abstractalgebra.AlgebraicStructure

getCardinality, getDescription, getElementClass, getEquivalence

Field Detail

OPERATORS

static final Set<Operator> OPERATORS

Method Detail

getSupportedOperators

default Set<Operator> getSupportedOperators()

Description copied from interface: AlgebraicStructure

Returns the Operators that elements of this structure support.

Specified by:

getSupportedOperators in interface AdditiveSemiGroup<E extends AdditiveGroupElement<E>>

Specified by:

getSupportedOperators in interface AlgebraicStructure<E extends AdditiveGroupElement<E>>