Package edu.jas.gbufd

Class WordGroebnerBasePseudoSeq<C extends GcdRingElem<C>>

java.lang.Object
edu.jas.gb.WordGroebnerBaseAbstract<C>
edu.jas.gbufd.WordGroebnerBasePseudoSeq<C>
Type Parameters:
C - coefficient type
All Implemented Interfaces:
WordGroebnerBase<C>, Serializable

public class WordGroebnerBasePseudoSeq<C extends GcdRingElem<C>> extends WordGroebnerBaseAbstract<C>
Non-commutative word Groebner Base sequential algorithm. Implements Groebner bases and GB test. 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
    • cofac

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

    • WordGroebnerBasePseudoSeq

      public WordGroebnerBasePseudoSeq(RingFactory<C> rf)
      Constructor.
      Parameters:
      rf - coefficient ring factory.
    • WordGroebnerBasePseudoSeq

      public WordGroebnerBasePseudoSeq(RingFactory<C> rf, WordPseudoReductionSeq<C> red)
      Constructor.
      Parameters:
      rf - coefficient ring factory.
      red - Reduction engine
    • WordGroebnerBasePseudoSeq

      public WordGroebnerBasePseudoSeq(RingFactory<C> rf, WordPseudoReductionSeq<C> red, WordPairList<C> pl)
      Constructor.
      Parameters:
      rf - coefficient ring factory.
      red - Reduction engine
      pl - pair selection strategy
  • Method Details