Interface MonoidFactory<C extends MonoidElem<C>>

All Superinterfaces:

ElemFactory<C>, Serializable

All Known Subinterfaces:

AlgebraFactory<A,C>, FieldFactory<C>, ModularRingFactory<C>, PolynomialRing<C>, RingFactory<C>

All Known Implementing Classes:

AlgebraicNumberRing, BigComplex, BigDecimal, BigDecimalComplex, BigInteger, BigOctonion, BigQuaternionRing, BigRational, ComplexAlgebraicRing, ComplexRing, GenExteriorPolynomialRing, GenMatrixRing, GenPolynomialRing, GenSolvablePolynomialRing, GenWordPolynomialRing, IndexFactory, LocalRing, LocalRing, LocalSolvablePolynomialRing, ModIntegerRing, ModIntRing, ModLongRing, MultiVarPowerSeriesRing, ProductRing, QLRSolvablePolynomialRing, QuotientRing, QuotientRing, QuotSolvablePolynomialRing, RealAlgebraicRing, RealAlgebraicRing, RecSolvablePolynomialRing, RecSolvableWordPolynomialRing, ResidueRing, ResidueRing, ResidueSolvablePolynomialRing, ResidueSolvableWordPolynomialRing, SolvableLocalResidueRing, SolvableLocalRing, SolvableQuotientRing, SolvableResidueRing, UnivPowerSeriesRing, WordFactory, WordResidueRing

public interface MonoidFactory<C extends MonoidElem<C>>
extends ElemFactory<C>

Monoid factory interface. Defines get one and tests for associativity and commutativity.

Method Summary

Modifier and Type	Method	Description
C	getONE()	Get the constant one for the MonoidElem.
boolean	isAssociative()	Query if this monoid is associative.
boolean	isCommutative()	Query if this monoid is commutative.

Methods inherited from interface ElemFactory

copy, fromInteger, fromInteger, generators, isFinite, parse, parse, random, random, toScript, valueOf

Method Details

getONE

C getONE()

Get the constant one for the MonoidElem.

Returns:

1.

isCommutative

boolean isCommutative()

Query if this monoid is commutative.

Returns:

true if this monoid is commutative, else false.

isAssociative

boolean isAssociative()

Query if this monoid is associative.

Returns:

true if this monoid is associative, else false.