Package edu.jas.gb

Class WordGroebnerBaseSeq<C extends RingElem<C>>

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

public class WordGroebnerBaseSeq<C extends RingElem<C>> extends WordGroebnerBaseAbstract<C>
Non-commutative word Groebner Base sequential algorithm. Implements Groebner bases and GB test. Run-time for GB computation is limited to 20 seconds. To change this limit use
   wbb.timestatus.setLimit(newLimit);
 
or decativate it for infinite running time
   wbb.timestatus.setNotActive();
 
See Also:
  • Field Details

    • logger

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

      private static final boolean debug
    • timestatus

      public final LocalTimeStatus timestatus
  • Constructor Details

    • WordGroebnerBaseSeq

      public WordGroebnerBaseSeq()
      Constructor.
    • WordGroebnerBaseSeq

      public WordGroebnerBaseSeq(WordReduction<C> red)
      Constructor.
      Parameters:
      red - Reduction engine
    • WordGroebnerBaseSeq

      public WordGroebnerBaseSeq(WordReduction<C> red, WordPairList<C> pl)
      Constructor.
      Parameters:
      red - Reduction engine
      pl - pair selection strategy
  • Method Details