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

public interface MonoidFactory<C extends MonoidElem<C>> extends ElemFactory<C>
Monoid factory interface. Defines get one and tests for associativity and commutativity.
  • 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.