Package edu.jas.gb

Class WordGroebnerBaseSeq<C extends RingElem<C>>

  • Type Parameters:
    C - coefficient type
    All Implemented Interfaces:
    WordGroebnerBase<C>, java.io.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:
    Serialized Form
    • Field Detail

      • logger

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

        private static final boolean debug
    • Constructor Detail

      • 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