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