Package edu.jas.structure
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 TypeMethodDescriptionCharacteristic 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 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.
-