Package edu.jas.structure
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
Monoid factory interface. Defines get one and tests for associativity and
commutativity.
-
Method Summary
Modifier and TypeMethodDescriptiongetONE()
Get the constant one for the MonoidElem.boolean
Query if this monoid is associative.boolean
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 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.
-