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