RingFactory

All Superinterfaces:

AbelianGroupFactory<C>, ElemFactory<C>, MonoidFactory<C>, java.io.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.

Author:

Heinz Kredel

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`java.math.BigInteger`	`characteristic()`	Characteristic of this ring.
`boolean`	`isField()`	Query if this ring is a field.

Methods inherited from interface edu.jas.structure.AbelianGroupFactory
getZERO

Methods inherited from interface edu.jas.structure.ElemFactory
copy, fromInteger, fromInteger, generators, isFinite, parse, parse, random, random, toScript, valueOf

Methods inherited from interface edu.jas.structure.MonoidFactory
getONE, isAssociative, isCommutative

- Method Detail
  - 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
```
java.math.BigInteger characteristic()
```
    Characteristic of this ring.
    
    Returns:
    
    characteristic of this ring.