Package edu.jas.gb

Class SolvableGroebnerBaseSeqPairParallel<C extends RingElem<C>>

  • Type Parameters:
    C - coefficient type
    All Implemented Interfaces:
    SolvableGroebnerBase<C>, java.io.Serializable

    public class SolvableGroebnerBaseSeqPairParallel<C extends RingElem<C>>
    extends SolvableGroebnerBaseAbstract<C>
    Solvable Groebner Base parallel algorithm. Makes some effort to produce the same sequence of critical pairs as in the sequential version. However already reduced pairs are not rereduced if new polynomials appear. Implements a shared memory parallel version of Groebner bases. Threads maintain pairlist.
    See Also:
    Serialized Form
    • Field Detail

      • logger

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

        protected final int threads
        Number of threads to use.
      • pool

        protected final transient java.util.concurrent.ExecutorService pool
        Pool of threads to use.
    • Constructor Detail

      • SolvableGroebnerBaseSeqPairParallel

        public SolvableGroebnerBaseSeqPairParallel()
        Constructor.
      • SolvableGroebnerBaseSeqPairParallel

        public SolvableGroebnerBaseSeqPairParallel​(int threads)
        Constructor.
        Parameters:
        threads - number of threads to use.
      • SolvableGroebnerBaseSeqPairParallel

        public SolvableGroebnerBaseSeqPairParallel​(int threads,
                                                   java.util.concurrent.ExecutorService pool)
        Constructor.
        Parameters:
        threads - number of threads to use.
        pool - ExecutorService to use.
      • SolvableGroebnerBaseSeqPairParallel

        public SolvableGroebnerBaseSeqPairParallel​(int threads,
                                                   SolvableReduction<C> red)
        Constructor.
        Parameters:
        threads - number of threads to use.
        red - parallelism aware reduction engine
      • SolvableGroebnerBaseSeqPairParallel

        public SolvableGroebnerBaseSeqPairParallel​(int threads,
                                                   java.util.concurrent.ExecutorService pool,
                                                   SolvableReduction<C> sred)
        Constructor.
        Parameters:
        threads - number of threads to use.
        pool - ExecutorService to use.
        sred - parallelism aware reduction engine