edu.jas.structure

Interface RingFactory<C extends RingElem<C>>

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

Modifier and Type	Method and 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.MonoidFactory

getONE, isAssociative, isCommutative

Methods inherited from interface edu.jas.structure.ElemFactory

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

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.