Package edu.jas.gbufd

Class GroebnerBasePseudoParallel<C extends GcdRingElem<C>>

java.lang.Object
edu.jas.gb.GroebnerBaseAbstract<C>
edu.jas.gbufd.GroebnerBasePseudoParallel<C>
Type Parameters:
C - coefficient type
All Implemented Interfaces:
GroebnerBase<C>, 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:
  • Field Details

    • 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 ExecutorService pool
      Pool of threads to use.
    • engine

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

      protected final PseudoReduction<C extends GcdRingElem<C>> red
      Pseudo reduction engine.
    • cofac

      protected final RingFactory<C extends GcdRingElem<C>> cofac
      Coefficient ring factory.
  • Constructor Details

    • 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, 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, 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
  • Method Details