Package edu.jas.gbmod

Interface ModSolvableGroebnerBase<C extends RingElem<C>>

  • Type Parameters:
    C - coefficient type
    All Superinterfaces:
    java.io.Serializable
    All Known Implementing Classes:
    ModSolvableGroebnerBaseAbstract, ModSolvableGroebnerBasePar, ModSolvableGroebnerBaseSeq

    @Deprecated
    public interface ModSolvableGroebnerBase<C extends RingElem<C>>
    extends java.io.Serializable
    Deprecated.
    use respective methods from SolvableGroebnerBase
    Module solvable Groebner Bases interface. Defines modull solvabe Groebner bases and GB test.
    • Method Detail

      • isLeftGB

        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.
      • isLeftGB

        boolean isLeftGB​(ModuleList<C> M)
        Deprecated.
        Module left Groebner base test.
        Parameters:
        M - a module basis.
        Returns:
        true, if M is a left Groebner base, else false.
      • leftGB

        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.
      • leftGB

        ModuleList<C> leftGB​(ModuleList<C> M)
        Deprecated.
        Left Groebner base using pairlist class.
        Parameters:
        M - a module basis.
        Returns:
        leftGB(M) a left Groebner base for M.
      • isTwosidedGB

        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.
      • isTwosidedGB

        boolean isTwosidedGB​(ModuleList<C> M)
        Deprecated.
        Module twosided Groebner base test.
        Parameters:
        M - a module basis.
        Returns:
        true, if M is a twosided Groebner base, else false.
      • twosidedGB

        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.
      • twosidedGB

        ModuleList<C> twosidedGB​(ModuleList<C> M)
        Deprecated.
        Twosided Groebner base using pairlist class.
        Parameters:
        M - a module basis.
        Returns:
        tsGB(M) a twosided Groebner base for M.
      • isRightGB

        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.
      • isRightGB

        boolean isRightGB​(ModuleList<C> M)
        Deprecated.
        Module right Groebner base test.
        Parameters:
        M - a module basis.
        Returns:
        true, if M is a right Groebner base, else false.
      • rightGB

        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.
      • rightGB

        ModuleList<C> rightGB​(ModuleList<C> M)
        Deprecated.
        Right Groebner base using pairlist class.
        Parameters:
        M - a module basis.
        Returns:
        rightGB(M) a right Groebner base for M.