Package org.meeuw.math.abstractalgebra
Interface MultiplicativeMonoidElement<E extends MultiplicativeMonoidElement<E>>
-
- All Superinterfaces:
AlgebraicElement<E>
,MultiplicativeSemiGroupElement<E>
- All Known Subinterfaces:
CompleteFieldElement<E>
,DivisionRingElement<E>
,FieldElement<E>
,MultiplicativeGroupElement<E>
,ScalarFieldElement<E>
,UncertainReal
- All Known Implementing Classes:
UncertainDoubleElement
public interface MultiplicativeMonoidElement<E extends MultiplicativeMonoidElement<E>> extends MultiplicativeSemiGroupElement<E>
An element of theMultiplicativeMonoid
structure.- Since:
- 0.4
- Author:
- Michiel Meeuwissen
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description MultiplicativeMonoid<E>
getStructure()
Returns theAlgebraicStructure
associated with the object.default boolean
isOne()
default E
pow(@javax.validation.constraints.Min(0L) int n)
if multiplication is defined, then so is exponentiation, as long as the exponent is non negative-
Methods inherited from interface org.meeuw.math.abstractalgebra.MultiplicativeSemiGroupElement
sqr, times, x
-
-
-
-
Method Detail
-
getStructure
MultiplicativeMonoid<E> getStructure()
Description copied from interface:AlgebraicElement
Returns theAlgebraicStructure
associated with the object.- Specified by:
getStructure
in interfaceAlgebraicElement<E extends MultiplicativeMonoidElement<E>>
- Specified by:
getStructure
in interfaceMultiplicativeSemiGroupElement<E extends MultiplicativeMonoidElement<E>>
-
pow
default E pow(@Min(0L) @javax.validation.constraints.Min(0L) int n)
if multiplication is defined, then so is exponentiation, as long as the exponent is non negative- Specified by:
pow
in interfaceMultiplicativeSemiGroupElement<E extends MultiplicativeMonoidElement<E>>
-
isOne
default boolean isOne()
-
-