Interface RingFactory<C extends RingElem<C>>

All Superinterfaces:

AbelianGroupFactory<C>, ElemFactory<C>, MonoidFactory<C>, Serializable

All Known Subinterfaces:

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

All Known Implementing Classes:

AlgebraicNumberRing, BigComplex, BigDecimal, BigDecimalComplex, BigInteger, BigOctonion, BigQuaternionRing, BigRational, ComplexAlgebraicRing, ComplexRing, GenExteriorPolynomialRing, GenMatrixRing, GenPolynomialRing, GenSolvablePolynomialRing, GenWordPolynomialRing, 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, WordResidueRing

public interface RingFactory<C extends RingElem<C>>
extends AbelianGroupFactory<C>, MonoidFactory<C>

Ring factory interface. Defines test for field and query of characteristic.

Method Summary

Modifier and Type	Method	Description
BigInteger	characteristic()	Characteristic of this ring.
boolean	isField()	Query if this ring is a field.

Methods inherited from interface AbelianGroupFactory

getZERO

Methods inherited from interface ElemFactory

copy, fromInteger, fromInteger, generators, isFinite, parse, parse, random, random, toScript, valueOf

Methods inherited from interface MonoidFactory

getONE, isAssociative, isCommutative

Method Details

isField

boolean isField()

Query if this ring is a field. May return false if it is too hard to determine if this ring is a field.

Returns:

true if it is known that this ring is a field, else false.

characteristic

BigInteger characteristic()

Characteristic of this ring.

Returns:

characteristic of this ring.