MonoidFactory

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
  - 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.