Package edu.jas.gb

Class WordGroebnerBaseAbstract<C extends RingElem<C>>

    • Field Detail

      • logger

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

        private static final boolean debug
    • Constructor Detail

      • WordGroebnerBaseAbstract

        public WordGroebnerBaseAbstract()
        Constructor.
      • WordGroebnerBaseAbstract

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

        public WordGroebnerBaseAbstract​(WordReduction<C> red,
                                        WordPairList<C> pl)
        Constructor.
        Parameters:
        red - Word Reduction engine
        pl - Word pair selection strategy
    • Method Detail

      • toString

        public java.lang.String toString()
        Get the String representation with GB engines.
        Overrides:
        toString in class java.lang.Object
        See Also:
        Object.toString()
      • normalizeZerosOnes

        public java.util.List<GenWordPolynomial<C>> normalizeZerosOnes​(java.util.List<GenWordPolynomial<C>> A)
        Normalize polynomial list.
        Parameters:
        A - list of polynomials.
        Returns:
        list of polynomials with zeros removed and ones/units reduced.
      • commonZeroTest

        public int commonZeroTest​(java.util.List<GenWordPolynomial<C>> F)
        Common zero test, test if univariate leading words exist for all variables.
        Parameters:
        F - polynomial list.
        Returns:
        -1, 0 or 1 if "dimension"(ideal(F)) &eq; -1, 0 or ≥ 1.
      • univariateDegrees

        public java.util.List<java.lang.Long> univariateDegrees​(java.util.List<GenWordPolynomial<C>> A)
        Univariate head term degrees.
        Parameters:
        A - list of polynomials.
        Returns:
        a list of the degrees of univariate head terms.
      • isGB

        public boolean isGB​(java.util.List<GenWordPolynomial<C>> F)
        Word Groebner base test.
        Specified by:
        isGB in interface WordGroebnerBase<C extends RingElem<C>>
        Parameters:
        F - Word polynomial list.
        Returns:
        true, if F is a Groebner base, else false.
      • isMinimalGB

        public boolean isMinimalGB​(java.util.List<GenWordPolynomial<C>> Gp)
        Test for minimal ordered Groebner basis.
        Parameters:
        Gp - an ideal base.
        Returns:
        true, if Gp is a reduced minimal Groebner base.
      • terminate

        public void terminate()
        Cleanup and terminate ThreadPool.
      • cancel

        public int cancel()
        Cancel ThreadPool.