edu.jas.structure

Interface MonoidFactory<C extends MonoidElem<C>>

All Superinterfaces:

ElemFactory<C>, java.io.Serializable

All Known Subinterfaces:

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

All Known Implementing Classes:

AlgebraicNumberRing, BigComplex, BigDecimal, BigInteger, BigOctonion, BigQuaternion, BigRational, ComplexAlgebraicRing, ComplexRing, ExprRingFactory, GenMatrixRing, GenPolynomialRing, GenSolvablePolynomialRing, GenWordPolynomialRing, LocalRing, LocalRing, LocalSolvablePolynomialRing, ModIntegerRing, ModLongRing, MultiVarPowerSeriesRing, ProductRing, QLRSolvablePolynomialRing, QuotientRing, QuotientRing, QuotSolvablePolynomialRing, RealAlgebraicRing, RealAlgebraicRing, RecSolvablePolynomialRing, ResidueRing, ResidueRing, ResidueSolvablePolynomialRing, SolvableLocalResidueRing, SolvableLocalRing, SolvableQuotientRing, SolvableResidueRing, UnivPowerSeriesRing, WordFactory

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 and Description
C	getONE() Get the constant one for the MonoidElem.
boolean	isAssociative() Query if this ring is associative.
boolean	isCommutative() Query if this monoid is commutative.

Methods inherited from interface edu.jas.structure.ElemFactory

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

Method Detail

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 ring is associative.

Returns:

true if this monoid is associative, else false.