Class LocalRing<C extends GcdRingElem<C>>

    • Field Detail

      • logger

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

        public final Ideal<C extends GcdRingElem<C>> ideal
        Polynomial ideal for localization.
      • isField

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

      • LocalRing

        public LocalRing​(Ideal<C> i)
        The constructor creates a LocalRing object from an Ideal.
        Parameters:
        i - localization polynomial ideal.
    • Method Detail

      • isCommutative

        public boolean isCommutative()
        Query if this ring is commutative.
        Specified by:
        isCommutative in interface MonoidFactory<C extends GcdRingElem<C>>
        Returns:
        true if this ring is commutative, else false.
      • isAssociative

        public boolean isAssociative()
        Query if this ring is associative.
        Specified by:
        isAssociative in interface MonoidFactory<C extends GcdRingElem<C>>
        Returns:
        true if this ring is associative, else false.
      • isField

        public boolean isField()
        Query if this ring is a field.
        Specified by:
        isField in interface RingFactory<C extends GcdRingElem<C>>
        Returns:
        false.
      • characteristic

        public java.math.BigInteger characteristic()
        Characteristic of this ring.
        Specified by:
        characteristic in interface RingFactory<C extends GcdRingElem<C>>
        Returns:
        characteristic of this ring.
      • fromInteger

        public Local<C> fromInteger​(java.math.BigInteger a)
        Get a Local element from a BigInteger value.
        Specified by:
        fromInteger in interface ElemFactory<C extends GcdRingElem<C>>
        Parameters:
        a - BigInteger.
        Returns:
        a Local.
      • fromInteger

        public Local<C> fromInteger​(long a)
        Get a Local element from a long value.
        Specified by:
        fromInteger in interface ElemFactory<C extends GcdRingElem<C>>
        Parameters:
        a - long.
        Returns:
        a Local.
      • toString

        public java.lang.String toString()
        Get the String representation as RingFactory.
        Overrides:
        toString in class java.lang.Object
        See Also:
        Object.toString()
      • toScript

        public java.lang.String toScript()
        Get a scripting compatible string representation.
        Specified by:
        toScript in interface ElemFactory<C extends GcdRingElem<C>>
        Returns:
        script compatible representation for this ElemFactory.
        See Also:
        ElemFactory.toScript()
      • equals

        public boolean equals​(java.lang.Object b)
        Comparison with any other object.
        Overrides:
        equals in class java.lang.Object
        See Also:
        Object.equals(java.lang.Object)
      • hashCode

        public int hashCode()
        Hash code for this local ring.
        Overrides:
        hashCode in class java.lang.Object
        See Also:
        Object.hashCode()
      • random

        public Local<C> random​(int n)
        Local random.
        Specified by:
        random in interface ElemFactory<C extends GcdRingElem<C>>
        Parameters:
        n - such that 0 ≤ v ≤ (2n-1).
        Returns:
        a random residue element.
      • random

        public Local<C> random​(int k,
                               int l,
                               int d,
                               float q)
        Generate a random residum polynomial.
        Parameters:
        k - bitsize of random coefficients.
        l - number of terms.
        d - maximal degree in each variable.
        q - density of nozero exponents.
        Returns:
        a random residue polynomial.
      • random

        public Local<C> random​(int n,
                               java.util.Random rnd)
        Local random.
        Specified by:
        random in interface ElemFactory<C extends GcdRingElem<C>>
        Parameters:
        n - such that 0 ≤ v ≤ (2n-1).
        rnd - is a source for random bits.
        Returns:
        a random residue element.
      • parse

        public Local<C> parse​(java.lang.String s)
        Parse Local from String.
        Specified by:
        parse in interface ElemFactory<C extends GcdRingElem<C>>
        Parameters:
        s - String.
        Returns:
        Local from s.
      • parse

        public Local<C> parse​(java.io.Reader r)
        Parse Local from Reader.
        Specified by:
        parse in interface ElemFactory<C extends GcdRingElem<C>>
        Parameters:
        r - Reader.
        Returns:
        next Local from r.