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, BigDecimalComplex, BigInteger, BigOctonion, BigQuaternion, BigRational, ComplexAlgebraicRing, ComplexRing, GenMatrixRing, GenPolynomialRing, GenSolvablePolynomialRing, GenWordPolynomialRing, LocalRing, LocalRing, LocalSolvablePolynomialRing, ModIntegerRing, 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.

Author:

Heinz Kredel

Method Summary

Modifier and Type	Method and 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 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 monoid is associative.

Returns:

true if this monoid is associative, else false.