edu.jas.gbmod
Interface ModSolvableGroebnerBase<C extends RingElem<C>>

Type Parameters:

C - coefficient type

All Known Implementing Classes:

ModSolvableGroebnerBaseAbstract

public interface ModSolvableGroebnerBase<C extends RingElem<C>>

Module solvable Groebner Bases interface. Defines modull solvabe Groebner bases and GB test.

Author:

Heinz Kredel

Method Summary

boolean	isLeftGB(int modv, java.util.List<GenSolvablePolynomial<C>> F) Module left Groebner base test.
boolean	isLeftGB(ModuleList<C> M) Module left Groebner base test.
boolean	isRightGB(int modv, java.util.List<GenSolvablePolynomial<C>> F) Module right Groebner base test.
boolean	isRightGB(ModuleList<C> M) Module right Groebner base test.
boolean	isTwosidedGB(int modv, java.util.List<GenSolvablePolynomial<C>> F) Module twosided Groebner base test.
boolean	isTwosidedGB(ModuleList<C> M) Module twosided Groebner base test.
java.util.List<GenSolvablePolynomial<C>>	leftGB(int modv, java.util.List<GenSolvablePolynomial<C>> F) Left Groebner base using pairlist class.
ModuleList<C>	leftGB(ModuleList<C> M) Left Groebner base using pairlist class.
java.util.List<GenSolvablePolynomial<C>>	rightGB(int modv, java.util.List<GenSolvablePolynomial<C>> F) Right Groebner base using pairlist class.
ModuleList<C>	rightGB(ModuleList<C> M) Right Groebner base using pairlist class.
java.util.List<GenSolvablePolynomial<C>>	twosidedGB(int modv, java.util.List<GenSolvablePolynomial<C>> F) Twosided Groebner base using pairlist class.
ModuleList<C>	twosidedGB(ModuleList<C> M) Twosided Groebner base using pairlist class.

Method Detail

isLeftGB

boolean isLeftGB(int modv,
                 java.util.List<GenSolvablePolynomial<C>> F)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Right Groebner base using pairlist class.

Parameters:

M - a module basis.

Returns:

rightGB(M) a right Groebner base for M.