Package edu.jas.gbmod

Class ModSolvableGroebnerBaseSeq<C extends GcdRingElem<C>>

    • Method Detail

      • isLeftGB

        public boolean isLeftGB​(int modv,
                                java.util.List<GenSolvablePolynomial<C>> F)
        Deprecated.
        Module left Groebner base test.
        Parameters:
        modv - number of modul variables.
        F - a module basis.
        Returns:
        true, if F is a left Groebner base, else false.
      • leftGB

        public java.util.List<GenSolvablePolynomial<C>> leftGB​(int modv,
                                                               java.util.List<GenSolvablePolynomial<C>> F)
        Deprecated.
        Left Groebner base using pairlist class.
        Parameters:
        modv - number of modul variables.
        F - a module basis.
        Returns:
        leftGB(F) a left Groebner base for F.
      • isTwosidedGB

        public boolean isTwosidedGB​(int modv,
                                    java.util.List<GenSolvablePolynomial<C>> F)
        Deprecated.
        Module twosided Groebner base test.
        Parameters:
        modv - number of modul variables.
        F - a module basis.
        Returns:
        true, if F is a twosided Groebner base, else false.
      • twosidedGB

        public java.util.List<GenSolvablePolynomial<C>> twosidedGB​(int modv,
                                                                   java.util.List<GenSolvablePolynomial<C>> F)
        Deprecated.
        Twosided Groebner base using pairlist class.
        Parameters:
        modv - number of modul variables.
        F - a module basis.
        Returns:
        tsGB(F) a twosided Groebner base for F.
      • isRightGB

        public boolean isRightGB​(int modv,
                                 java.util.List<GenSolvablePolynomial<C>> F)
        Deprecated.
        Module right Groebner base test.
        Parameters:
        modv - number of modul variables.
        F - a module basis.
        Returns:
        true, if F is a right Groebner base, else false.
      • rightGB

        public java.util.List<GenSolvablePolynomial<C>> rightGB​(int modv,
                                                                java.util.List<GenSolvablePolynomial<C>> F)
        Deprecated.
        Right Groebner base using pairlist class.
        Parameters:
        modv - number of modul variables.
        F - a module basis.
        Returns:
        rightGB(F) a right Groebner base for F.