edu.jas.structure
Interface MonoidFactory<C extends MonoidElem<C>>

All Superinterfaces:

ElemFactory<C>, java.io.Serializable

All Known Subinterfaces:

AlgebraFactory<A,C>, ModularRingFactory<C>, PolynomialRing<C>, RingFactory<C>

All Known Implementing Classes:

AlgebraicNumberRing, BigComplex, BigDecimal, BigInteger, BigOctonion, BigQuaternion, BigRational, ComplexAlgebraicRing, ComplexRing, GenMatrixRing, GenPolynomialRing, GenSolvablePolynomialRing, LocalRing, LocalRing, ModIntegerRing, ModLongRing, MultiVarPowerSeriesRing, ProductRing, QuotientRing, QuotientRing, RealAlgebraicRing, RealAlgebraicRing, ResidueRing, ResidueRing, UnivPowerSeriesRing

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

C	getONE() Get the constant one for the MonoidElem.
boolean	isAssociative() Query if this ring 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 ring is associative.

Returns:

true if this monoid is associative, else false.