Package edu.jas.gbufd

Class GroebnerBasePseudoParallel<C extends GcdRingElem<C>>

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

    public class GroebnerBasePseudoParallel<C extends GcdRingElem<C>>
    extends GroebnerBaseAbstract<C>
    Groebner Base with pseudo reduction multi-threaded parallel algorithm. Implements coefficient fraction free Groebner bases. Coefficients can for example be integers or (commutative) univariate polynomials.
    See Also:
    GBAlgorithmBuilder, GBFactory, Serialized Form
    • Field Detail

      • logger

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

        private static final boolean debug
      • 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

      • GroebnerBasePseudoParallel

        public GroebnerBasePseudoParallel​(int threads,
                                          RingFactory<C> rf)
        Constructor.
        Parameters:
        threads - number of threads to use.
        rf - coefficient ring factory.
      • GroebnerBasePseudoParallel

        public GroebnerBasePseudoParallel​(int threads,
                                          RingFactory<C> rf,
                                          PseudoReduction<C> red)
        Constructor.
        Parameters:
        threads - number of threads to use.
        rf - coefficient ring factory. Note: red must be an instance of PseudoReductionPar.
        red - pseudo reduction engine.
      • GroebnerBasePseudoParallel

        public GroebnerBasePseudoParallel​(int threads,
                                          RingFactory<C> rf,
                                          PseudoReduction<C> red,
                                          java.util.concurrent.ExecutorService pool)
        Constructor.
        Parameters:
        threads - number of threads to use.
        rf - coefficient ring factory. Note: red must be an instance of PseudoReductionPar.
        red - pseudo reduction engine.
        pool - ExecutorService to use.
      • GroebnerBasePseudoParallel

        public GroebnerBasePseudoParallel​(int threads,
                                          RingFactory<C> rf,
                                          PairList<C> pl)
        Constructor.
        Parameters:
        threads - number of threads to use.
        rf - coefficient ring factory. Note: red must be an instance of PseudoReductionPar.
        pl - pair selection strategy
      • GroebnerBasePseudoParallel

        public GroebnerBasePseudoParallel​(int threads,
                                          RingFactory<C> rf,
                                          PseudoReduction<C> red,
                                          java.util.concurrent.ExecutorService pool,
                                          PairList<C> pl)
        Constructor.
        Parameters:
        threads - number of threads to use.
        rf - coefficient ring factory. Note: red must be an instance of PseudoReductionPar.
        red - pseudo reduction engine.
        pool - ExecutorService to use.
        pl - pair selection strategy