Package edu.jas.poly

Class LocalRing<C extends RingElem<C>>

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected C ideal
      Ideal generator for localization.
      protected int isField
      Indicator if this ring is a field.
      private static org.apache.logging.log4j.Logger logger  
      protected static java.util.Random random
      A default random sequence generator.
      protected RingFactory<C> ring
      Ring factory.
    • Constructor Summary

      Constructors 
      Constructor Description
      LocalRing​(RingFactory<C> r, C i)
      The constructor creates a LocalRing object from a RingFactory and a RingElem.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.math.BigInteger characteristic()
      Characteristic of this ring.
      Local<C> copy​(Local<C> c)
      Copy Local element c.
      Local<C> create​(C n)
      Create from numerator.
      Local<C> create​(C n, C d)
      Create from numerator, denominator pair.
      boolean equals​(java.lang.Object b)
      Comparison with any other object.
      Local<C> fromInteger​(long a)
      Get a Local element from a long value.
      Local<C> fromInteger​(java.math.BigInteger a)
      Get a Local element from a BigInteger value.
      java.util.List<Local<C>> generators()
      Get a list of the generating elements.
      Local<C> getONE()
      Get the one element.
      Local<C> getZERO()
      Get the zero element.
      int hashCode()
      Hash code for this local ring.
      boolean isAssociative()
      Query if this ring is associative.
      boolean isCommutative()
      Query if this ring is commutative.
      boolean isField()
      Query if this ring is a field.
      boolean isFinite()
      Is this structure finite or infinite.
      RingFactory<C> pairFactory()
      Factory for base elements.
      Local<C> parse​(java.io.Reader r)
      Parse Local from Reader.
      Local<C> parse​(java.lang.String s)
      Parse Local from String.
      Local<C> random​(int n)
      Local random.
      Local<C> random​(int n, java.util.Random rnd)
      Local random.
      java.lang.String toScript()
      Get a scripting compatible string representation.
      java.lang.String toString()
      Get the String representation as RingFactory.
      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait
    • Field Detail

      • logger

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

        protected final C extends RingElem<C> ideal
        Ideal generator for localization.
      • isField

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

        protected static final java.util.Random random
        A default random sequence generator.
    • Constructor Detail

      • LocalRing

        public LocalRing​(RingFactory<C> r,
                         C i)
        The constructor creates a LocalRing object from a RingFactory and a RingElem.
        Parameters:
        i - localization ideal generator.
    • Method Detail

      • isCommutative

        public boolean isCommutative()
        Query if this ring is commutative.
        Specified by:
        isCommutative in interface MonoidFactory<C extends RingElem<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 RingElem<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 RingElem<C>>
        Returns:
        false.
      • characteristic

        public java.math.BigInteger characteristic()
        Characteristic of this ring.
        Specified by:
        characteristic in interface RingFactory<C extends RingElem<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 RingElem<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 RingElem<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 RingElem<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 RingElem<C>>
        Parameters:
        n - such that 0 ≤ v ≤ (2n-1).
        Returns:
        a random residue element.
      • random

        public Local<C> random​(int n,
                               java.util.Random rnd)
        Local random.
        Specified by:
        random in interface ElemFactory<C extends RingElem<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 RingElem<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 RingElem<C>>
        Parameters:
        r - Reader.
        Returns:
        next Local from r.