Package 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
,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.- Author:
- Heinz Kredel
-
-
Method Summary
All Methods Instance Methods Abstract Methods 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 edu.jas.structure.ElemFactory
copy, fromInteger, fromInteger, generators, isFinite, parse, parse, random, random, toScript, valueOf
-
-
-
-
Method Detail
-
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.
-
-