Class ResidueRing<C extends GcdRingElem<C>>

java.lang.Object
edu.jas.application.ResidueRing<C>
All Implemented Interfaces:
AbelianGroupFactory<Residue<C>>, ElemFactory<Residue<C>>, MonoidFactory<Residue<C>>, RingFactory<Residue<C>>, Serializable

public class ResidueRing<C extends GcdRingElem<C>> extends Object implements RingFactory<Residue<C>>
Residue ring factory based on GenPolynomial with RingFactory interface. Objects of this class are immutable.
See Also:
  • Field Details

    • logger

      private static final org.apache.logging.log4j.Logger logger
    • engine

      protected final GreatestCommonDivisor<C extends GcdRingElem<C>> engine
      Greatest common divisor engine for coefficient content and primitive parts.
    • ideal

      public final Ideal<C extends GcdRingElem<C>> ideal
      Polynomial ideal for the reduction.
    • ring

      public final GenPolynomialRing<C extends GcdRingElem<C>> ring
      Polynomial ring of the factory. Shortcut to ideal.list.ring.
    • isField

      protected int isField
      Indicator if this ring is a field.
  • Constructor Details

    • ResidueRing

      public ResidueRing(Ideal<C> i)
      The constructor creates a ResidueRing object from an Ideal.
      Parameters:
      i - polynomial ideal.
    • ResidueRing

      public ResidueRing(Ideal<C> i, boolean isMaximal)
      The constructor creates a ResidueRing object from an Ideal.
      Parameters:
      i - polynomial ideal.
      isMaximal - true, if ideal is maxmal.
  • Method Details