Interface ModSolvableGroebnerBase<C extends RingElem<C>>

Type Parameters:
C - coefficient type
All Superinterfaces:
Serializable
All Known Implementing Classes:
ModSolvableGroebnerBaseAbstract, ModSolvableGroebnerBasePar, ModSolvableGroebnerBaseSeq
@Deprecated public interface ModSolvableGroebnerBase<C extends RingElem<C>> extends Serializable
Deprecated.
use respective methods from SolvableGroebnerBase
Module solvable Groebner Bases interface. Defines modull solvabe Groebner bases and GB test.

  • Method Details

    • isLeftGB

      boolean isLeftGB(int modv, 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

      List<GenSolvablePolynomial<C>> leftGB(int modv, 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, 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

      List<GenSolvablePolynomial<C>> twosidedGB(int modv, 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, 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

      List<GenSolvablePolynomial<C>> rightGB(int modv, 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.